o1-labs / snarkette
Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
☆53Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for snarkette
- DSL for Secure DApps☆33Updated last year
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 3 years ago
- Efficient multi-asset confidential transactions☆34Updated 5 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated 11 months ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated last year
- Zcash "Sapling" cryptography☆80Updated last month
- Communal zk-SNARK MPC for Public Parameters☆140Updated 3 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- A typed, functional language that targets the EVM.☆55Updated 7 years ago
- Implementation of the Ethereum precompiled contracts in Rust.☆49Updated 4 years ago
- ☆78Updated 4 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 5 years ago
- Asynchronously safe BFT consensus, implementation in Rust☆35Updated 5 years ago
- The modular protocol framework based on Universal Composability☆18Updated 4 years ago
- ☆21Updated 4 years ago
- ☆19Updated 4 years ago
- Low-level language for encoding AIR of computations☆34Updated last year
- Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381☆60Updated 2 years ago
- MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework☆19Updated 4 years ago
- ☆13Updated 8 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆53Updated 5 months ago
- An independent reimplementation of (vn)TinyRAM☆37Updated 7 years ago