r1cs 0.4.7

A library for building R1CS gadgets
Documentation 
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85

// TODO: Copy some examples etc. here when the API is more stable.

//! This is a rust library for building R1CS gadgets over prime fields, which are useful in SNARKs
//! and other argument systems.
//!
//! See the [readme](https://github.com/mir-protocol/r1cs) for more information and examples.

#![cfg_attr(not(feature = "std"), no_std)]

#[cfg(feature = "std")]
#[macro_use]
extern crate std;

#[cfg(not(feature = "std"))]
#[macro_use]
extern crate core as std;

#[cfg(not(feature = "std"))]
#[macro_use]
extern crate alloc;

pub use num;

pub use constraint::*;
pub use curve::*;
pub use davies_meyer::*;
pub use embedded_curve::*;
pub use expression::*;
pub use field::*;
pub use gadget::*;
pub use gadget_builder::*;
pub use gadget_traits::*;
pub use lcg::*;
pub use matrices::*;
pub use merkle_damgard::*;
pub use merkle_trees::*;
pub use mimc::*;
pub use miyaguchi_preneel::*;
pub use permutations::*;
pub use poseidon::*;
pub use rescue::*;
pub use sponge::*;
pub use wire::*;
pub use wire_values::*;
pub use witness_generator::*;

#[macro_use]
mod wire_values;

mod bimap_util;
mod binary_arithmetic;
mod bitwise_operations;
mod boolean_algebra;
mod comparisons;
mod constraint;
mod curve;
mod davies_meyer;
mod embedded_curve;
mod expression;
mod field;
mod field_arithmetic;
mod gadget;
mod gadget_builder;
mod gadget_traits;
mod lcg;
mod matrices;
mod merkle_damgard;
mod merkle_trees;
mod mimc;
mod miyaguchi_preneel;
mod permutations;
mod poseidon;
mod random_access;
mod rescue;
mod signature;
mod sorting;
mod splitting;
mod sponge;
mod util;
mod verify_permutation;
mod wire;
mod witness_generator;

#[cfg(test)]
mod test_util;