Unleashing the potential of Stone provers: exploring usability and scaling potential

Author: StarkWare; Compiler: Starknet Chinese Community

Selected quick overview:

• Expand the Starknet community’s access to STARK technology solutions, Includes access to the battle-tested open source Stone prover, which is at the heart of Starknet’s decentralization journey.

• While developing the next generation of Stwo provers, StarkWare is also working with outstanding teams in the Starknet ecosystem to release Stone's scalability potential to build more components.

• With these new components, developers will be able to use Stone to build application chains on Starknet, thereby achieving complete application Customize and reduce costs while generating proofs without cumbersome equipment.

Introduction

Promote L3 Stone application chain

Maybe you have I have heard that StarkWare has been working with Herodotus to develop a Stone-compatible Cairo validator on Starknet. Just as Starknet proves its execution and validates it on Ethereum, the Cairo validator enables developers who want to build layer three (L3) on Starknet to prove their execution on their own application layer and validate it on Starknet. verify it.

Promote L2 Stone application chain

If you still prefer to authenticate at L1, zkSecurity is developing a STARK-EVM adapter. This adapter splits Stone-generated proofs, making them compatible with existing Cairo validators on Ethereum. The STARK-EVM adapter enables developers to verify Stone-generated proofs on Ethereum, becoming the missing piece of the puzzle in unleashing Stone-powered L2 application chains.

Integrate Madara sorter and Stone

Whether you prefer L2 or L3, Moonsong Labs has built a Stone wrapper, the purpose is to facilitate seamless calling of Stone in Madara. Madara is a high-performance Starknet sequencer that provides powerful features for creating customizable and efficient application chains. This integration gives developers the flexibility and ease to create plug-and-play applications, whether at L2 or L3.

Eliminating obstacles to using Stone (1)

In While developing Madara, Moonsong Labs also integrated these features into the user-friendly one-click Stone command line interface (CLI). The CLI allows developers to enter compiled programs as well as perform program input, and in turn handle the execution of the Cario virtual machine, manage Stone's input, set the optimal Stone configuration, and return the generated proof.

Removing barriers to using Stone (2)

If Moonsong Labs' CLI makes it easy for everyone to use Stone, and Ingonyama is committed to adding GPU support to Stone, making everything done through Stone easier. The performance gains and latency improvements brought by hardware acceleration eliminate the need for cumbersome equipment to generate proofs, and Stone can even be used in a web browser.

Stone is compatible with the Rust language

Finally, it is also very important At this point, Starknet developer Thor Kampefner (@cryptograthor) launched Pebble, an ongoing "Stone compatible with Rust" project. Pebble is designed to be very flexible, with the goal of supporting scaling new features not currently available on Stone, such as easy compilation to WebAssembly and support for full zero-knowledge proofs.

Passed Working with projects within the community to build important components that support the open source Stone prover, and working on the next generation of open source Stwo provers, we are expanding the use of STARK technology solutions and driving Starknet to achieve greater decentralization. Significant progress has been made.