Posts
-
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.
-
Securing Open Source Part 2: Cracking Kraken Cayden #open-source Malicious dApps can impersonate trusted apps and disguise Solana transactions as harmless message signatures, allowing potential fund theft when chained together.
-
Breaking FRI in Eigen's zkVM Cayden #zkvm#cryptography How missing index checks in FRI allow full proof forgery in Eigen's zkVM.