Module starky::proof

All the different proof types and their associated circuit versions to be used when proving (recursive) Stark statements

Structs

• CompressedStarkProof
  A compressed proof format of a single STARK.
• CompressedStarkProofWithPublicInputs
  A compressed StarkProof format of a single STARK with its public inputs.
• MultiProof
  A combination of STARK proofs for independent statements operating on possibly shared variables, along with Cross-Table Lookup (CTL) challenges to assert consistency of common variables across tables.
• MultiProofChallenges
  Randomness for all STARK proofs contained in a MultiProof`.
• StarkOpeningSet
  Purported values of each polynomial at the challenge point.
• StarkOpeningSetTarget
  Circuit version of StarkOpeningSet. Targets for the purported values of each polynomial at the challenge point.
• StarkProof
  Merkle caps and openings that form the proof of a single STARK.
• StarkProofChallenges
  Randomness used for a STARK proof.
• StarkProofChallengesTarget
  Circuit version of StarkProofChallenges.
• StarkProofTarget
  Circuit version of StarkProof. Merkle caps and openings that form the proof of a single STARK.
• StarkProofWithMetadata
  A StarkProof along with metadata about the initial Fiat-Shamir state, which is used when creating a recursive wrapper proof around a STARK proof.
• StarkProofWithPublicInputs
  Merkle caps and openings that form the proof of a single STARK, along with its public inputs.
• StarkProofWithPublicInputsTarget
  Circuit version of StarkProofWithPublicInputs.