Module prove 

Prover implementation for the recursion VM.

This module contains the recursion Prover.

Modules

zkr

Structs

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.

Traits

RecursionProver

Functions

recursion_prover