Module risc0_zkp::core

source ·
Expand description

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

ntt
An implementation of a number-theoretic transform (NTT).
poly
Polynomial utilities (currently only those used in polynomial evaluation).
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.