✳flâneur — a map of the web's best reading

Joining Forces: SHARP | StarkWare

starkware.co · 1,206 words · saved by 1 readers

Scaling Ethereum is a journey. It requires ongoing innovation in order to find the next solution that will further raise scaling capabilities. In June 2020, StarkWare launched StarkEx, the first STARK-based L2 scaling solution. In September 2020 it announced Cairo, the first programming language designed to gain maximum efficiency with STARK proofs. Cairo, and the general computation it allows, paved the way for swift and secure coding of proofs for any business logic and arbitrary computational statements. With this innovation came a new wave of developers into the StarkWare ecosystem. But while these developers wanted the scalability, security, and efficiency of StarkEx, many of their projects didn’t have enough transaction activity to fill up a STARK proof. Similarly, users were still hampered by the unpredictability of rising gas fees triggered by Ethereum network congestion. And then came SHARP. SHARP (a SHARed Prover) is a powerful system designed to generate STARK proofs for agg

join our newsletter Home » StarkWare Blog » Save Costs and Enhance Ethereum’s Scalability: If it’s Written in Cairo, SHARP Can Prove it --> Share TL;DR SHARP (SHARed Prover) generates STARK proofs of aggregated Cairo programs, allowing any app to submit transactions to the same proof. Think UberPool but for STARK Proofs. This ‘ride-sharing’ dynamic means even small apps can access the massive power of STARK scaling. If it’s written in Cairo, SHARP can prove it, however diverse the dApps are. Processing SHARP bundles approximately 220K transactions into a

Explore this link on the map →

related reading