miguelmota / zksnarks-example
An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
☆37Updated 5 years ago
Alternatives and similar repositories for zksnarks-example:
Users that are interested in zksnarks-example are comparing it to the libraries listed below
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Updated 6 years ago
- Bitcoin Light Client on Ethereum☆41Updated 9 months ago
- Solidity proofs that a historical event occurred☆28Updated 5 years ago
- yellow paper for roll_up token☆67Updated 5 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆108Updated 2 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆84Updated 5 years ago
- Tricking frontrunners into doing good☆42Updated 2 years ago
- Ring signature related implementations for ethereum☆28Updated 3 years ago
- Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.☆56Updated 4 months ago
- ☆35Updated 5 years ago
- A curated collection of links for zero-knowledge proof cryptography used in blockchains☆74Updated 3 months ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Updated 2 years ago
- rollup implementation☆91Updated last year
- Trustlessly prove a past storage value in a contract to other contracts☆146Updated 2 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆70Updated last year
- Practical Experiments on how to add complete privacy to flashbots☆48Updated 5 months ago
- ☆28Updated 2 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 6 years ago
- ☆34Updated last year
- non-custodial exchange build with rollup☆105Updated 2 years ago
- ☆87Updated 3 years ago
- Contracts for a wallet that is recoverable via backup keys.☆51Updated last year
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated last year
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- BLS threshold signature verification in Solidity☆18Updated 6 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- AZTEC protocol trusted setup MPC☆32Updated 9 months ago
- MicroMix: A noncustodial Ethereum mixer☆91Updated 4 years ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆62Updated 4 years ago
- group signatures implemented with zkSNARKs☆86Updated 3 years ago