Module starky::recursive_verifier

Implementation of the STARK recursive verifier, i.e. where proof verification if encoded in a plonky2 circuit.

Functions

• add_virtual_stark_proof
  Adds a new StarkProofTarget to this circuit.
• add_virtual_stark_proof_with_pis
  Adds a new StarkProofWithPublicInputsTarget to this circuit.
• set_stark_proof_target
  Set the targets in a StarkProofTarget to their corresponding values in a StarkProof.
• set_stark_proof_with_pis_target
  Set the targets in a StarkProofWithPublicInputsTarget to their corresponding values in a StarkProofWithPublicInputs.
• verify_stark_proof_circuit
  Encodes the verification of a StarkProofWithPublicInputsTarget for some statement in a circuit.
• verify_stark_proof_with_challenges_circuit
  Recursively verifies an inner STARK proof.