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 |
|---|---|---|---|
 Porter Finance | Porter v1-core | May 2022 - May 2022 | +2 |
 Connext | Connext NXTP | Jun 2022 - Jul 2022 | +2 |
LI.FI | LI.FI Cross-Chain Aggregator Audit Summary | Sep 2022 - Sep 2022 | +1 |
Connext | nxtp | Oct 2022 - Nov 2022 | +2 |
 Polygon | Polygon zkEVM | Jan 2023 - Jan 2023 | +5 |
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 |