Ben Sepanski leads Veridise’s auditing business.
Ben has audited AMMs, vaults, reward contracts, and more in EVM chains and NEAR. He has also worked with many ZK applications, including identity systems, spam prevention, L1 blockchains, recursive provers, and trusted machine learning.
His work includes projects in halo2, arkworks, gnark, and circom. He also contributes to the Vanguard team, helping to secure contracts and circuits programmatically.
Ben holds a M.S. in Computer Science at the University of Texas at Austin and studied Programming Languages in the UToPiA group under Dr. Işil Dillig and conducted research on program synthesis, verification, and analysis.
Experience overview
Experience
Circom, Go, Rust, Solidity, Typescript, NEAR, Substrate, arkworks, AWS, corset, Gnark, Halo2, NEAR, o1js, Substrate
Specialities
Smart Contracts, Zero Knowledge, Infrastructure, Cryptography
Previous work
Full audit reports
-
- Ankr protocol, 17 Feb 2023, token staking protocol
- MakerDAO, 4 Feb 2023, review security of Multi Colleteral Dai Protocol for StarkNet
- Semaphore, 5 Jan 2023, security review of Groups v3
- Manta Network, 1 Sep 2022, Manta Chain (blockchain implementation)
- Parallel, 7 Jun 2022, security review of Parallel’s OMNI Money Market Protocol
Conference presentations
Ben has participated in panel discussions at various conferences
ZK 360: Exploring Zero Knowledge Together
40 min | Austin Tech Live