sp1-hypercube 6.2.2

The SP1 Hypercube proof system
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

//! Base types, enums, and structs for the constraint compiler.

// `Vec<(String, Shape<ExprRef<F>, ExprExtRef<EF>>)>` is not a complex type IMO.
#![allow(clippy::type_complexity)]
// https://rust-lang.github.io/rust-clippy/master/index.html#format_push_string
// Forces us to use `write!` instead of `String::push_str`, bad because we need to ignore the error
// from `write!`. See "Known Problems" from the link above.
#![allow(clippy::format_push_string)]

mod ast;
mod compiler;
mod conversions;
mod expr;
mod expr_impl;
mod func;
mod lean;
mod op;
mod output;
mod shape;
mod var;

pub use ast::*;
pub use compiler::*;
pub use expr::*;
pub use func::*;
pub use op::*;
pub use output::*;
pub use shape::*;
pub use var::*;