A Functional VM for Verifiable Computing over Binary Fields

Thu, Jun 19, 2025, 12:14 PM · 25:20

This talk presents a new system for verifiable computing using the Binius proof library. Binius implements a hash-based SNARK built on towers of binary fields, which unlocks huge gains in computational efficiency compared with traditional SNARKs, particularly when using specialized hardware.