risc0_zkp_core

This crate contains the core objects that are used by the ZK-STARK prover and verifier.

This includes support for:

• [fp]: the base finite field
• [fp4]: the extension finite field
• [ntt]: Number Theoretic Transform
• [sha]: SHA256 hashing support
• [sha_rng]: Cryptographic Random Number Generator (CRNG) based on SHA
• other basic ZKP utilities