Blockchain developer specialising in Solidity Smart Contract development and Zero-Knowledge Cryptography, focusing on DeFi Protocols, on-chain automation, and rigorous testing.
Blockchain developer specialising in Solidity Smart Contract development and Zero-Knowledge Cryptography, with a comprehensive foundation in EVM architecture, advanced security, fuzz testing, and arithmetic circuits. Experienced in authoring ZK circuits in Noir and Circom, deploying automated protocols with Chainlink oracles, and building robust cryptographic verifiers across both smart contract and systems-level tracks. Passionate about secure protocol design, decentralized systems architecture, and advancing toward specialized global engineering opportunities.
Proof-of-solvency protocol: a custodian proves liabilities coverage and honest per-user inclusion without exposing account data using a Noir circuit over a Merkle Sum Tree.
An on-chain spot-trading exchange where users submit signed EIP-712 trade intents during fixed epochs, settled atomically at a uniform clearing price via independent solvers.
Undercollateralised lending (50% collateral): a Noir circuit proves credit score and income exceed thresholds without revealing them, verified via Barretenberg verifier.
Commit-nullifier voting DApp: Circom circuit binds a Poseidon commitment to the vote and derives a per-proposal nullifier with Groth16 proof verification.
Autonomous on-chain raffle with no admin intervention utilizing Chainlink VRF v2.5 for winner selection and Chainlink Automation for upkeep.
Built StreamProof, a private royalty-tier verification protocol: a Noir circuit verified on-chain via UltraHonk on Arc Testnet.
Qualified with the Employee Payroll Manager (Chainlink Automation), then advanced to the finale with the ZK lending protocol.
Whether you want to discuss zero-knowledge architecture, smart contract security, or potential collaboration, my inbox is always open.