At Veridise, Tyler works as a Lead Security Analyst, conducting security audits for our clients.
Tyler has extensive experience in privacy implications related to zero-knowledge security and smart contract design. He is also well-versed in the EVM, Ethereum’s architecture, and the design of layer 2 solutions.
Experience overview
Experience
Go, Rust, Solidity, Circom, corset, Gnark, Risc0
Specialities
Smart Contracts, Zero Knowledge, Infrastructure
Previous work
Full audit reports
- Kailua, Jan 2025, Risc Zero conversion of Optimism chains to ZK validity proofs
- Lumina, Dec 2024, DEX on Mina blockchain
- Linea, August 2024, Linea’s ZK-VM circuits
- Succinct, April 2024, Succinct SP-1 components
- ChainSafe, July 2024, Multi-party-rpc implementation
- Panther Protocol, Feb 2024, on-chain privacy infrastructure protocol