In this Starknet community call, the discussion focuses on recursion, a key feature that promises to enhance the scalability and efficiency of the Starknet ecosystem. The call features Henry, Avihu, Shahar Papini, and Shahar Samaha, who delve into the concept of recursion and its practical applications.
Key Points:
1. Introduction to Recursion:
– Recursion in the context of Starknet involves verifying proofs through another layer of proofs, allowing for the aggregation of multiple proofs into a single, smaller proof. This method can significantly reduce latency and increase capacity.
2. How Recursion Works:
– Shahar Papini explained that he is working on writing Cairo code that verifies a Stark proof, which is essentially the same as what the current verifier does in Solidity. Shahar Samaha discussed how SHARP (Shared Prover) has been adapted to use this recursive verifier, allowing the system to prove and verify proofs internally before settling on a blockchain like Ethereum.
3. Benefits of Recursion:
– Recursion allows for parallelization, where multiple proofs can be processed simultaneously and then aggregated. This leads to increased efficiency, particularly in handling multiple transactions or blocks.
– The ability to verify proofs within the system itself rather than immediately sending them to the blockchain reduces costs and speeds up the process.
4. Practical Implementations:
– The team has already implemented a Proof of Concept (PoC) for recursion on the Görli testnet, mirroring the production environment of Starknet. This PoC demonstrates that recursion is not just a theoretical concept but is close to being fully operational.
5. Future Roadmap:
– Within the next few months, the team expects to implement recursion in Starknet’s mainnet, significantly improving the efficiency of the prover. This will be followed by more advanced uses of recursion, potentially leading to the development of Layer 3 solutions that can settle on Starknet, further decentralizing and expanding the network.
6. Long-term Vision:
– Over the next few years, recursion could enable more sophisticated cross-chain communication and client-side proofs, paving the way for innovative applications such as privacy-preserving transactions and atomic swaps across different blockchain networks.
The call concludes with an open Q&A session, where the participants emphasize the potential of recursion to revolutionize how Starknet and other blockchain ecosystems handle proofs and scalability. The community is encouraged to stay engaged as these developments unfold.
