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.
Cryptographic algorithms for producing a ZK proof of compute
Cryptographic algorithms for verifying a ZK proof of compute
Constants
~100 bits of conjectured security