Presented by
Async House
Async House brings together builders and crypto maxis for a week of talks, workshops hands-on projects, and plenty of play—stay tuned for updates!
Hosted By
12 Went
Beaver: From Bugs to Soundness in Boojum Circuits
Registration
Past Event
About Event
Beaver is a static analyzer for Boojum circuits that automatically identifies soundness bugs and inefficiencies. It ensures deterministic outputs, detects duplicate gates, verifies range checks, and propagates uniqueness to provide high-assurance analysis for reliable and optimized circuit designs.
In this workshop, Olena Oshchypok and Antonio Locascio, Engineers at Matter Labs, will lead a hands-on session exploring Beaver in action.
Presented by
Async House
Async House brings together builders and crypto maxis for a week of talks, workshops hands-on projects, and plenty of play—stay tuned for updates!
Hosted By
12 Went