1#![allow(non_snake_case)]
 2#![allow(non_upper_case_globals)]
 3/// Proof of concept implementation of [Sigmabus](https://eprint.iacr.org/2023/1406) as described in section 3 of the paper, using Groth16's zkSNARK scheme.
 4pub mod circuits;
 5pub mod sigmabus;
 6pub mod transcript;
 7
 8use thiserror::Error;
 9
10#[derive(Debug, Error)]
11pub enum Error {
12    #[error("SigmaProof verification failed")]
13    SigmaFail,
14    #[error("GenZK verification failed")]
15    GenZKFail,
16}