smartkek / lazy-snark
off-chain computation of zk-snark proofs
☆11Updated 2 years ago
Alternatives and similar repositories for lazy-snark:
Users that are interested in lazy-snark are comparing it to the libraries listed below
- Bitcoin Light Client on Ethereum☆41Updated 8 months ago
- PeaceRelay: Connecting the Ethereum blockchains☆38Updated 6 years ago
- An implementation of ZEXE on Ethereum☆37Updated 5 years ago
- Merkle tree optimized for lists of sequentially appended data and its proofs☆40Updated 2 years ago
- Simple zk roll-ups☆37Updated 2 years ago
- Implements hermez network zk-Snarks circuits☆56Updated last year
- Cosmos Ethereum Bridge☆22Updated 5 years ago
- ☆17Updated 6 years ago
- Hermez network protocol smart contracts☆37Updated 2 years ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Updated 3 years ago
- A golang demo for zk-SNARK aggregation☆41Updated 5 years ago
- ZKP Circuits code for Loopring Protocol 3.0☆53Updated 4 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆84Updated 5 years ago
- This challenge is built on Nightfall Protocol☆37Updated 5 years ago
- A small block explorer for geth PoAs written in rust☆17Updated 5 years ago
- Solidity Merkle Mountain Range Library☆28Updated 2 years ago
- zk-STARK for fibonacci sequence in Rust☆38Updated 5 years ago
- ZkInterface WebAssembly☆15Updated 2 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Updated 6 years ago
- pRuntime is the execution kernel running inside TEE enclave☆10Updated 4 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆53Updated 7 months ago
- Set of JavaScript based tools and Ethereum Solidity contracts for BulletProof based range proofs and confidential transactions☆29Updated 6 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- Implementations of proof-carrying data☆33Updated 2 years ago
- ☆33Updated last year
- Samples of Ethereum smart contracts, golang and circom for beginners.☆38Updated last year
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated last year
- An optimistic implementation of ZkDai☆16Updated 6 years ago
- This is a Solidity library aiming to implement BLAKE2 (using EIP-152).☆15Updated 4 years ago
- ☆33Updated 10 months ago