Crypto

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

Optimizing Barrett Reduction: Tighter Bounds Eliminate Redundant Subtractions

Our analysis, conducted during the Rust p256 crate audit, shows that the error bound for Barrett reduction can be tighter than traditionally assumed.