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    noirc_abi::{input_parser::InputValue, InputMap},
23    prefix_covector::{OffsetCovector, PrefixCovector, SparseCovector},
24    prover::Prover,
25    r1cs::R1CS,
26    verifier::Verifier,
27    whir_r1cs::{
28        WhirConfig, WhirDomainSeparator, WhirProof, WhirProverState, WhirR1CSProof, WhirR1CSScheme,
29        WhirZkConfig,
30    },
31    witness::PublicInputs,
32};
33
34/// SHA-256 based transcript sponge for Fiat-Shamir.
35pub type TranscriptSponge = spongefish::instantiations::SHA256;
36
37/// Register provekit's custom implementations in whir's global registries.
38///
39/// Must be called once before any prove/verify operations.
40/// Idempotent — safe to call multiple times.
41pub fn register_ntt() {
42    use std::sync::{Arc, Once};
43    static INIT: Once = Once::new();
44    INIT.call_once(|| {
45        let ntt: Arc<dyn whir::algebra::ntt::ReedSolomon<FieldElement>> =
46            Arc::new(whir::algebra::ntt::ArkNtt::<FieldElement>::default());
47        whir::algebra::ntt::NTT.insert(ntt);
48
49        let skyscraper: Arc<dyn whir::hash::HashEngine> =
50            Arc::new(skyscraper::SkyscraperHashEngine);
51        whir::hash::ENGINES.register(skyscraper);
52    });
53}
provekit_common/lib.rs

provekit_common/
lib.rs
