#![cfg_attr(not(feature = "std"), no_std)]
#![forbid(unsafe_code)]
#![warn(
// Enable sets of warnings
clippy::all,
clippy::pedantic,
clippy::cargo,
rust_2018_idioms,
future_incompatible,
unused,
// Additional unused warnings (not included in `unused`)
unused_lifetimes,
unused_qualifications,
unused_results,
// Additional misc. warnings
anonymous_parameters,
deprecated_in_future,
elided_lifetimes_in_paths,
explicit_outlives_requirements,
keyword_idents,
macro_use_extern_crate,
// missing_docs,
missing_doc_code_examples,
private_doc_tests,
single_use_lifetimes,
trivial_casts,
trivial_numeric_casts,
unreachable_pub,
unsafe_code,
variant_size_differences
)]
#![cfg_attr(feature = "std", warn(missing_debug_implementations,))]
#![allow(clippy::multiple_crate_versions)]
#![allow(clippy::missing_errors_doc)]
#![allow(clippy::must_use_candidate)]
#![allow(clippy::enum_glob_use)]
#![allow(clippy::wildcard_imports)]
mod channel;
mod constraints;
mod polynomial;
mod proof;
mod proof_of_work;
mod rational_expression;
#[cfg(feature = "std")]
mod solidity_seralizer;
#[cfg(feature = "std")]
mod solidity_verifier;
mod traits;
mod verifier;
#[cfg(feature = "prover")]
mod algebraic_dag;
#[cfg(feature = "prover")]
pub mod component;
#[cfg(feature = "prover")]
mod constraint_check;
#[cfg(feature = "prover")]
mod prover;
#[cfg(feature = "prover")]
mod rational_equality;
#[cfg(feature = "prover")]
mod trace_table;
#[cfg(not(feature = "std"))]
#[cfg_attr(feature = "std", macro_use)]
extern crate no_std_compat as std;
pub use zkp_primefield as primefield;
pub use constraints::{Constraints, Error as ConstraintError};
pub use polynomial::DensePolynomial;
pub use proof::Proof;
pub use rational_expression::RationalExpression;
pub use traits::Verifiable;
pub use verifier::{verify, Error as VerifierError};
#[cfg(feature = "std")]
pub use solidity_seralizer::proof_serialize;
#[cfg(feature = "std")]
pub use solidity_verifier::generate;
#[cfg(feature = "prover")]
pub use constraint_check::check_constraints;
#[cfg(feature = "prover")]
pub use prover::{prove, Error as ProverError};
#[cfg(feature = "prover")]
pub use trace_table::TraceTable;
#[cfg(feature = "prover")]
pub use traits::Provable;
#[cfg(test)]
mod tests {
pub(crate) fn init() {
let _ = env_logger::builder().is_test(true).try_init();
}
}