There are only 10 days remaining on the #marchtomainnet. Yesterday we achieved a significant milestone, integrating our provers into the system and achieving an end-to-end system running on testnet.
But why do we need a prover? 🧵 (1/5)
But why do we need a prover? 🧵 (1/5)
To inherit layer 1 security, there must be a way that we can reconstruct the layer 2 state transitions directly from Ethereum. Differently from optimistic rollups (that rely on game theory), zkRollups rely on pure math to attest that state transitions are valid.
(2/5)
(2/5)
On our L2, a set of contracts will organize the transactions into batches & generate proofs for them. Those proofs are sent to a smart contract on L1 to verify that they are valid, ensuring that no transactions inside a batch were altered or contained invalid information.
(3/5)
(3/5)
In conclusion, verifying proof of a batch of transactions in L1 requires much less computation and data storage than running the transactions themselves, generating savings in fees for both developers and end users.
(4/5)
(4/5)
The first proof transaction performed by our prover on Goerli testnet is available here: goerli.etherscan.io/tx/0xcebe52ada…
(5/5)
(5/5)
• • •
Missing some Tweet in this thread? You can try to
force a refresh
