sp1-verifier 6.1.0

Verifier for SP1 Groth16 and Plonk proofs.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

use alloc::vec::Vec;

use super::kzg::{BatchOpeningProof, Digest, OpeningProof};

#[derive(Debug)]
pub(crate) struct PlonkProof {
    pub(crate) lro: [Digest; 3],
    pub(crate) z: Digest,
    pub(crate) h: [Digest; 3],
    pub(crate) bsb22_commitments: Vec<Digest>,
    pub(crate) batched_proof: BatchOpeningProof,
    pub(crate) z_shifted_opening: OpeningProof,
}