Open to opportunities

Danya Provilskyi

@danyaprovilskyi

Message

I build secure blockchain and backend systems that handle real financial value.

Poland

Message

I've built production blockchain systems that move real money, including Tenset's $40M+ Vest Protocol presale and vesting mechanism and the $10M+ TVL TGLP decentralized launchpad.

At Cowchain, I owned backend and smart-contract architecture for Reflect NFT, led GBC's backend, frontend, and GMX integration, and built AGNT.hub's LayerZero-based cross-chain relayer. I also hardened XStaking's fee-handling and swap logic after its audit.

At Asymptotic, I build internal APIs and AI-agent pipelines for Sui formal-verification services, contribute to Sui Prover, and audit DeFi protocols including Ember Vaults, Scallop, Nemo, and Ika.

I work across Node.js, NestJS, PostgreSQL, Solidity, Rust, and Move, with a focus on correctness through formal verification, fuzzing, static analysis, and comprehensive testing.

Experience

Work history, roles, and key accomplishments

Current

Software / Formal Verification Engineer

Current

Asymptotic

Jul 2025 - Present (1 year 1 month)

Built backend infrastructure and AI-agent pipelines for formal verification services in the Sui ecosystem. Contributed to Sui Prover and audited production DeFi protocols using formal verification, fuzz testing, and static analysis.

TypeScript AI Pipelines Formal Verification Echidna Halmos Static Analysis Move Sui

Software Engineer / Tech Lead

Cowchain

Apr 2024 - Nov 2025 (1 year 7 months)

Owned backend and smart contract architecture for Reflect NFT, a bonding-curve NFT platform. Led backend, frontend, and blockchain integration for GBC and built the backend for AGNT.hub's cross-chain system. Diagnosed and fixed post-audit vulnerabilities in XStaking.

NestJS TypeScript PostgreSQL REST APIs Smart Contracts Solidity LayerZero backend architecture Tech Leadership

Software Engineer / Security Researcher

Tenset / Tenset Security

Jul 2022 - Jan 2025 (2 years 6 months)

Sole developer of the vesting/presale mechanism for a decentralized IDO framework facilitating $40M+ in circulation. Designed and maintained smart contract infrastructure for a launchpad exceeding $10M in TVL. Built backend for Catamoto NFT Collection and implemented a backend-driven vesting system for Jettons on TON.

Solidity Foundry Echidna Smart Contracts TypeScript Backend Development NFT TON