Biography
Smart contract security
- Security Researcher at Spearbit
- Resident at yAudit
ZK security
- Privacy Scaling Explorations at Ethereum Foundation
Some writings:
Some development work:
- WIP Proof of solvency project using Halo2 and KZG: https//github.com/0xbok/proof-cex
- NFT Future protocol: https//github.com/ditto-lab/ditto, documentation
Top competitions
View allContest | Position | Date | Payout |
---|---|---|---|
farcasterattestation-monorepo | 29 / 276 | January 2025 | $187 |
Private reviews
View allEngagement | Project title | Timeframe | Researchers |
---|---|---|---|
Sprinter Tech | Cross-Chain Security Audit of Sprinter Stash | May 2025 - May 2025 | |
Fastlane | Atlas DeFi Protocol Security Assessment | Apr 2025 - May 2025 | |
ODX | odx-contracts | Apr 2025 - Apr 2025 | |
Matter Labs | zksync-protocol | Mar 2025 - Apr 2025 | |
Espresso Systems | Espresso-monorepo-1003 | Mar 2025 - Mar 2025 |
Security portfolio
Title | Description |
---|---|
Circom bigint | Bigint library for Circom. A EF x Veridise collaboration. |
PLUME: Verifiably Deterministic Signatures on ECDSA | Nullifier friendly signature scheme on ECDSA. nullifier friendly signature scheme on ECDSA |