Hack

Uncovering the Query Collision Bug in Halo2: How a Single Extra Query Breaks Soundness

I found a soundness bug in Halo2

Uncovering the Phantom Challenge Soundness Bug in Solana's ZK ElGamal Proof Program

I found a critical soundness zk bug in Solana

[Hack] Uncovering and Fixing an Inflation Bug in Aleo

A critical inflation bug found in Aleo

[Hack] Missing Constraint in zkEmail's Email Verification Circom Circuit

A critical severity vulnerability found in zkEmail’s Circuit

[Hack] Incorrect User Operation Hash Vulnerability in ERC4337

A high severity vulnerability found in ERC4337 entrypoint v0.5