Community & education
Aleph de Verano
Crecimiento
A 2-week gathering in Buenos Aires, Argentina comprising a ZK and fully homomorphic encryption (FHE) bootcamp, a hackathon, demo day, and discussions on DeFi, infrastructure, governance, and regulations.
Community & education
Aleph ZK Week
A 3-day symposium conducted during the Aleph pop-up city in Buenos Aires, Argentina, that went in-depth into programmable cryptography, multi-party computation (MPC), FHE, and decentralized identity systems.
Community & education
Algebraic Aspects in the Design and Cryptanalysis of Modern Symmetric Cryptography (ALPSY) 2025
An investigative workshop that brings together specialists in arithmetic-focused symmetric-key primitives and their cryptanalysis to stimulate partnerships on critical research challenges, which includes focused sessions on Poseidon.
Community & education
bETHink Hackathon
A hackathon held in Shanghai, China concentrating on reconstructing social trust systems, open-source and public goods, as well as human verification.
Community & education
Bucharest Ethereum Hub
ETH Bucharest
Facilitating activities conducted at the local Ethereum hub in Bucharest, Romania which includes hackathons, meetups, a Solidity bootcamp, and a module for universities.
Community & education
Blockchain Foundations Textbook
Dionysis Zindros
Revising the Blockchain Foundations textbook with sections on PoS and accountability, intended for a course at the University of Athens.
Community & education
Cohort-Based Ethereum Education Program
BlockHeader Web3
Cohort-based Solidity instruction and hackathon in Kaduna, Nigeria.
Community & education
DeFi Security Summit
An event hosted in Bangkok, Thailand, focused on the education and technological advancements in securing decentralized applications built on blockchain technology.
Community & education
Devcon Satellite Events
Financing round aimed at supporting events that highlight Devcon SEA programming or experiences.
Community & education
EOF V1 Educational Materials in Chinese
Hung-Ying Tai
Articles and video tutorials in Mandarin Chinese to elaborate on the specifics of the proposed EOF v1 (EIP-7692) and related foundational knowledge.
Twitter, Email
Community & education
ETH Belgrade
ETH Belgrade University and community projects, involving gatherings in Serbia and additional Balkan nations, talks at the University of Belgrade, and classes on Solidity, security, and ZK.
Email
Community & learning
Ethereum Cypherpunk Congress
Web3Privacy Now
Cypherpunk symposium held in Bangkok, Thailand, that explored topics including practical privacy, self-sovereignty tools, the ethical role of cryptography, and the political landscape of Ethereum.
Community & education
Ethereum Day Series – Mysteries of the Blockchain
Black Ice Hackerspace
A series of gatherings organized in Kazakhstan discussing subjects like privacy, security, and the EVM.
Community & education
Ethereum Hackathon Support & Archives
Alina Latinina
Offering community development and operational assistance to Ethereum hackathon planners while recording the process to build hackathon archives.
Community & education
Ethereum Melbourne
A series of local Ethereum gatherings taking place in Melbourne, Australia. These meetings emphasize topics such as EVM security, account abstraction, and MEV.
Community & education
Ethereum Security Research Bootcamp
Guild Audits
Complimentary security developer training initiative in Nigeria conducted via lectures, events, and hackathons.
Community & education
Ethereum Slovenia
Monthly gatherings focusing on topics such as infrastructure, security, and developer tools, along with quarterly events designed to enhance collaboration among web3 companies and motivate web2 firms to join the web3 ecosystem.
Community & education
ETHIndia
Devfolio
Hackathon held in Bengaluru, India aimed at creating decentralized applications for the future of India.
Community & education
ETH Kipu
A collection of community and education programs planned for 2025, encompassing a learning hub, staking initiatives, Kipu Impact, and the yearly ETH Latam conference.
Community & education
Formal Verification of ZKP Workshop
ZKProof
Workshop uniting formal verification specialists to promote teamwork, exchange knowledge, and push forward formal verification endeavors in ZKP systems.
Community & education
Latincrypt 2025
A week-long cryptography-centered event that will include the Latincrypt conference along with educational activities like ASCrypto and CatioCrypt in Medellín, Colombia.
“““html
Developing user-centric documentation that clarifies Hashcaster’s computational principles and constructing an open-source version to encourage community engagement and the investigation of possible CPU enhancements. Twitter, Email Consensus layer libp2p libp2p Foundation Ongoing enhancement of libp2p and backing for various libp2p advancements essential to the Ethereum roadmap. Consensus layer Enhancing Merkle Proving in ssz-rs Håvard Anda Winninge Improving the performance of merkleization for ssz-rs by analyzing alternative merkleization libraries, establishing solid benchmarks to evaluate performance enhancements, and transitioning to Prysm’s hashtree library to boost hashing effectiveness. Consensus layer Transaction Fee System for Inclusion Lists Nethermind Creating a transaction fee system for inclusion lists that will aid researchers in grasping the value flow throughout the Ethereum network, potentially affecting user experience and the efficiency of FOCIL. Consensus layer Vero Serenita Upgrading Vero to get ready for the Pectra network enhancement and to cater to popular community demands, while contributing to commonly used community tools for testing, managing, and overseeing Vero prior to and during the Pectra update. Twitter, Telegram Cryptography & zero knowledge proofs Authenticated Garbling MPZ Nakul Khambhati Integrating authenticated garbling in MPZ to augment ongoing initiatives aimed at extending MPZ for fortified malicious security. Cryptography & zero knowledge proofs Blockchain Powered eSIM Dungeon, Manul Singh Parihar, & GuyPhy4 Mobile-oriented hardware crypto wallet utilizing eSIMs featuring remote provisioning for accessibility. Cryptography & zero knowledge proofs Commit-and-prove Lookup Research Chaya Ganesh Investigation into commit-and-prove lookup with the aim of enhancing and refining the modularity of SNARK and STARK architectures. Cryptography & zero knowledge proofs Community Link Embedded Software Engineer Giammarco Casanova Comprehensive stack engineer for Community Link, concentrating on boosting wireless connectivity while providing knowledge in cryptography to connect the divide between connectivity and smart contracts. Please be aware that this project has been discontinued by PSE, you can check this page for additional details. Cryptography & zero knowledge proofs Community Link & Pollen Labs Smart Contract Engineer geeloko Crafted smart contracts grounded in real user insights, community demands, and collaborated intimately with fellow engineers from the Community Link and Pollen Labs groups. Please note that these initiatives have been
“`sunset by PSE, you may explore this page for additional details. Cryptography & zero knowledge proofs Cursive Connections Cursive Creation and deployment of a privacy-enhancing application, trialed at Edge City Lanna and Devcon, which utilizes cryptographic operations on confidential data to reveal significant connections among users without disclosing any information publicly. Cryptography & zero knowledge proofs Cursive Design Contributions Tessa Maneewong Design contributions for Cursive‘s autumn activities, including the Devcon “Cryptographic Connections” exhibit and production/print materials. Cryptography & zero knowledge proofs Cursive Technical Contributions Steven Elleman Technical contributions to Cursive Connections, aiding in the establishment of a production-ready application. Cryptography & zero knowledge proofs ECIES Implementation in Circom Crema Creating a secure and effective ECIES encryption framework in Circom with ZKP capabilities and formulating an example application for the ECIES protocol. Twitter Cryptography & zero knowledge proofs cLean zkSecurity Building a system in Lean to compose circuits and confirm that they satisfy a specific criterion, aiming to illustrate an AIR arithmetization and precompiles beneficial to RISC-V zkVMs. Cryptography & zero knowledge proofs Mobile edDSA Key Management Library Yash Goyal Investigating the practicality and establishment of a secure, reusable mobile library for the management of edDSA keys. Cryptography & zero knowledge proofs mopro Hao-Chen Tsai, Fu-Chuan Chung, Yaroslav Yashin, & Oskar Toolkit developed for ZKPs that harnesses the expanding capabilities of mobile GPUs to offer a rapid, scalable, and secure proving process directly within client applications. Cryptography & zero knowledge proofs Multilateral Trade Credit Set-off in MPC via Graph Anonymization and Network Simplex Masato Tsutsumi (co-author) Contribution to the paper by formulating an MPC algorithm that effectively handles the minimum cost flow issue in a privacy-preserving manner. Cryptography & zero knowledge proofs OpenPassport Identity wallet that enables users to generate privacy-preserving proofs from government-issued identification such as passports. Cryptography & zero knowledge proofs Pollen Labs Core Contributor Nicole Yeh Non-technical examination and project oversight for Pollen Labs. Be informed that this initiative has been concluded by PSE, you can explore this section for additional details. Cryptography & zero knowledge proofs PSE Impact Framework Research LauNaMu Collaboratively defining tangible impact parameters and metrics that will empower PSE teams to evaluate their achievements and assist them in enhancing their immediate and strategic plans to generate real-world effects. Cryptography & zero knowledge proofs Quantum Computer Canary Kanguk Lee Exploring the potential dangers that quantum computing presents to the Ethereum crypto framework, offering a comprehensive introduction to the mathematics and terminology surrounding quantum algorithms, as well as mechanical explanations of their functions. Cryptography & zero knowledge proofs Replicating circom-MP-SPDZ to Support MOTION Generating documentation for MOTION and duplicating circom-MP-SPDZ to circom-MOTION. Cryptography & zero knowledge proofs Replicating circom-MP-SPDZ to Support tfhe-rs Vishal Kulkarni & Changmin Cho Producing extensive documentation for tfhe-rs and modifying circom-MP-SPDZ to circom-tfhe-rs. Cryptography & zero knowledge proofs Semaphore Modular Smart Contract Validator Module Jimmy Chu Constructing a Semaphore ERC-7579 validator module and frontend demonstration that allows users to implement the module in their smart accounts, incorporate members (identity commitments) into the Semaphore collective, and execute ZKPs on testnet. Twitter, Telegram Cryptography & zero knowledge proofs Semaphore Paymaster Jihoon Song & Alfredo Bonilla Open-source utilities and modular components, comprising a Semaphore paymaster and frontend elements, meticulously crafted for developing account abstraction applications. Cryptography & zero knowledge proofs zkintro Oskar Papers focused on ZK and programmable cryptography aimed at connecting the ZK community with a wider public lacking or having minimal insight into crypto and ZK. Cryptography & zero knowledge proofs ZK IR Veridise Creating an Intermediate Representation (IR) for circuit languages to tackle the disunity present in the circuit ecosystem, concentrating on building the initial ZK IR library that is linked with a proof-of-concept frontend and validation backend. Email Cryptography & zero knowledge proofs zkLean “`html
Galois Creating a Lean DSL for defining ZK statements and a utility to automatically transition Jolt’s statements into this DSL. James’ Email, Decker’s Email Cryptography & zero knowledge proofs ZKLib Gregor Mitscha-Baude (zkSecurity) & Devon Tuma Developing a Lean library for formally verified cryptographic proof systems that utilize Interactive Oracle Proofs (IOPs). Cryptography & zero knowledge proofs ZK Research Engineering Study Group A group of developers based in Nigeria concentrating on researching, implementing, and educating about the fundamentals of ZK protocols to onboard both novice and experienced ZK research engineers. Cryptography & zero knowledge proofs ZK & Attestation Research EAS Foundation Investigating the links between attestations and ZK to guide the possible creation of open-source tools for producing proofs based on attestations. Twitter, Telegram Developer experience & tooling Aderyn Cyfrin Open-source, Rust-centric Solidity smart contract static analyzer, aimed at assisting protocol engineers and security analysts in identifying weaknesses in Solidity codebases. Developer experience & tooling Sail to Lean University of Cambridge, Galois, & Lindy Labs Facilitating the employment of RISC-V semantics defined in Sail for validating zkVMs, making the Lean backend available to the broader formal methods community and supplying extracted semantics for teams checking RISC-V zkVMs. Developer experience & tooling Sonatina Enhancements Lane Biocini Creating formal semantics for Sonatina, a Rust-based compiler backend, aiming to attain formal verification at the level of Sonatina’s IR to improve security, efficiency, and reliability in smart contract production on the Ethereum platform. Email Developer experience & tooling tevm Will Cory TypeScript (TS) library intended to enhance current EVM-TS browser tools by offering typesafe low-level EVM tools for running bytecode in TS and allowing the aggregation of Solidity Application Binary Interfaces (ABIs) into TS. Developer experience & tooling txtx Ludo Galabru & Micaiah Reid A tool to simplify and manage multi-EVM-chain smart contract deployment and functionality, inclusive of integrations with Hardhat and Foundry. Developer experience & tooling Verification of revm using KEVM & Lean Backend for K Runtime Verification Verifying the precision of revm when converted to RISC-V, in accordance with KEVM (the formal description of the EVM created in K), and constructing a Lean backend for K. Developer experience & tools Web3j Web3 Labs A lightweight, incredibly modular, reactive, and typesafe Java and Android library designed for engaging with smart contracts and integrating with clients (nodes) on the Ethereum ecosystem. Execution layer Besu Stateless Implementation ConsenSys Contributions towards statelessness research and development, encompassing specification/design efforts and Besu implementations. Execution layer Certified Compilation with Precompiles Bas Spitters (Aarhus University) Facilitating a 3-year initiative at Aarhus University, where a PhD candidate will focus on certified compilation using precompiles applicable to the EVM and zkVMs. Execution layer EIP-7736 Prototype Wei Han Ng Creating a prototype for EIP-7736, a streamlined and elegant suggestion to utilize verkle trees for state expiry implementation. Discord/Telegram: @ngweihan_eth Execution layer EVM in Coq Karl Palmskog (KTH) & Bas Spitters (Aarhus University) Crafting a canonical, maintainable, and validated EVM specification in Coq that will serve as a foundation for a verified RISC-V implementation of the EVM specification via certified compilation. Execution layer karalabe-ssz Fuzzer DongHyeon Hwang Investigating and constructing an efficient fuzzer aimed at assessing the serialization and deserialization operations in Go-based karalabe-ssz. Execution layer ROP-14: Transaction Fee Market Design for Parallel Execution Lioba Heimbach & Andrei Constantinescu Creating a transaction fee market for Ethereum that facilitates parallel execution by pricing transactions based on resource usage and demand. Execution layer Zevem Jordan Ellis Coppard Extending Zevem, the EVM designed with Zig, to accommodate all existing commands and stateless gas costs. General research Crystal-Clear CHAINS Research Group at KTH An investigative endeavor aimed at mapping the connections among smart contracts while monitoring modifications to enhance security. General research Optimization of Honest Block Building ALPACAS Research Group at HKUST Research
“`into the enhancement of transparent block creation (no toxic MEV) to optimize overall gas costs, utilizing gas dependency correlations among transactions, the sparsity within gas dependency networks, and the development of a parameterized methodology for optimization. General inquiry Restaking Economic Framework CADLabs Creating a public, open-source modeling simulation to assess cryptoeconomic security and the yield/risk metrics within the restaking protocol environment. Email Indirect sponsorship Devcon SEA Quadratic Voting Round Quadratic voting phase to bolster essential Ethereum dashboards that aid the community in comprehending pertinent Ethereum data. Each Devcon SEA participant was offered the chance to cast their vote. Indirect sponsorship Ethereum TGU Academia QV Round Public funding initiative utilizing MACI Platform focused on engaging and integrating university sectors in Tegucigalpa, Honduras, centering on projects in research, education, social betterment, and academia that promote blockchain adoption. Layer 2 Blob-Sharing Protocol for Based Rollups Nethermind Creating a blob-sharing instrument for based rollups, which will entail establishing a standard for organizing L2 blocks of various rollups within a collective blob, a standard in the L2 inboxes for processing the shared blob, and executing test scenarios to confirm the design. Layer 2 growthepie Broadening metrics to encompass the Ethereum network and integrating contracts deployed to Ethereum into their contract labeling framework, allowing users to juxtapose Ethereum L1 chain statistics with L2s. Other DeFRIDA Nethermind Innovative data availability sampling procedure for L2 applications and light clients. Other European Crypto Initiative (EUCI) Assistance for EUCI’s blockchain advocacy endeavors in the EU. Other Formal Verification Model of revm in Coq Formal Land Creating a Coq rendition of revm for formal verification, with evaluations to contrast the Coq and Rust iterations encompassing each instruction and proof that the formalization of revm aligns with the Rust source code. Twitter, LinkedIn, Blog Other Foundation for American Innovation Support for the Foundation for American Innovation’s ongoing efforts on blockchain, decentralization, and privacy policy studies and advocacy.
“`html
Community & education Mempool Sage Fan Zhang Public resource framework that gathers, retains, and examines the Ethereum mempool information for academic purposes. Community & education Modular Festival 2025 Modular Crypto Event taking place in Belo Horizonte, Brazil that will investigate subjects like L2s, staking, and ZK, featuring a conference, hackathon, and debate championship. Community & education Programmable Cryptography Research Seminar 0xPARC Programmable cryptography seminar organized during the Research Workshop and Symposium in Stanford that pinpointed essential research priorities and deliberated on crucial issues in the industry. Community & education The Red Guild Fortifying Ethereum’s ecosystem stability through security research, educational initiatives, and public consciousness campaigns. Community & education Path to Devcon Grants Round Grants round aimed at facilitating the expansion of local Ethereum communities, initiatives, and projects in Southeast Asia. Community & education SEED Organization Executing a variety of community-development programs in Argentina and Latin America, including SEEDLatam, SEEDNodes, and more. Community & education Student Research at KTH Royal Institute of Technology Financial support for students engaged in blockchain research at the KTH Royal Institute of Technology. Community & education Women in Blockchain Conference Blockchain & Web3 Community Network Event held in Lusaka, Zambia that showcased discussions by women in tech sectors, emphasizing the transformative potential of blockchain and Ethereum in Africa and the crucial contributions of women to this endeavor. Community & education Yul Puzzles RareSkills Collection of 80 challenges designed for individuals to become adept at writing Yul assembly, where users complete a code segment and check if the unit tests succeed. Twitter Community & education ZKProof 7 ZKProof Event centered on ZK standardization efforts featuring an entire day committed to the zkEVM formal verification initiative, conducted in Sofia, Bulgaria. Consensus layer Integrating Logic & Consensus through Semitopologies Murdoch Gabbay Employing semitopologies to devise novel declarative techniques for specifying and reasoning about consensus protocols. Consensus layer Hashcaster Exploration Thomas Coratger“““html
Developing user-centric documentation that clarifies Hashcaster’s computational principles and constructing an open-source version to encourage community engagement and the investigation of possible CPU enhancements. Twitter, Email Consensus layer libp2p libp2p Foundation Ongoing enhancement of libp2p and backing for various libp2p advancements essential to the Ethereum roadmap. Consensus layer Enhancing Merkle Proving in ssz-rs Håvard Anda Winninge Improving the performance of merkleization for ssz-rs by analyzing alternative merkleization libraries, establishing solid benchmarks to evaluate performance enhancements, and transitioning to Prysm’s hashtree library to boost hashing effectiveness. Consensus layer Transaction Fee System for Inclusion Lists Nethermind Creating a transaction fee system for inclusion lists that will aid researchers in grasping the value flow throughout the Ethereum network, potentially affecting user experience and the efficiency of FOCIL. Consensus layer Vero Serenita Upgrading Vero to get ready for the Pectra network enhancement and to cater to popular community demands, while contributing to commonly used community tools for testing, managing, and overseeing Vero prior to and during the Pectra update. Twitter, Telegram Cryptography & zero knowledge proofs Authenticated Garbling MPZ Nakul Khambhati Integrating authenticated garbling in MPZ to augment ongoing initiatives aimed at extending MPZ for fortified malicious security. Cryptography & zero knowledge proofs Blockchain Powered eSIM Dungeon, Manul Singh Parihar, & GuyPhy4 Mobile-oriented hardware crypto wallet utilizing eSIMs featuring remote provisioning for accessibility. Cryptography & zero knowledge proofs Commit-and-prove Lookup Research Chaya Ganesh Investigation into commit-and-prove lookup with the aim of enhancing and refining the modularity of SNARK and STARK architectures. Cryptography & zero knowledge proofs Community Link Embedded Software Engineer Giammarco Casanova Comprehensive stack engineer for Community Link, concentrating on boosting wireless connectivity while providing knowledge in cryptography to connect the divide between connectivity and smart contracts. Please be aware that this project has been discontinued by PSE, you can check this page for additional details. Cryptography & zero knowledge proofs Community Link & Pollen Labs Smart Contract Engineer geeloko Crafted smart contracts grounded in real user insights, community demands, and collaborated intimately with fellow engineers from the Community Link and Pollen Labs groups. Please note that these initiatives have been
“`sunset by PSE, you may explore this page for additional details. Cryptography & zero knowledge proofs Cursive Connections Cursive Creation and deployment of a privacy-enhancing application, trialed at Edge City Lanna and Devcon, which utilizes cryptographic operations on confidential data to reveal significant connections among users without disclosing any information publicly. Cryptography & zero knowledge proofs Cursive Design Contributions Tessa Maneewong Design contributions for Cursive‘s autumn activities, including the Devcon “Cryptographic Connections” exhibit and production/print materials. Cryptography & zero knowledge proofs Cursive Technical Contributions Steven Elleman Technical contributions to Cursive Connections, aiding in the establishment of a production-ready application. Cryptography & zero knowledge proofs ECIES Implementation in Circom Crema Creating a secure and effective ECIES encryption framework in Circom with ZKP capabilities and formulating an example application for the ECIES protocol. Twitter Cryptography & zero knowledge proofs cLean zkSecurity Building a system in Lean to compose circuits and confirm that they satisfy a specific criterion, aiming to illustrate an AIR arithmetization and precompiles beneficial to RISC-V zkVMs. Cryptography & zero knowledge proofs Mobile edDSA Key Management Library Yash Goyal Investigating the practicality and establishment of a secure, reusable mobile library for the management of edDSA keys. Cryptography & zero knowledge proofs mopro Hao-Chen Tsai, Fu-Chuan Chung, Yaroslav Yashin, & Oskar Toolkit developed for ZKPs that harnesses the expanding capabilities of mobile GPUs to offer a rapid, scalable, and secure proving process directly within client applications. Cryptography & zero knowledge proofs Multilateral Trade Credit Set-off in MPC via Graph Anonymization and Network Simplex Masato Tsutsumi (co-author) Contribution to the paper by formulating an MPC algorithm that effectively handles the minimum cost flow issue in a privacy-preserving manner. Cryptography & zero knowledge proofs OpenPassport Identity wallet that enables users to generate privacy-preserving proofs from government-issued identification such as passports. Cryptography & zero knowledge proofs Pollen Labs Core Contributor Nicole Yeh Non-technical examination and project oversight for Pollen Labs. Be informed that this initiative has been concluded by PSE, you can explore this section for additional details. Cryptography & zero knowledge proofs PSE Impact Framework Research LauNaMu Collaboratively defining tangible impact parameters and metrics that will empower PSE teams to evaluate their achievements and assist them in enhancing their immediate and strategic plans to generate real-world effects. Cryptography & zero knowledge proofs Quantum Computer Canary Kanguk Lee Exploring the potential dangers that quantum computing presents to the Ethereum crypto framework, offering a comprehensive introduction to the mathematics and terminology surrounding quantum algorithms, as well as mechanical explanations of their functions. Cryptography & zero knowledge proofs Replicating circom-MP-SPDZ to Support MOTION Generating documentation for MOTION and duplicating circom-MP-SPDZ to circom-MOTION. Cryptography & zero knowledge proofs Replicating circom-MP-SPDZ to Support tfhe-rs Vishal Kulkarni & Changmin Cho Producing extensive documentation for tfhe-rs and modifying circom-MP-SPDZ to circom-tfhe-rs. Cryptography & zero knowledge proofs Semaphore Modular Smart Contract Validator Module Jimmy Chu Constructing a Semaphore ERC-7579 validator module and frontend demonstration that allows users to implement the module in their smart accounts, incorporate members (identity commitments) into the Semaphore collective, and execute ZKPs on testnet. Twitter, Telegram Cryptography & zero knowledge proofs Semaphore Paymaster Jihoon Song & Alfredo Bonilla Open-source utilities and modular components, comprising a Semaphore paymaster and frontend elements, meticulously crafted for developing account abstraction applications. Cryptography & zero knowledge proofs zkintro Oskar Papers focused on ZK and programmable cryptography aimed at connecting the ZK community with a wider public lacking or having minimal insight into crypto and ZK. Cryptography & zero knowledge proofs ZK IR Veridise Creating an Intermediate Representation (IR) for circuit languages to tackle the disunity present in the circuit ecosystem, concentrating on building the initial ZK IR library that is linked with a proof-of-concept frontend and validation backend. Email Cryptography & zero knowledge proofs zkLean “`html
Galois Creating a Lean DSL for defining ZK statements and a utility to automatically transition Jolt’s statements into this DSL. James’ Email, Decker’s Email Cryptography & zero knowledge proofs ZKLib Gregor Mitscha-Baude (zkSecurity) & Devon Tuma Developing a Lean library for formally verified cryptographic proof systems that utilize Interactive Oracle Proofs (IOPs). Cryptography & zero knowledge proofs ZK Research Engineering Study Group A group of developers based in Nigeria concentrating on researching, implementing, and educating about the fundamentals of ZK protocols to onboard both novice and experienced ZK research engineers. Cryptography & zero knowledge proofs ZK & Attestation Research EAS Foundation Investigating the links between attestations and ZK to guide the possible creation of open-source tools for producing proofs based on attestations. Twitter, Telegram Developer experience & tooling Aderyn Cyfrin Open-source, Rust-centric Solidity smart contract static analyzer, aimed at assisting protocol engineers and security analysts in identifying weaknesses in Solidity codebases. Developer experience & tooling Sail to Lean University of Cambridge, Galois, & Lindy Labs Facilitating the employment of RISC-V semantics defined in Sail for validating zkVMs, making the Lean backend available to the broader formal methods community and supplying extracted semantics for teams checking RISC-V zkVMs. Developer experience & tooling Sonatina Enhancements Lane Biocini Creating formal semantics for Sonatina, a Rust-based compiler backend, aiming to attain formal verification at the level of Sonatina’s IR to improve security, efficiency, and reliability in smart contract production on the Ethereum platform. Email Developer experience & tooling tevm Will Cory TypeScript (TS) library intended to enhance current EVM-TS browser tools by offering typesafe low-level EVM tools for running bytecode in TS and allowing the aggregation of Solidity Application Binary Interfaces (ABIs) into TS. Developer experience & tooling txtx Ludo Galabru & Micaiah Reid A tool to simplify and manage multi-EVM-chain smart contract deployment and functionality, inclusive of integrations with Hardhat and Foundry. Developer experience & tooling Verification of revm using KEVM & Lean Backend for K Runtime Verification Verifying the precision of revm when converted to RISC-V, in accordance with KEVM (the formal description of the EVM created in K), and constructing a Lean backend for K. Developer experience & tools Web3j Web3 Labs A lightweight, incredibly modular, reactive, and typesafe Java and Android library designed for engaging with smart contracts and integrating with clients (nodes) on the Ethereum ecosystem. Execution layer Besu Stateless Implementation ConsenSys Contributions towards statelessness research and development, encompassing specification/design efforts and Besu implementations. Execution layer Certified Compilation with Precompiles Bas Spitters (Aarhus University) Facilitating a 3-year initiative at Aarhus University, where a PhD candidate will focus on certified compilation using precompiles applicable to the EVM and zkVMs. Execution layer EIP-7736 Prototype Wei Han Ng Creating a prototype for EIP-7736, a streamlined and elegant suggestion to utilize verkle trees for state expiry implementation. Discord/Telegram: @ngweihan_eth Execution layer EVM in Coq Karl Palmskog (KTH) & Bas Spitters (Aarhus University) Crafting a canonical, maintainable, and validated EVM specification in Coq that will serve as a foundation for a verified RISC-V implementation of the EVM specification via certified compilation. Execution layer karalabe-ssz Fuzzer DongHyeon Hwang Investigating and constructing an efficient fuzzer aimed at assessing the serialization and deserialization operations in Go-based karalabe-ssz. Execution layer ROP-14: Transaction Fee Market Design for Parallel Execution Lioba Heimbach & Andrei Constantinescu Creating a transaction fee market for Ethereum that facilitates parallel execution by pricing transactions based on resource usage and demand. Execution layer Zevem Jordan Ellis Coppard Extending Zevem, the EVM designed with Zig, to accommodate all existing commands and stateless gas costs. General research Crystal-Clear CHAINS Research Group at KTH An investigative endeavor aimed at mapping the connections among smart contracts while monitoring modifications to enhance security. General research Optimization of Honest Block Building ALPACAS Research Group at HKUST Research
“`into the enhancement of transparent block creation (no toxic MEV) to optimize overall gas costs, utilizing gas dependency correlations among transactions, the sparsity within gas dependency networks, and the development of a parameterized methodology for optimization. General inquiry Restaking Economic Framework CADLabs Creating a public, open-source modeling simulation to assess cryptoeconomic security and the yield/risk metrics within the restaking protocol environment. Email Indirect sponsorship Devcon SEA Quadratic Voting Round Quadratic voting phase to bolster essential Ethereum dashboards that aid the community in comprehending pertinent Ethereum data. Each Devcon SEA participant was offered the chance to cast their vote. Indirect sponsorship Ethereum TGU Academia QV Round Public funding initiative utilizing MACI Platform focused on engaging and integrating university sectors in Tegucigalpa, Honduras, centering on projects in research, education, social betterment, and academia that promote blockchain adoption. Layer 2 Blob-Sharing Protocol for Based Rollups Nethermind Creating a blob-sharing instrument for based rollups, which will entail establishing a standard for organizing L2 blocks of various rollups within a collective blob, a standard in the L2 inboxes for processing the shared blob, and executing test scenarios to confirm the design. Layer 2 growthepie Broadening metrics to encompass the Ethereum network and integrating contracts deployed to Ethereum into their contract labeling framework, allowing users to juxtapose Ethereum L1 chain statistics with L2s. Other DeFRIDA Nethermind Innovative data availability sampling procedure for L2 applications and light clients. Other European Crypto Initiative (EUCI) Assistance for EUCI’s blockchain advocacy endeavors in the EU. Other Formal Verification Model of revm in Coq Formal Land Creating a Coq rendition of revm for formal verification, with evaluations to contrast the Coq and Rust iterations encompassing each instruction and proof that the formalization of revm aligns with the Rust source code. Twitter, LinkedIn, Blog Other Foundation for American Innovation Support for the Foundation for American Innovation’s ongoing efforts on blockchain, decentralization, and privacy policy studies and advocacy.
