Module risc0_zkp::core

Core module used to implement a zk-STARK prover and verifier.

This includes support for:

• ntt: Number-theoretic transform (NTT)
• sha: SHA-256 hashing support
• sha_rng: Cryptographic random number generator (CRNG) based on SHA-256
• Other basic ZKP utilities

Modules

• blake2b
  A Blake2b HashSuite.
• config
  Traits to configure which cryptographic primitives the ZKP uses
• digest
  A generic (cross hash) digest, which is always 256 bits and composed of 8 words
• ntt
  An implementation of a number-theoretic transform (NTT).
• poly
  Polynomial utilities (currently only those used in polynomial evaluation).
• poseidon
  An implementation of Poseidon targeting the Baby Bear field with a security of 128 bits.
• sha
  Simple SHA-256 wrappers.
• sha_cpu
  Simple wrappers for a CPU-based SHA-256 implementation.
• sha_rng
  A SHA-256 based CRNG used in Fiat-Shamir.

Traits

• Random
  Generic trait for generating random values.

Functions

• log2_ceil
  Compute ceil(log_2(value))
• to_po2
  For x = (1 << po2), given x, find po2.