Module risc0_zkp::core

risc0_zkp::core

This module 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

Modules

fp

Support for the base finite field modulo 15*2^27 + 1

fp4

Support for the rank 4 extension field of the base field.

ntt

An implementation of a Numeric Theoretic Transform (NTT).

poly

Polynomial utilites (currently only evaluation).

rou

Tables containing the root of unity for the base field.

sha

Simple SHA-256 wrappers.

sha_cpu

Simple SHA-256 wrappers.

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.