risc0zkpcore

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