zkSync’s zkEVM Bootcamp powered by Encode Club — Summary
The zkSync zkEVM Bootcamp by Encode wrapped up on January 5th after an intensive six-week program, including a holiday break. Designed for those with a solid foundation in blockchain development and Rust, the bootcamp offered a deep dive into the world of zkEVM, Layer 2 solutions, and zero-knowledge proofs. This course was not just about learning; it was an opportunity for participants to challenge themselves and expand their understanding of complex blockchain technologies.
Throughout the Bootcamp, attendees engaged with a curriculum that spanned from the basics of L1 and L2 technologies to the intricate details of zkEVM systems. The programme was further enhanced by guest lectures from leading figures in the blockchain industry, providing real-world insights and expertise. This combination of theoretical learning and practical insights equipped participants with the knowledge and skills to navigate and innovate in the evolving landscape of blockchain technology.
One chapter is closing, another is opening—applications for Encode’s Q1 2024 Bootcamp are open!
In this bootcamp, Angela, serving as the Programme Manager, played a pivotal role in orchestrating the smooth execution of the course. Laurence, the Bootcamp teacher, alongside Coogan from Matter Labs, crafted a fantastic curriculum that was both comprehensive and challenging. This dynamic and engaging programme led to the successful graduation of over a hundred participants, each of whom now possesses a deeper understanding and practical knowledge of advanced blockchain technologies.
Learning Outcomes
- Understanding L1 Consensus Mechanisms and Data Availability: Gained a comprehensive understanding of the foundational principles of L1 technologies, including how consensus is achieved and the importance of data availability in blockchain systems.
- Mastery of L2 Fundamentals: Developed a deep knowledge of Layer 2 solutions, focusing on agnostic transaction lifecycles, critical components of L2 systems, and criteria for analyzing and comparing different L2 solutions.
- Analysis of Major zkEVM Implementations: Acquired the skills to critically analyze and compare various zkEVM implementations, understanding their unique features and applications.
- Advanced Knowledge in L2 Topics: Explored advanced L2 topics such as decentralized sequencers, privacy considerations in blockchain, and the emerging concept of hyperchains.
- Architecting zkEVM Systems: Learned the principles and practices of designing and architecting zkEVM systems, including an understanding of universal circuits, proving systems, and security considerations.
- Practical Skills in Building zkEVM Circuits: Developed hands-on experience in writing Rust circuits for zkEVM systems, enhancing practical coding skills in a blockchain context.
- Comprehensive Overview of Proving Systems: Gained a thorough understanding of various proving systems used in blockchain technologies, enhancing the ability to choose appropriate systems for different applications.
- In-Depth Knowledge of Zero-Knowledge Proofs: Delved into advanced topics in zero-knowledge proofs, including applications in machine learning and the principles of formal verification, broadening the scope of blockchain technology applications.
- Application of Machine Learning in Blockchain: Explored the intersection of machine learning and blockchain technology, understanding how these two fields can synergistically enhance each other.
- Skills in Formal Verification of Blockchain Systems: Acquired knowledge and skills in the formal verification of blockchain systems and smart contracts, ensuring their reliability and security.
Guest Lectures
Validating Bridges and “Rollups” as Scaling Solution for Cryptocurrencies
In this insightful workshop led by Patrick McCorry from the Arbitrum Foundation, participants delved into the critical role of bridges and rollups in enhancing the scalability of cryptocurrencies. McCorry, with his expertise in blockchain technology, provided a comprehensive overview of how these solutions function and their significance in the current cryptocurrency landscape. The workshop focused on the technical aspects of validating these mechanisms, offering a deep dive into their operational intricacies and the challenges involved. Attendees gained valuable knowledge on the practical applications and potential of bridges and rollups, equipping them with a better understanding of these pivotal scaling solutions.
Public <> Private Composability
In the workshop “Public <> Private Composability,” Josh Crites from Aztec Labs provided a detailed overview of Aztec’s approach to blending privacy with public blockchain functionality. Focusing on the platform’s commitment to privacy, he explained the importance of private transactions in a public setting. The session covered the key features of Aztec, including its innovative methods for maintaining private states on a public blockchain. Attendees gained insights into the technicalities of achieving privacy in blockchain, understanding the intricacies of Aztec’s system and the broader implications for blockchain technology.
zkEVM Security
In the “zkEVM Security” workshop, Porter Adams from Matter Labs offered an analysis of the security aspects in zkEVM environments. He meticulously broke down the zkEVM transaction lifecycle, emphasizing how Layer 2 solutions, such as zkEVM, inherently leverage the robust security framework of Ethereum. The session delved into critical topics like forced transaction inclusion, outlining scenarios like proposer failure and state transition failure. He also explored the concept of trusted execution environments, discussing their role and impact in ensuring the integrity and security of transactions within the zkEVM framework. Participants left with a nuanced understanding of the various layers of security that safeguard the zkEVM ecosystem, appreciating the complexities and solutions that contribute to its resilience and reliability.
Scaling Blockchains with Validity Proofs
Henri Lieutaud from the Starknet Foundation provided an in-depth exploration of the cutting-edge technologies driving blockchain scalability. He introduced the concept of provable code, a foundational element in creating more efficient and secure networks. He delved into Cairo, explaining its role as a programming language specifically designed for creating these provable codes. The session also covered Starknet, highlighting its implementation and significance in the blockchain ecosystem. Participants gained a clearer understanding of how these technologies, particularly in the realm of validity proofs, are pivotal in scaling blockchains while maintaining security and efficiency.
A Deeper Look at a High-Level Technical Overview of Linea
Emily Lin and Alexandre Belling from Linea offered a detailed examination of Linea’s technology and its journey towards becoming a type 2 zkEVM. They provided a clear explanation of what Linea is, emphasizing its unique position and potential in the blockchain space. The session delved into the technical path of Linea’s prover, giving attendees a closer look at the intricate processes involved. Topics like arithmetization were also discussed, shedding light on the complex mechanisms that underpin Linea’s functionality. This workshop offered participants a comprehensive understanding of Linea’s architecture and its contributions to advancing the capabilities of zkEVMs.
Boojum
Attendees were introduced to the intriguing world of Boojum and its role in the realm of proof systems. Oles Holembovskyy began by defining what Boojum is, setting the stage for a deeper exploration into its functionalities and applications. He then guided the participants through the foundational aspects of building proof systems.
The workshop further delved into the specifics of Boojum arithmetization, providing clarity on how this process is integral to the functioning of Boojum. He also discussed the copy-permutation argument, a concept central to understanding the efficiency and security of Boojum’s system. Additionally, the session covered the intricacies of gates and their placement, crucial for the optimal performance of Boojum in various applications. This workshop offered a comprehensive look at Boojum, enhancing participants’ understanding of advanced proof systems in blockchain technology.
Learn About RISC Zero ZKVM and Zeth
In the workshop Iryna Tsimashenka from RISC Zero provided a comprehensive overview of RISC Zero’s contributions to the space, particularly focusing on their zkEVM and two main products: zkVM and Bonsai. She began by introducing what RISC Zero is, setting the context for its innovative approach to blockchain technology.
She delved into the specifics of RISC Zero’s zkVM, explaining how it integrates with their products to enhance blockchain efficiency and security. The workshop provided an in-depth look at the architecture of zkVM, highlighting its unique features and capabilities. Additionally, she presented a walkthrough of factors, a practical example that illustrated the application and functionality of RISC Zero’s technology in real-world scenarios. This session offered participants valuable insights into the advanced technologies of RISC Zero, deepening their understanding of the evolving landscape of blockchain solutions.
Scroll and zkEVM and Proving System
Ye Zhang from Scroll provided a detailed exploration of Scroll’s role in advancing zkEVM technology. He started by introducing Scroll, explaining its purpose and significance in the broader context of blockchain and zero-knowledge proofs.
He focused on the technical aspects of zkEVM circuit arithmetization. He discussed the intricacies involved in this process, offering insights into how it contributes to the overall functionality of zkEVMs. The workshop also covered zkEVM prover optimization. This session gave participants a deeper understanding of Scroll’s innovative contributions to zkEVM development and the proving systems that support them.
Testimonials
Apply for Encode’s Q1 Bootcamps
In the first quarter of 2024, we opened applications for the:
- ZK Bootcamp
- AI Foundation Bootcamp
- Expert Solidity Bootcamp
- Solidity Bootcamp
Read the official announcement below and apply!
About zkSync
zkSync Era is a Layer-2 protocol that scales Ethereum with cutting-edge ZK tech, not only to merely increase Ethereum’s throughput but to fully preserve its foundational values — freedom, self-sovereignty, decentralization — at scale.
About Encode Club
Encode Club is a web3 education community learning and building together through fantastic programmes with the leading protocols in the space. Together we organise programmes like education series, bootcamps, hackathons, accelerators both online and in person. We then help our community get jobs and funding for projects and startups.
Questions
If you have any questions, please email: bootcamp@encode.club
