Modules
Core module used to implement a zk-STARK prover and verifier.
Defines field extension (and base fields) used for finite field-based
operations across the RISC Zero zkVM architecture
Hardware Abstraction Layer (HAL) for accelerating the ZKP system.
Constants
~100 bits of conjectured security