cronokirby / yao-gcLinks
A basic implementation of Yao's Garbled Circuits
☆30Updated 3 years ago
Alternatives and similar repositories for yao-gc
Users that are interested in yao-gc are comparing it to the libraries listed below
Sorting:
- An implementation of ZKBoo☆33Updated 3 years ago
- ☆26Updated 7 months ago
- Oblivious key-value store based on Circuit ORAM☆30Updated 6 months ago
- Testudo: Spartan + Groth16☆52Updated last year
- Compiler framework for ZK VMs☆33Updated 2 years ago
- Vectorized AVX-512 256-bit arithmetic library☆34Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- elliptic curve construction tool☆17Updated 2 years ago
- A framework for SPDZ-style maliciously-secure MPC.☆53Updated 8 months ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Updated 2 years ago
- A Risc-V CPU implemented as a zk-SNARK☆50Updated 3 years ago
- ☆45Updated 7 months ago
- Fiat-Shamir for the masses.☆77Updated 2 weeks ago
- polynomial commitments from linear codes☆46Updated 9 months ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated 2 years ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆91Updated 3 months ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆53Updated 7 months ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated 2 years ago
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆36Updated 4 months ago
- ECFFT in Rust☆58Updated 2 years ago
- Circom AES-GCM circuits☆33Updated 2 months ago
- Curve ecGFp5☆68Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Updated 4 years ago
- An elastic proof system based on arkworks☆85Updated last year
- Rust crypto library for zero-knowledge proofs☆17Updated 2 weeks ago
- ☆41Updated last year
- ☆11Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆38Updated 2 years ago