Module 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.