frontend/
zk_iriscode_ss.rs

1//! Contains the v3 iriscode circuit implemented using an RLC of image strips.
2use shared_types::config::{GKRCircuitProverConfig, GKRCircuitVerifierConfig};
3
4/// The circuit itself
5pub mod circuits;
6
7/// Components that are particular to the worldcoin circuit
8pub mod components;
9
10/// Data loading and witness generation
11pub mod data;
12
13/// IO helpers
14pub mod io;
15
16/// Decoding functions for the wirings and other constants
17pub mod decode;
18
19/// Parameters for the v3 RLC circuit
20pub mod parameters;
21
22/// Tests
23#[cfg(test)]
24pub mod tests;
25
26/// Test helpers (also used in Hyrax tests)
27pub mod test_helpers;
28
29/// v3 data loaders
30pub mod v3;
31
32// The expected verifier config is enforced as a constant.
33pub const EXPECTED_VERIFIER_CONFIG: GKRCircuitVerifierConfig =
34    GKRCircuitVerifierConfig::hyrax_compatible_runtime_optimized_default();
35pub const EXPECTED_PROVER_CONFIG: GKRCircuitProverConfig =
36    GKRCircuitProverConfig::hyrax_compatible_memory_optimized_default();