Decoding the Starknet Verifier – A Deep Dive into the Reverse Engineering Journey

In this session, we’ll explore key insights gained from the creation of Sandstorm, the first open-source STARK prover to submit an independent proof to StarkWare’s Ethereum Verifier. Discussion will include the challenges encountered in the reverse engineering process, the current and future applications of Sandstorm, and the pivotal impact of Sandstorm in the Starknet Ecosystem.

Diving Into the Code of Stone Prover

An introduction to the StarkWare open-source prover currently being used in production for Starknet and StarkEx. This session will include a demonstration of proving and verifying a Cairo program, spill light on the high-level STARK prover architecture, describe the various modes of operation and configuration options, touch on performance and memory consumption, and spend some time strolling through the new code.

Open-Sourcing the Battle-Tested Stone Prover

StarkWare marks a pivotal moment in developing and releasing open tools for securely scaling Ethereum. StarkWare believes open-sourcing the Starknet tech stack means more collaboration, better quality, improved security, innovation, and independence. All of these values can help Starknet and Ethereum reach their full potential.

The Starknet Stack’s Growth Spurt

The Starknet Stack is in the midst of a remarkable growth spurt. We expect it to dominate the Appchain space due to its performance, security, and expressiveness. The thriving Starknet developer ecosystem, which has been driving the rapid evolution of this stack, will continue to develop it, and meet the various needs of more and more applications.