bft-smart / cobra
Confidential Byzantine Fault-Tolerant SMR library
☆9Updated 9 months ago
Alternatives and similar repositories for cobra:
Users that are interested in cobra are comparing it to the libraries listed below
- ☆65Updated 2 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆43Updated 2 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆116Updated last year
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆38Updated 4 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- Global-Scale Secure Multiparty Computation☆44Updated 2 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆88Updated 2 years ago
- Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating …☆28Updated last year
- ☆25Updated 3 years ago
- 《zkSNARK实践》中的源码☆19Updated 2 years ago
- ☆58Updated 3 years ago
- ZPiE: Zero-knowledge Proofs in Embedded systems☆24Updated last year
- This project implements twisted ElGamal PKE, which is additively homomorphic and zero-knowledge proof friendly.☆7Updated 2 years ago
- Typescript abstractions over Rust crypto library's WASM wrapper☆30Updated this week
- An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark☆11Updated last year
- Secure distributed dataflow framework for encrypted machine learning and data processing☆63Updated last year
- Libra zero knowledge proof system☆50Updated 2 years ago
- Cryptographic accumulator based on the strong RSA assumption, Python & Solidity☆76Updated 6 years ago
- ☆33Updated last year
- Efficient and Interactive Zero-Knowledge Proofs☆87Updated last year
- Open source implementation of zkSTARKs in pure Rust☆82Updated last year
- Awesome SGX and TEE on Blockchain Resources☆23Updated last year
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆30Updated 5 months ago
- Example to create merkle path proof using libsnark☆45Updated 4 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆54Updated last year
- This repo contains kinds of zkp scheme in current market☆40Updated 3 years ago
- a C++ library for Pretty Good Confidential Transaction System☆16Updated 2 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆25Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆63Updated last month