-
Hacking a16z: Breaking Jolt and Dory Cayden #zkvm#cryptography How our agent found a full proof forgery in Jolt, a16z's zkVM.
-
A Technical Breakdown of Jolt's Cryptography (and the exploit) Cayden #zkvm#cryptography The mathematics of the missing Dory commitments behind the Jolt exploit.
-
How Veria AI Found an Arbitrary Proof Forgery in Aleo Cayden #zkvm#cryptography#bug-bounty How a weak Fiat-Shamir transcript allowed arbitrary transaction forgery on Aleo, and earned us a $65,000 bounty.
-
Breaking FRI in Eigen's zkVM Cayden #zkvm#cryptography How missing index checks in FRI allow full proof forgery in Eigen's zkVM.
