You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#![allow(non_snake_case)]
|
|
#![allow(non_upper_case_globals)]
|
|
/// 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.
|
|
pub mod circuits;
|
|
pub mod sigmabus;
|
|
pub mod transcript;
|
|
|
|
use thiserror::Error;
|
|
|
|
#[derive(Debug, Error)]
|
|
pub enum Error {
|
|
#[error("SigmaProof verification failed")]
|
|
SigmaFail,
|
|
#[error("GenZK verification failed")]
|
|
GenZKFail,
|
|
}
|