provekit-common 0.1.0

Common types and utilities for the ProveKit proving system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

#[cfg(debug_assertions)]
use whir::transcript::Interaction;
use {
    crate::{utils::serde_hex, FieldElement},
    serde::{Deserialize, Serialize},
    whir::{
        algebra::embedding::Identity,
        protocols::{whir::Config as GenericWhirConfig, whir_zk::Config as GenericWhirZkConfig},
        transcript,
    },
};

pub type WhirConfig = GenericWhirConfig<Identity<FieldElement>>;
pub type WhirZkConfig = GenericWhirZkConfig<FieldElement>;

/// Type alias for the whir domain separator used in provekit's outer protocol.
pub type WhirDomainSeparator = transcript::DomainSeparator<'static, ()>;

/// Type alias for the whir prover transcript state.
pub type WhirProverState = transcript::ProverState;

/// Type alias for the whir proof.
pub type WhirProof = transcript::Proof;

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct WhirR1CSScheme {
    pub m:                 usize,
    pub w1_size:           usize,
    pub m_0:               usize,
    pub a_num_terms:       usize,
    pub num_challenges:    usize,
    pub challenge_offsets: Vec<usize>,
    pub has_public_inputs: bool,
    pub whir_witness:      WhirZkConfig,
    pub r1cs_hash:         [u8; 32],
}

impl WhirR1CSScheme {
    /// Create a domain separator for the provekit outer protocol.
    pub fn create_domain_separator(&self) -> WhirDomainSeparator {
        transcript::DomainSeparator::protocol(self)
    }
}

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct WhirR1CSProof {
    #[serde(with = "serde_hex")]
    pub narg_string: Vec<u8>,
    #[serde(with = "serde_hex")]
    pub hints:       Vec<u8>,

    /// Transcript interaction pattern for debug-mode validation.
    /// Populated by the prover; absent from serialized proofs on disk.
    #[cfg(debug_assertions)]
    #[serde(default, skip_serializing)]
    pub pattern: Vec<Interaction>,
}