Modules§
- batch_
constraint - bus
- cuda
- gkr
- GKR Air Module
- prelude
- primitives
- proof_
shape - stacking
- subairs
- system
- Traits and types describing the core interfaces of the verifier sub-circuit. The verifier sub-circuit verifies multiple proofs for the same child verifying key. It supports recursive verification, where the child verifying key is equal to the verifying key of the verifier circuit itself.
- tracegen
- transcript
- utils
- whir