shaih / cpp-lwevss
C++ implementation of VSS using LWE encryption and proofs
☆15Updated 3 years ago
Alternatives and similar repositories for cpp-lwevss:
Users that are interested in cpp-lwevss are comparing it to the libraries listed below
- lattice-based zkSNARKs over libsnark [ISW21]☆31Updated 5 months ago
- ☆32Updated last month
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆43Updated 5 years ago
- Libra zero knowledge proof system☆50Updated 2 years ago
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Updated last year
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆38Updated 4 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits☆17Updated 4 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- An elastic proof system based on arkworks☆82Updated last year
- Global-Scale Secure Multiparty Computation☆44Updated 2 years ago
- Implementation of the Groth16 zk-SNARK proving system☆21Updated 6 years ago
- fft impl for ff::Field☆16Updated 10 months ago
- Efficient and Interactive Zero-Knowledge Proofs☆87Updated last year
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆87Updated 2 years ago
- A ZKP-augmented fork of the OpenFHE library☆17Updated 8 months ago
- A framework for SPDZ-style maliciously-secure MPC.☆51Updated 2 months ago
- Argument systems for inner pairing products☆41Updated 8 months ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- A compiler to turn GO code into a zkSNARK☆16Updated 3 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- ☆23Updated last month
- Elliptic curve search experiments☆35Updated 2 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 9 months ago
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆27Updated 2 years ago
- elliptic curve construction tool☆17Updated 2 years ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆28Updated last week
- BLS working standard draft☆39Updated 5 years ago
- ☆11Updated 7 months ago
- SageMath library for constructing elliptic curves☆69Updated last year