2 weeks ago, our agent found and exploited a proof forgery in @a16zcrypto's Jolt zkVM.
This was reported to the Jolt team and immediately verified and fixed.
We've released an analysis of how this was found as well as a technical breakdown on the bug itself.
is_seven(6) == 7
