smartkek / lazy-snark
off-chain computation of zk-snark proofs
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lazy-snark
- Bitcoin Light Client on Ethereum☆40Updated 4 months ago
- An implementation of ZEXE on Ethereum☆37Updated 5 years ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆41Updated 9 months ago
- This repository contains a tutorial on how to build roll_up with Circom☆84Updated 5 years ago
- Construct a Merkle Tree database from Ethereum logs.☆68Updated 2 months ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Updated 5 years ago
- Merkle tree optimized for lists of sequentially appended data and its proofs☆40Updated last year
- contains some tests to recover and signatures of different ECs using solidity☆17Updated last year
- ☆17Updated last year
- Simple zk roll-ups☆37Updated last year
- (Deprecated) Proof-of-Stake, EVM-compatible blockchain focused on DAOs☆24Updated last year
- Solidity Merkle Mountain Range Library☆28Updated last year
- DKG for BLS threshold signature scheme on the EVM using solidity☆32Updated 5 years ago
- Cosmos Ethereum Bridge☆22Updated 5 years ago
- ☆16Updated 2 years ago
- Implements hermez network zk-Snarks circuits☆56Updated last year
- Multi-Signature Aggregation in a Large Byzantine Committees☆53Updated 4 months ago
- A generator of protobuf encoders compliant with ADR-27 (This is a fork of https://github.com/nutsfinance/solidity-protobuf)☆19Updated 8 months ago
- Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.☆53Updated this week
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆54Updated 2 weeks ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆28Updated 2 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- yellow paper for roll_up token☆67Updated 5 years ago
- Comparison of the different LMD-GHOST implementations☆36Updated 5 years ago
- ☆40Updated 10 months ago
- AZTEC protocol specification☆31Updated 4 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- Samples of Ethereum smart contracts, golang and circom for beginners.☆38Updated last year
- Hermez network protocol smart contracts☆37Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆99Updated 2 years ago