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
- yellow paper for roll_up token☆67Updated 5 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆84Updated 5 years ago
- Ring signature related implementations for ethereum☆28Updated 3 years ago
- Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)☆35Updated 5 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆108Updated 2 years ago
- Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.☆56Updated 3 months ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆69Updated last year
- Tricking frontrunners into doing good☆42Updated 2 years ago
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated last year
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆83Updated 4 years ago
- integrate signed message recovery directly in your contracts☆37Updated 6 years ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆62Updated 4 years ago
- Solidity proofs that a historical event occurred☆28Updated 5 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- Bitcoin Light Client on Ethereum☆41Updated 8 months ago
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Updated 6 years ago
- rollup implementation☆91Updated 11 months ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆99Updated 2 years ago
- a mechanism for incentivizing full nodes☆24Updated 6 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Updated 6 years ago
- ☆35Updated 5 years ago
- Implements hermez network zk-Snarks circuits☆56Updated last year
- This repository contains a tutorial on how to build roll_up with Circom☆31Updated 5 years ago
- ☆28Updated 2 years ago
- Practical Experiments on how to add complete privacy to flashbots☆47Updated 4 months ago
- ☆87Updated 3 years ago
- A curated collection of links for zero-knowledge proof cryptography used in blockchains☆74Updated 2 months ago
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆41Updated last year
- data and charts for Ethereum state analysis☆46Updated 5 years ago
- Samples of Ethereum smart contracts, golang and circom for beginners.☆38Updated last year