Module halo2 

Halo2 prototype integration (feature-gated by future_snark).

Modules

circuit

constants

Constants used by the Halo2 prototype.

gadgets

types

Halo2-facing type aliases and witness shapes for the STM SNARK circuit.