Examples related to ethereum layer 2. (Home)
This document contains info about:
| Plasma | | ----------- | ------------ | hub_plasma | minviable | whatisplasma | learnplasma
| Level 2 solutions | Website | Docu | Github | Explorer | Web Wallet | Technology |
|---|---|---|---|---|---|---|
| ZoKrates | zokrates_docs | [zokrates_gh] | toolbox for zkSNARKs | |||
| Optimism | optimism | optimism_docs | optimism_gh | Optimistic Virtual Machine (EVM compatible) L1<->L2 not yet implemented | ||
| Matic | matic | matic_docs | matic_gh | matic_exp | Plasma & PoS checkpoints on ETH (EVM compatible) | |
| Loom | loomx | loomx_docs | loomx_gh | loomx_exp | loomx_wallet | DPoS side chain (erc20/erc721 transfer) (EVM compatible) |
| Omg (was OmiseGO) | omg | omg_docs | omg_gh | omg_exp | omg_wallet | Plasma / ETH & ERC20 (utxo) |
| zksync | zksync | zksync_docs | zksync_gh | zksync_exp | zksync_wallet | Zkrollup ERC20 (only listed tokens) (rinkeby, ropsten) smart contracts via Zinc |
| ZK Proofs | Examples | Languages |
|---|---|---|
| zkproofs | alibaba | zinc |
| zkp | waldo1 | |
| snark | waldo2 | |
| bulletproof1 | ||
| bulletproof2 |
| Abbreviations | Meaning |
|---|---|
| ZK | Zero-Knowledge |
| Succinct | Short and to the point / verifiable in short time (requires trusted setup) |
| Non-interactive | One message (so no need for multiple rounds) |
| SNARK | Succinct Non-interactive adaptive ARgument of Knowledge |
| Argument | Proof |
| Transparent | No trusted setup |
| STARK | Scalable Transparent ARguments of Knowledge (quantum-resistant) |
| Bulletproef | Short non-interactive zero-knowledge proofs that require no trusted setup (range proofs) (not quantum-resistant) |