High-Level languages for zkSNARKs, Fully-Homomorphic-Encryption and Multi-Party-Computation
☆22Apr 12, 2019Updated 6 years ago
Alternatives and similar repositories for zklangs
Users that are interested in zklangs are comparing it to the libraries listed below
Sorting:
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- ☆21Jun 28, 2022Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 6 years ago
- Dynamic Universal Accumulator with Batch Update over Bilinear Groups☆15Sep 13, 2021Updated 4 years ago
- ☆15May 27, 2021Updated 4 years ago
- ☆78Dec 10, 2019Updated 6 years ago
- Implements an RSA accumulator in Python☆14May 2, 2019Updated 6 years ago
- A playground for browser-generated zksnarks with ZoKrates☆15Jan 7, 2023Updated 3 years ago
- ☆16Jan 4, 2024Updated 2 years ago
- ☆17Jul 14, 2018Updated 7 years ago
- To bring zero knowledge privacy primitives to all web3 developers.☆13Oct 20, 2023Updated 2 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆17Nov 12, 2018Updated 7 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 6 years ago
- zk-STARK for fibonacci sequence in Rust☆36Sep 17, 2019Updated 6 years ago
- crates-sgx is a monorepo of all Rust crates ported for Teaclave SGX SDK targeting Intel SGX.☆12Sep 11, 2020Updated 5 years ago
- A zkSNARK tutorial and development environment☆16Mar 16, 2018Updated 7 years ago
- ☆18Oct 7, 2023Updated 2 years ago
- ERC721 in Vyper☆48Aug 27, 2018Updated 7 years ago
- ☆117Aug 6, 2021Updated 4 years ago
- An implementation of ZEXE on Ethereum☆36Apr 11, 2019Updated 6 years ago
- A collection of blockchain-related SoK papers.☆18Aug 6, 2022Updated 3 years ago
- DEPRECATED☆22Jan 18, 2021Updated 5 years ago
- BLS working standard draft☆39Aug 8, 2019Updated 6 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- substrate node with TEE☆18Mar 22, 2020Updated 5 years ago
- Implementation of incrementally verifiable ledger system☆18Mar 24, 2021Updated 4 years ago
- ☆17Jul 15, 2022Updated 3 years ago
- Web application that makes data releases that satisfy differential privacy using the OpenDP Library☆22Aug 2, 2024Updated last year
- ShareLock: mixing for cryptocurrencies from multiparty ECDSA☆52Dec 3, 2022Updated 3 years ago
- Example project for EthSnarks - Miximus coin mixer☆85Jul 31, 2019Updated 6 years ago
- Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)☆28Jun 7, 2019Updated 6 years ago
- Binary merkle tree implementation.☆17Aug 31, 2019Updated 6 years ago
- A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)☆193Nov 27, 2022Updated 3 years ago
- zkp data market☆18Nov 19, 2021Updated 4 years ago
- Official Ledger Starknet application (Rust implementation)☆22Feb 25, 2026Updated last week
- Implementation of the blindbid logic within Zero Knowledge Proofs☆21Sep 15, 2021Updated 4 years ago