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
  TODO
• poseidon254_hal_pair
  TODO
• sha256_hal_pair
  TODO