plonkish
PLONKish circuit system built on comp-cat-rs: circuits as morphisms in a free category
PLONKish bridge to sumcheck proving (built on proof-cat-core)
Finite field algebra shared across plonkish-cat, proof-cat, and stark-cat
Generic AIR chip framework built on proof-cat-core
Field-agnostic proof-system primitives (sumcheck, multilinear, Fiat-Shamir, Merkle) shared by proof-cat and stark-cat
Provable stack-machine VM built on machine-cat
In-circuit elliptic curve library for halo2.
STARK proof system (AIR + FRI low-degree test) built on proof-cat-core and field-cat
Brillig is the bytecode ACIR uses for non-determinism.
A framework for constructing arithmetic circuits on-the-fly.
Embedded domain specific language (eDSL) for writing circuits with the [`halo2`](https://github.com/axiom-crypto/halo2) API. It simplifies circuit programming to declaring constraints over a single advice and selector column and provides built-in circuit tuning and support for multi-threaded witness generation.