Module risc0_zkp::core

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

Modules

• digest
  A generic (cross hash) digest, which is always 256 bits and composed of 8 words
• hash
  Traits to configure which cryptographic primitives the ZKP uses
• ntt
  An implementation of a number-theoretic transform (NTT).
• poly
  Polynomial utilities (currently only those used in polynomial evaluation).

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.