proof-of-sql 0.129.1

High performance zero knowledge (ZK) prover for SQL.
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

//! This module provide operations for working on slices. Each operation is done as generically as possible to be interopable.
//! When relevent, slices are assumed to extend indefinitely and be filled with zeros.
//! For example, the inner product will not panic when the two input slices have different lengths.
//! Instead, it will simply truncate the longer one, which is equivalent to multiply each extra element by zero before summing.

#[cfg(any(feature = "rayon", test))]
pub const MIN_RAYON_LEN: usize = 1 << 8;

mod add_const;
#[cfg(test)]
mod add_const_test;
mod inner_product;
#[cfg(test)]
mod inner_product_test;
mod mul_add_assign;
#[cfg(test)]
mod mul_add_assign_test;
mod slice_cast;
#[cfg(test)]
mod slice_cast_test;

pub use add_const::*;
pub use inner_product::*;
pub use mul_add_assign::*;
pub use slice_cast::*;

mod batch_inverse;
pub use batch_inverse::*;

#[cfg(test)]
mod batch_inverse_test;