Module prove

Prover implementation for the recursion VM.

This module contains the recursion Prover.

Modules

zkr

Structs

HalPair

A pair of Hal and CircuitHal.

Program

A Program for the recursion circuit (e.g. lift_20 or join).

Prover

Prover for the recursion circuit.

RecursionReceipt

Enums

DigestKind

Kinds of digests recognized by the recursion program language.

Functions

poseidon2_hal_pair

Construct a Hal and CircuitHal pair.

poseidon254_hal_pair

Construct a Hal and CircuitHal pair.

sha256_hal_pair

Construct a Hal and CircuitHal pair.