LedgerHQ / bolos-enclaveLinks
BOLOS community enclave for SGX & simulator
☆36Updated 5 years ago
Alternatives and similar repositories for bolos-enclave
Users that are interested in bolos-enclave are comparing it to the libraries listed below
Sorting:
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- ☆59Updated 7 years ago
- a C++ template library for zero knowledge proofs☆49Updated 9 years ago
- These testcases are generated by running afl-fuzz against libbitcoinconsensus.☆15Updated 10 years ago
- Zcash "Sapling" cryptography☆85Updated 2 weeks ago
- The original p2p version (non-transferable proofs)☆142Updated 3 years ago
- ☆21Updated 8 years ago
- ☆70Updated 3 years ago
- Fork of secp256k1-zkp for the Grin/MimbleWimble project☆33Updated 2 years ago
- Implementation of Ledger BOLOS for TEE applications☆30Updated 8 years ago
- zk-SNARK parameter multi-party computation protocol☆172Updated 5 years ago
- A highly performant merkle set data structure. To be ported to C later.☆74Updated 7 years ago
- ☆13Updated 9 years ago
- Alternative zk-SNARK proof verifier written in Rust for Zcash Sprout.☆21Updated 8 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- Deterministic build environment for Zcash☆19Updated 2 weeks ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Updated 9 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 2 years ago
- Pure Rust client for YubiHSM2 devices☆70Updated 5 years ago
- PoC of an SGX enclave performing symmetric reencryption☆49Updated 9 years ago
- Rust implementation of libbolt☆73Updated 5 years ago
- Grin transaction data corresponding to research on transaction linkability☆53Updated 5 years ago
- Public working documents (e.g., Internet drafts)☆23Updated 7 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- ZKP fork for rust-secp256k1, adds wrappers for range proofs, pedersen commitments, etc☆57Updated last year
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 6 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆63Updated 6 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆38Updated last year
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Updated 8 years ago