elibensasson / libSTARK
A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)
☆518Updated last year
Alternatives and similar repositories for libSTARK:
Users that are interested in libSTARK are comparing it to the libraries listed below
- Tutorial and example code for using libsnark☆191Updated 3 years ago
- A zkSNARK tutorial and development environment☆404Updated 4 years ago
- Circuit compiler for zkSNARKs☆473Updated last year
- Pairing-friendly elliptic curve library.☆342Updated 4 months ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆241Updated 2 months ago
- Rust-language assets for Zcash☆339Updated last week
- ☆303Updated last week
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆647Updated 8 months ago
- Multilingual BLS12-381 signature library☆486Updated last month
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆176Updated 2 years ago
- A private payment system for Ethereum-based blockchains, with no trusted setup.☆302Updated 6 months ago
- scale ethereum with snarks☆363Updated last year
- zk-SNARK library.☆1,040Updated 6 months ago
- Rust language general purpose elliptic curve cryptography.☆264Updated 5 months ago
- A high-level framework for developing efficient zk-SNARK circuits☆185Updated 2 years ago
- Library of basic circuits for circom☆629Updated 2 months ago
- C++ library for Finite Fields and Elliptic Curves☆153Updated 3 years ago
- Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty☆629Updated 2 years ago
- A Java library for zk-SNARK circuits☆210Updated 2 years ago
- Spartan: High-speed zkSNARKs without trusted setup☆724Updated 3 weeks ago
- Java library for distributed zero knowledge proof systems☆238Updated 2 years ago
- A library for generating zk-STARKs.☆144Updated 2 years ago
- Library for zero-knowledge proof based applications (like anonymous credentials)☆233Updated 2 years ago
- Robust MPC-based confidentiality layer for blockchains☆135Updated 3 years ago
- OCaml DSL for verifiable computation☆499Updated last week
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆201Updated last month
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆126Updated last year
- Cryptographic accumulators in Rust.☆133Updated 3 years ago
- Threshold Signature Scheme for ECDSA☆201Updated last year