The Rollup Coaster is a bi-weekly newsletter that dives into the fascinating world of Ethereum, exploring the latest in rollups, zero-knowledge proofs, MEV-PBS, and much more.
Highlights
- Vitalik discussed the potential of combining crypto and AI. He categorized collaborations into areas such as AI in blockchain games, AI as a crypto interface, AI enforcing blockchain rules, and blockchain projects aimed at creating beneficial AI. The discussion emphasized the technical and ethical challenges of integration, including the risk of adversarial attacks. It also highlighted the importance of cautious implementation to leverage both technologies effectively.
- Discussions to increase the block gas limit are ongoing. Vitalik and Toni shared a research together.
- The rapid scaling that accompanied L2s resulted in fragmentation. Currently, rollups have limited communication and lack unity. Justin Drake discussed this fragmentation on Bankless episode. He argued that theses such as shared sequencing and based rollup resolve this fragmentation.
ZK and Rollup Researchs
- Two excellent papers by Ingonyama. The first article addressed some potential memory bottlenecks in Taiko's Halo2 zkEVM circuits and proposed to solve this problem by splitting the circuit into two separate parts. The second article is diving into sumcheck parallelization and introducing various algorithms for accelerating and efficiency.
- Nethermind Research introduced STARKPack: A batch-proof generation method that reduces the total proof size and verifier time for modern STARKs.
- A TEE Coprocessor: Sirrah, a mashup of Solidity and Gramine-SGX. Andrew Miller wrote it.
- Great discussion about KZG vs FRI by Starkware with the participation of Taiko, Aztec and Ulvatenna.
- Anatomy of ZK Audit by Zellic.
- New SNARK research has dropped. Reef leverages the full power of folding and lookups.
- Constant-Size zk-SNARKs in ROM from Falsifiable Assumptions. Great news for protocols that are not full-fledged SNARKs but use KZG.
ZK and Rollup Updates