proof_system-0.34.0
Platform
Feature flags

docs.rs

Rust

proof_system 0.34.0

Proof system to comprise various cryptographic primitives

Crate
Source
Builds
Feature flags

..
r1cs
accumulators.rs
bbs_plus_and_accumulator.rs
blind_bbs_plus_sig_and_message_equality.rs
bound_check_bpp.rs
bound_check_legogroth16.rs
bound_check_smc.rs
bound_check_smc_with_kv.rs
kvac.rs
main.rs
ped_comm.rs
proof_aggregation.rs
ps_signature.rs
verifiable_encryption_saver.rs
verifiable_encryption_tz21.rs

pub mod r1cs;