labrador/
lib.rs

1// Documentation
2
3// Main Introduction
4#![forbid(unsafe_code)]
5#![deny(clippy::as_conversions)]
6#![doc = include_str!("../doc/mainpage-doc.md")]
7// Arithmetic Circuit Translation
8#![doc = include_str!("../doc/arithmetic_circuit_translation.md")]
9// Ajtai Commitment
10#![doc = include_str!("../doc/ajtai_commitment.md")]
11// Hierarchical Commitment
12#![doc = include_str!("../doc/hierarchical_commitment.md")]
13// Projections
14#![doc = include_str!("../doc/projections.md")]
15// Aggregation
16#![doc = include_str!("../doc/aggregation.md")]
17// Amortization
18#![doc = include_str!("../doc/amortization.md")]
19
20pub mod commitments;
21pub mod core;
22pub mod prover;
23pub mod ring;
24pub mod verifier;