proofman-fields 1.3.2-alpha

Goldilocks field arithmetic, extensions, Poseidon hashes, Merkle trees, and FRI primitives for PIL2 proofman
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

#![no_std]

extern crate alloc;

mod goldilocks;
mod integers;
mod goldilocks_quintic_extension;
mod field;
mod poseidon2;
mod poseidon1;
mod hash;
// Guest-only in production; `test` keeps its equivalence tests against the `blake3` crate running
// on the host, which is the only thing holding the two implementations identical.
#[cfg(any(all(target_os = "zkvm", target_vendor = "zisk"), test))]
mod blake3_core;
mod blake3_transcript;
mod merkle;
mod transcript;
mod transcript_api;
mod fri;
mod extended_field;
mod poseidon2_constants;
mod poseidon1_constants;
mod utils;

pub use goldilocks::*;
pub use integers::*;
pub use goldilocks_quintic_extension::*;
pub use field::*;
pub use poseidon2::*;
pub use poseidon1::*;
pub use hash::*;
pub use blake3_transcript::*;
pub use merkle::*;
pub use transcript::*;
pub use transcript_api::*;
pub use fri::*;
pub use extended_field::*;
pub use poseidon2_constants::*;
pub use poseidon1_constants::*;
pub use utils::*;