Crate risc0_zkp_core

source · [−]
Expand description

risc0_zkp_core

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

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.