Crate risc0_zkp_core

risc0_zkp_core

This crate contain the core objects that are used by ZK-Stark prover and verifier.

This includes support for the base finite field and the extension field used, SHA256 support, CRNG support, NTT support and other 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

Very basic utilites to help implement NTT, used only in the verifier.

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

Functions

to_po2

For x = (1 << po2), given x, find po2.