A quick look at the new plan of Starknet open source prover Stone: building an application chain and reducing usage costs

Original title: "Unleashing the power of the Stone Prover"

Compiled by: "Starknet Chinese Community"

StarkWare will develop the open source prover Stwo , will Stone stagnate?

Selected Quick Facts

• Expand the Starknet community’s access to STARK technology solutions, including access to the battle-tested open source Stone prover, which is also part of Starknet’s decentralization process Core.
• While developing the next generation of Stwo provers, StarkWare is also working with outstanding teams in the Starknet ecosystem to build additional components to unlock Stone’s scaling potential.
• With these new additions, developers will be able to use Stone to build application chains on Starknet, enabling full customization of applications and reducing costs while generating proofs without the need for cumbersome equipment.

Introduction

In August 2023, StarkWare released the actually verified Stone prover - STark ONE, which is the core component of Starknet's second-layer technology stack and is expanding in Ethereum. Domains play a key role in providing the basis for transaction proof for Starknet-based dApps. The release of Stone as open source represents an important progress in decentralization of Starknet technology, and also provides the developer community with the ability to independently build applications using Stone.

In February 2024, StarkWare announced that they are developing the next generation product of STARK expansion technology: Stwo (Stark TWO). Stwo will be an efficient open source prover that will bring unprecedented performance improvements by leveraging Circle STARK and other optimizations.

Stone never stands still, and they have just launched two highly anticipated new features that will bring even more convenience and surprises to users. More details about these new features will be announced soon, so stay tuned.

StarkWare has partnered with top teams in the Starknet ecosystem to develop additional components to support developers leveraging Stone to achieve their scalability goals. This move further promotes Starknet’s decentralization process and expands community access to STARK technology solutions.

This article will introduce you to all the projects dedicated to unlocking the potential of Stone.

Promote L3 Stone Application Chain

Perhaps you 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.

Driving 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.

Integrating the Madara Sequencer with Stone

Whether you prefer L2 or L3, Moonsong Labs has built a Stone wrapper to facilitate seamless invocation 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.

Removing barriers to using Stone (1)

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 Moongsong Labs’ CLI makes it easy for everyone to use Stone, then Ingonyama is committed to adding GPU support to Stone, making it easier to use Stone through Everything Stone does is made 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

Lastly, but also very important, 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.

Summary

By collaborating 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 scope of STARK technology solutions Significant progress has been made in terms of scope of usage and pushing Starknet towards greater decentralization.

The above is the detailed content of A quick look at the new plan of Starknet open source prover Stone: building an application chain and reducing usage costs. For more information, please follow other related articles on the PHP Chinese website!