provekit_common/
lib.rs

1pub mod file;
2mod interner;
3mod noir_proof_scheme;
4pub mod prefix_covector;
5mod prover;
6mod r1cs;
7pub mod skyscraper;
8pub mod sparse_matrix;
9pub mod utils;
10mod verifier;
11mod whir_r1cs;
12pub mod witness;
13
14use crate::{
15    interner::{InternedFieldElement, Interner},
16    sparse_matrix::{HydratedSparseMatrix, SparseMatrix},
17};
18pub use {
19    acir::FieldElement as NoirElement,
20    ark_bn254::Fr as FieldElement,
21    noir_proof_scheme::{NoirProof, NoirProofScheme},
22    prefix_covector::{OffsetCovector, PrefixCovector, SparseCovector},
23    prover::Prover,
24    r1cs::R1CS,
25    verifier::Verifier,
26    whir_r1cs::{
27        WhirConfig, WhirDomainSeparator, WhirProof, WhirProverState, WhirR1CSProof, WhirR1CSScheme,
28        WhirZkConfig,
29    },
30    witness::PublicInputs,
31};
32
33/// SHA-256 based transcript sponge for Fiat-Shamir.
34pub type TranscriptSponge = spongefish::instantiations::SHA256;
35
36/// Register provekit's custom implementations in whir's global registries.
37///
38/// Must be called once before any prove/verify operations.
39/// Idempotent — safe to call multiple times.
40pub fn register_ntt() {
41    use std::sync::{Arc, Once};
42    static INIT: Once = Once::new();
43    INIT.call_once(|| {
44        let ntt: Arc<dyn whir::algebra::ntt::ReedSolomon<FieldElement>> =
45            Arc::new(whir::algebra::ntt::ArkNtt::<FieldElement>::default());
46        whir::algebra::ntt::NTT.insert(ntt);
47
48        let skyscraper: Arc<dyn whir::hash::HashEngine> =
49            Arc::new(skyscraper::SkyscraperHashEngine);
50        whir::hash::ENGINES.register(skyscraper);
51    });
52}
provekit_common/lib.rs

provekit_common/
lib.rs
