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 | Bridge | 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 | |
| Celer | celer | celer_core celer_client |
celer_gh | celer_exp | |||
| Arbitrum | arbitrum | arbitrum_docs | arbitrum_gh | arbitrum_exp | arbitrum_bridge |
| ZK Proofs | Examples | Languages | Protocols |
|---|---|---|---|
| zkproofs | alibaba | zinc | r1cs |
| zkp | waldo1 | ||
| snark | waldo2 | ||
| bulletproof1 | |||
| bulletproof2 | |||
| zkblog |
| 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) |
| R1CS | Rank-1 Constraint System |