Implementation of Valiant's universal circuit construction optimized for private function evaluation
☆43Jan 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
Sorting:
- Banquet implementation☆14May 6, 2022Updated 3 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆48Apr 5, 2020Updated 5 years ago
- Fujisaki-Suzuki Ring Signatures in Rust☆18Feb 22, 2021Updated 5 years ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Nov 17, 2016Updated 9 years ago
- Differential fuzzing for elliptic curves☆24Sep 6, 2023Updated 2 years ago
- Comprehensive Open Source Library for Secure Multiparty Computation☆188Jul 20, 2023Updated 2 years ago
- C++ OT extension implementation☆128Nov 13, 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
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆78Feb 13, 2026Updated 2 weeks ago
- ☆12May 22, 2016Updated 9 years ago
- Provider library - a library of small helpers. These may or may not become part of OpenSSL at some point☆12May 15, 2025Updated 9 months ago
- Implementation of the Fish and Begol signature schemes☆14Jul 3, 2017Updated 8 years ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆23Jun 7, 2016Updated 9 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆68Jun 1, 2020Updated 5 years ago
- ☆184Jun 21, 2021Updated 4 years ago
- The repo of "Coral: Maliciously Secure Computation Framework for Packed and Mixed Circuits" (CCS 2024)☆12Sep 6, 2024Updated last year
- Go implementation of bcrypt_pbkdf(3) from OpenBSD☆15Feb 5, 2015Updated 11 years ago
- Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment☆13Oct 10, 2022Updated 3 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Oct 20, 2019Updated 6 years ago
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 4 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 4 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- Basic implementation of Borromean ring signatures in Python, for learning☆15Dec 14, 2017Updated 8 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆18Sep 3, 2021Updated 4 years ago
- A Zookeeper backend for Cloud Haskell.☆13Sep 9, 2017Updated 8 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- Traits and utilities for working with finite fields☆18Aug 15, 2024Updated last year
- Communal zk-SNARK MPC for Public Parameters☆19Nov 4, 2023Updated 2 years ago
- TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits☆128Nov 14, 2023Updated 2 years ago
- ☆14Sep 24, 2017Updated 8 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago