Skip to main content

verify_proof_shape

openvm_stark_backend::verifier::proof_shape

Function verify_proof_shape 

Source 
pub fn verify_proof_shape<SC: StarkProtocolConfig>(
    mvk: &MultiStarkVerifyingKey0<SC>,
    proof: &Proof<SC>,
) -> Result<Vec<StackedLayout>, ProofShapeError>