Published On Mar 6, 2024
Welcome to the Scalability Series, where we uncover how StarkWare is paving the way to Ethereum’s future!
Today, we uncover how SHARP scales Ethereum.
TL;DWatch
👉 SHARP is a proving system that takes a program execution and outputs a STARK proof, attesting to its validity.
👉 Applications share the same STARK proof at one point in time. The state change they cause is validated by the Solidity verifier contract on the mainnet.
👉 SHARP used to operate on a linear schedule: SHARP would wait for enough Cairo jobs to arrive in the system to create the STARK proof.
👉 SHARP now operates on a recursive schedule: Cairo jobs are proven as they arrive in the system.
👉 Recursive scheduling leads to faster and larger proofs, enhancing the network and the number of transactions being sent to the L1
Resources:
1️⃣ SHARP introduction: https://starkware.co/resource/joining...
2️⃣ SHARP on StarkEx: https://docs.starkware.co/starkex/spo...
3️⃣ Recursive STARKs: https://starkware.co/resource/recursi...