Implementation of Valiant's universal circuit construction optimized for private function evaluation
☆44Jan 7, 2021Updated 5 years ago
Alternatives and similar repositories for UC
Users that are interested in UC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆48Apr 5, 2020Updated 5 years ago
- Banquet implementation☆14May 6, 2022Updated 3 years ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Nov 17, 2016Updated 9 years ago
- The repo of "Coral: Maliciously Secure Computation Framework for Packed and Mixed Circuits" (CCS 2024)☆12Sep 6, 2024Updated last year
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties☆91Jul 20, 2023Updated 2 years ago
- Comprehensive Open Source Library for Secure Multiparty Computation☆188Jul 20, 2023Updated 2 years ago
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆80Feb 13, 2026Updated last month
- ☆16Dec 28, 2021Updated 4 years ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆23Jun 7, 2016Updated 9 years ago
- ☆12May 22, 2016Updated 9 years ago
- ☆184Jun 21, 2021Updated 4 years ago
- C++ OT extension implementation☆128Nov 13, 2020Updated 5 years ago
- Fujisaki-Suzuki Ring Signatures in Rust☆20Feb 22, 2021Updated 5 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Oct 20, 2019Updated 6 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Communal zk-SNARK MPC for Public Parameters☆19Nov 4, 2023Updated 2 years ago
- An implementation of Oblivious RAM☆35Feb 12, 2025Updated last year
- Go implementation of bcrypt_pbkdf(3) from OpenBSD☆15Feb 5, 2015Updated 11 years ago
- The repo of "Efficient 3PC for Binary Circuits with Application to Maliciously-Secure DNN Inference" (USENIX Security 2023)☆21Jun 27, 2023Updated 2 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- Differential fuzzing for elliptic curves☆24Sep 6, 2023Updated 2 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆18Sep 3, 2021Updated 4 years ago
- Gabes: Garbled Circuits in Python☆16Feb 7, 2023Updated 3 years ago
- ☆15Mar 7, 2014Updated 12 years ago
- ☆14Sep 24, 2017Updated 8 years ago
- ☆19May 5, 2020Updated 5 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆68Jun 1, 2020Updated 5 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- Presentations about R1CS☆19May 1, 2019Updated 6 years ago
- Provider library - a library of small helpers. These may or may not become part of OpenSSL at some point☆12May 15, 2025Updated 10 months ago
- A fast, portable, and easy to use Oblivious Transfer Library☆488Jan 26, 2026Updated last month
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Dhall-configured inductive API definitions☆23Feb 26, 2020Updated 6 years ago