TL;DR
- Cairo Verifier on Starknet: Herodotus and StarkWare develop a verifier for Starknet, streamlining level 3 blockchains.
- Improved Efficiency: Reduces costs and latency on the blockchain, driving decentralized applications.
- Proven Advances: Functional prototype and successful tests ensure viability of the Cairo Verifier.
The Starknet development team has excitedly announced the upcoming arrival of Cairo Verifier, a tool that will enable the verification of cryptographic proofs directly on the network.
The result of a collaboration between Herodotus and StarkWare, this verifier will facilitate the validation of Cairo proofs on the network, thus opening the doors to the creation of application-specific blockchains at level 3 on Starknet.
Time to unlock L3!
We are excited to announce that the launch of a Cairo Verifier on Starknet is coming soon!
Following a collaboration between @HerodotusDev and @StarkWareLtd, the Cairo verifier will enable the verification of Cairo proofs directly on Starknet.
This means:… pic.twitter.com/IPTFHeQXxz
— Starknet 🦇🔊 (@Starknet) February 8, 2024
This technological advancement represents a significant milestone in the Starknet ecosystem by addressing several key challenges.
One of the main benefits of the Cairo Verifier is the reduction of verification costs and decreased latency, paving the way for the expansion of decentralized applications on the network.
Additionally, this system will allow developers to implement verifiable calculations using STARKs, a type of test developed by StarkWare, to improve the security of applications at level 3.
The development process has reached important milestones, with a working prototype of the Cairo Verifier already underway and plans for its launch in the coming weeks.
The team has conducted successful testing, verifying a test produced by the Stone Prover, demonstrating the progress made so far.
Additionally, additional optimizations are being carried out to ensure optimal performance.
The importance of this Starknet innovation cannot be underestimated
It will not only expand the project capabilities by enabling the creation of new application-specific blockchains, but will also significantly improve the efficiency and accessibility of the network for developers and users.
By verifying proofs directly on the network, dependency on the Ethereum mainnet is eliminated, simplifying the process and reducing associated costs.
The Cairo Verifier represents a step forward in the ecosystem scalability and functionality.
Its arrival promises to unlock a new level of innovation in decentralized application development, while addressing fundamental challenges in the blockchain space.
With the collaboration between Herodotus and StarkWare, and continued work on optimizations and improvements, the future of Starknet looks brighter than ever.
