[][src]Module reverie::preprocessing

Modules

preprocessing
prover
verifier

Structs

Output
PreprocessingOutput

Represents the randomness for the preprocessing executions used during the online execution.

Proof

Represents repeated execution of the preprocessing phase. The preprocessing phase is executed D::ONLINE_REPETITIONS times, then fed to a random oracle, which dictates the subset of executions to open.

Run

Functions

pack_branch
pack_branches