Module step

Modules

step_verifier

Structs

Basic

ExpandDeferredParams

ExpandProofParams 🔒

ExpandedProof 🔒

FeatureFlags

ForStep

InductiveRule

PerProofWitness

PreviousProofStatement

StatementDeferredValues

StatementProofState

StepParams

N_PREVIOUS: Number of previous proofs.

StepProof

VerifyOneParams 🔒

Enums

ForStepKind

Opt

OptFlag

Packed

Functions

expand_deferred

expand_proof 🔒

extract_recursion_challenges

step

to_4limbs 🔒

to_bytes 🔒

verify_one 🔒

wrap_compute_sg 🔒

Ipa.Wrap.compute_sg