2/22. zkSync Overview @zksync is a zkRollup Layer 2 scaling solution on Ethereum developed by @the_matter_labs. It offers low gas and fast transactions, without compromising on security.
3/22. Features
- Ultra-low tx fees
- 2k TPS (20k TPS w/ zkPorter)
- Based on Eth security
- Users control of their funds
- No requirement for operational activity to keep the funds safe
- Withdrawals to mainnet in ~10 minutes
- Multisig support
- Permissionless smart contracts
4/22 zkSNARK #zk: protecting user’s privacy #S: succinct proofs can be verified within a few milliseconds #N: non-Interactive means that the prover only needs to send a single message to the verifier, instead of back-and-forth communication #ARK: generate off-chain trusted proofs
5/22. zk-SNARKs use collision resistant elliptic curves to secure the randomness required for a proof (so it is very hard to find two separate inputs that produce the same output)
6/22. SNARK verification is much cheaper than verifying every transaction individually, and storing the state off-chain is significantly cheaper than storing it on EVM. Hence enabling a huge boost of scalability (~100-200x mainnet capacity) and tx cost savings.
7/22. #zkPorter is an open-sourced, audited, non-custodial and highly scalable decentralized exchanges & payments by batch-processing thousands of requests off-chain, with verifiably correct execution via ZKPs. And as a result, ultra-low transaction fees
8/22 zkSync 1.0 is zkRollup scaling solution on Eth that is non-custodial with zero trust assumption. It was used exclusively for simple purposes. It lacks support for a zkEVM, and cannot process more complicated smart contract. Even so, ZigZag has built a cool products on zkSync
9/22. #zkEVM: A virtual machine that can execute many Solidity smart contracts and is compatible with zkRollup. This fixes the use case limitation of zkSync 1.0.
10/22. #Zinc is a programming turing-complete language based on Rust, which performs more effectively than Solidity.
Zinc is an emerging framework for developing smart contracts and SNARK circuits on the zkSync platform.
11/22. #zkSync 2.0 is a ZK rollup: a trustless protocol that utilises ZKP to provide scalable low-cost transactions on Ethereum. All assets are stored in a single smart contract on the mainchain, while computation and storing data are performed off-chain.
12/22. zkSync 2.0 highlights:
- Mainnet-like security with zero reliance on 3rd parties.
- Permissionless #EVM-compatible smart contracts.
- Standard Web3 API.
- Preserving key EVM features, such as smart contract composability.
- Account abstraction and meta-transactions.
+++
13/22. zkSync 2.0 #Volition
zkSync 2.0 will also have a Volition design, in which users can decide between posting transaction data on Ethereum (#rollup) or on zkPorter (#validium).
21/22. #Audit
zkSync protocol, smart contracts, and zero-knowledge circuits have been audited by one of the most respected expert groups in the zero-knowledge space: #ABDK Consulting docs.zksync.io/zksync-1.0-aud…
1/11. #StarkWare is one of the strongest internal force projects.
#Part 1⃣: Power of StarkWare
👉2/11 Team
👉3/11 Advisors
👉4/11 Backers
👉5-6/11 #zkSTARKs
👉7/11 What is #Cairo?
👉8/11 What is #SHARP?
👉9/11 Summary
👉10/11 Dev tools
👉11/11 Audit
2/11. #StarkWare Team
Co-founders are the top-notch Professor/Ph.D in computer science, math & zk technology. In addition, Starkware has 70 talented people who have profound backgrounds in technology 💪💪💪