EF Ecosystem Support Program
@ef-esp.bsky.social
@ethereum.foundation Ecosystem Support Program | Learn more or submit a support inquiry at http://esp.ethereum.foundation
1/ As decentralized identity grows in importance, Ethereum needs a current, well-documented, and verifiable identity standard
That’s why we’re aiming to bring did:ethr to full maturity in our RFP:
⚡ Advancing the did:ethr Method Specification ⚡
Apply by January 3, 2026 👇
That’s why we’re aiming to bring did:ethr to full maturity in our RFP:
⚡ Advancing the did:ethr Method Specification ⚡
Apply by January 3, 2026 👇
December 11, 2025 at 3:22 PM
1/ As decentralized identity grows in importance, Ethereum needs a current, well-documented, and verifiable identity standard
That’s why we’re aiming to bring did:ethr to full maturity in our RFP:
⚡ Advancing the did:ethr Method Specification ⚡
Apply by January 3, 2026 👇
That’s why we’re aiming to bring did:ethr to full maturity in our RFP:
⚡ Advancing the did:ethr Method Specification ⚡
Apply by January 3, 2026 👇
🎊 Grant Announcement: Kaggle Competition for AI/LLM Detection of Smart Contract Vulnerabilities by OneSavie Lab!
Dataset curation & preparation, development of evaluation methods, & promotion to onboard crypto security talent & non-crypto AI/LLM talent.
Learn more below 👇
x.com/onesavielab/...
Dataset curation & preparation, development of evaluation methods, & promotion to onboard crypto security talent & non-crypto AI/LLM talent.
Learn more below 👇
x.com/onesavielab/...
x.com
December 8, 2025 at 1:58 PM
🎊 Grant Announcement: Kaggle Competition for AI/LLM Detection of Smart Contract Vulnerabilities by OneSavie Lab!
Dataset curation & preparation, development of evaluation methods, & promotion to onboard crypto security talent & non-crypto AI/LLM talent.
Learn more below 👇
x.com/onesavielab/...
Dataset curation & preparation, development of evaluation methods, & promotion to onboard crypto security talent & non-crypto AI/LLM talent.
Learn more below 👇
x.com/onesavielab/...
Q3 2025 was full of fresh ideas and community momentum 🌐✨
Explore the projects @ethereum.foundation teams awarded grants to last quarter and the work they’re driving forward in our blog post below!
blog.ethereum.org/2025/12/02/a...
Explore the projects @ethereum.foundation teams awarded grants to last quarter and the work they’re driving forward in our blog post below!
blog.ethereum.org/2025/12/02/a...
Allocation Update - Q3 2025 | Ethereum Foundation Blog
blog.ethereum.org
December 2, 2025 at 4:04 PM
Q3 2025 was full of fresh ideas and community momentum 🌐✨
Explore the projects @ethereum.foundation teams awarded grants to last quarter and the work they’re driving forward in our blog post below!
blog.ethereum.org/2025/12/02/a...
Explore the projects @ethereum.foundation teams awarded grants to last quarter and the work they’re driving forward in our blog post below!
blog.ethereum.org/2025/12/02/a...
💥 Check out the latest progress from one of our Q1 2025 grantees!
The Nethermind Security team is unveiling CertiPlonk, a framework for extracting Plonky3 constraints and verifying their correctness in Lean.
Dive into their full update in the thread below 👇
x.com/NethermindSe...
The Nethermind Security team is unveiling CertiPlonk, a framework for extracting Plonky3 constraints and verifying their correctness in Lean.
Dive into their full update in the thread below 👇
x.com/NethermindSe...
Nethermind Security on X: "The Nethermind Formal Verification team is introducing CertiPlonk, a framework for extracting Plonky3 constraints & verifying their correctness in @leanprover. CertiPlonk verifies circuit correctness without code changes. Supported by a grant from @ethereumfndn. More info ⬇️ https://t.co/Dm8ri53pdV" / X
The Nethermind Formal Verification team is introducing CertiPlonk, a framework for extracting Plonky3 constraints & verifying their correctness in @leanprover. CertiPlonk verifies circuit correctness without code changes. Supported by a grant from @ethereumfndn. More info ⬇️ https://t.co/Dm8ri53pdV
x.com
November 22, 2025 at 1:00 AM
💥 Check out the latest progress from one of our Q1 2025 grantees!
The Nethermind Security team is unveiling CertiPlonk, a framework for extracting Plonky3 constraints and verifying their correctness in Lean.
Dive into their full update in the thread below 👇
x.com/NethermindSe...
The Nethermind Security team is unveiling CertiPlonk, a framework for extracting Plonky3 constraints and verifying their correctness in Lean.
Dive into their full update in the thread below 👇
x.com/NethermindSe...
1/ 🤖 Can AI make Ethereum safer?
We're exploring how LLMs can automate auditing, specification compliance, and code analyses in our RFP:
⚡️ Integrating LLMs into Ethereum Protocol Security Research ⚡️
Dive deeper and apply by February 3, 2026 👇
esp.ethereum.foundation/applicants/r...
We're exploring how LLMs can automate auditing, specification compliance, and code analyses in our RFP:
⚡️ Integrating LLMs into Ethereum Protocol Security Research ⚡️
Dive deeper and apply by February 3, 2026 👇
esp.ethereum.foundation/applicants/r...
Apply for Integrating LLMs into Ethereum Protocol Security Research | Ethereum Foundation ESP
Submit your application for: Integrating LLMs into Ethereum Protocol Security Research - An RFP to design and implement tools that apply large language models (LLMs) to Ethereum protocol security rese...
esp.ethereum.foundation
November 12, 2025 at 3:15 PM
1/ 🤖 Can AI make Ethereum safer?
We're exploring how LLMs can automate auditing, specification compliance, and code analyses in our RFP:
⚡️ Integrating LLMs into Ethereum Protocol Security Research ⚡️
Dive deeper and apply by February 3, 2026 👇
esp.ethereum.foundation/applicants/r...
We're exploring how LLMs can automate auditing, specification compliance, and code analyses in our RFP:
⚡️ Integrating LLMs into Ethereum Protocol Security Research ⚡️
Dive deeper and apply by February 3, 2026 👇
esp.ethereum.foundation/applicants/r...
💡 Academic Grants Round Announcement: Open-Source Tool Development for Automated Vulnerability Detection in Ethereum Transaction Propagation by Yibo Wang & Yuzhe Tang!
Design & implement an automated, stateful fuzzing framework to detect vulnerabilities in Ethereum’s transaction propagation layer.
Design & implement an automated, stateful fuzzing framework to detect vulnerabilities in Ethereum’s transaction propagation layer.
November 12, 2025 at 3:44 AM
💡 Academic Grants Round Announcement: Open-Source Tool Development for Automated Vulnerability Detection in Ethereum Transaction Propagation by Yibo Wang & Yuzhe Tang!
Design & implement an automated, stateful fuzzing framework to detect vulnerabilities in Ethereum’s transaction propagation layer.
Design & implement an automated, stateful fuzzing framework to detect vulnerabilities in Ethereum’s transaction propagation layer.
1/ 🎊 Grant Announcement: OpenRPC!
Co-funding a 6-month sprint to update OpenRPC, making it easier for developers, tooling, and infrastructure providers to build on Ethereum with consistent, open standards.
open-rpc.org
Co-funding a 6-month sprint to update OpenRPC, making it easier for developers, tooling, and infrastructure providers to build on Ethereum with consistent, open standards.
open-rpc.org
OpenRPC
A standard, programming language-agnostic interface description for JSON-RPC 2.0 APIs
open-rpc.org
November 10, 2025 at 9:17 PM
1/ 🎊 Grant Announcement: OpenRPC!
Co-funding a 6-month sprint to update OpenRPC, making it easier for developers, tooling, and infrastructure providers to build on Ethereum with consistent, open standards.
open-rpc.org
Co-funding a 6-month sprint to update OpenRPC, making it easier for developers, tooling, and infrastructure providers to build on Ethereum with consistent, open standards.
open-rpc.org
🎊 Grant Announcement: Constantine PeerDAS by Mamy Ratsimbazafy!
Replicating the interfaces defined in c-kzg-4844 v2.1.1 and making them available in C, Go, Nim, and Rust, along with extending Constantine's existing Ethereum KZG support to include PeerDAS.
github.com/mratsim/cons...
Replicating the interfaces defined in c-kzg-4844 v2.1.1 and making them available in C, Go, Nim, and Rust, along with extending Constantine's existing Ethereum KZG support to include PeerDAS.
github.com/mratsim/cons...
GitHub - mratsim/constantine: Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols. - mratsim/constantine
github.com
November 10, 2025 at 6:15 AM
🎊 Grant Announcement: Constantine PeerDAS by Mamy Ratsimbazafy!
Replicating the interfaces defined in c-kzg-4844 v2.1.1 and making them available in C, Go, Nim, and Rust, along with extending Constantine's existing Ethereum KZG support to include PeerDAS.
github.com/mratsim/cons...
Replicating the interfaces defined in c-kzg-4844 v2.1.1 and making them available in C, Go, Nim, and Rust, along with extending Constantine's existing Ethereum KZG support to include PeerDAS.
github.com/mratsim/cons...
💡 Academic Grants Round Announcement: Protecting Block-Validation Service Against DoS Attacks by Yuzhe Tang!
Building automated tools to detect denial-of-block-building-service vulnerabilities, and designing secure, lightweight validation mechanisms resilient to resource exhaustion attacks.
Building automated tools to detect denial-of-block-building-service vulnerabilities, and designing secure, lightweight validation mechanisms resilient to resource exhaustion attacks.
November 8, 2025 at 1:21 PM
💡 Academic Grants Round Announcement: Protecting Block-Validation Service Against DoS Attacks by Yuzhe Tang!
Building automated tools to detect denial-of-block-building-service vulnerabilities, and designing secure, lightweight validation mechanisms resilient to resource exhaustion attacks.
Building automated tools to detect denial-of-block-building-service vulnerabilities, and designing secure, lightweight validation mechanisms resilient to resource exhaustion attacks.
1/ Ethereum’s strength comes from decentralization, but RPC access hasn’t fully caught up yet
We’re looking for builders to dive into this with our Wishlist item:
⭐️ Decentralized RPC Access for Developers & End Users ⭐️
Learn more and apply below 👇
esp.ethereum.foundation/applicants/w...
We’re looking for builders to dive into this with our Wishlist item:
⭐️ Decentralized RPC Access for Developers & End Users ⭐️
Learn more and apply below 👇
esp.ethereum.foundation/applicants/w...
Apply for Decentralized RPC Access for Developers and End Users | Ethereum Foundation ESP
Submit your application for: Decentralized RPC Access for Developers and End Users - Ethereum’s default access layer still relies heavily on centralized RPC providers, which serve most wallets, dapps,...
esp.ethereum.foundation
November 6, 2025 at 3:20 PM
1/ Ethereum’s strength comes from decentralization, but RPC access hasn’t fully caught up yet
We’re looking for builders to dive into this with our Wishlist item:
⭐️ Decentralized RPC Access for Developers & End Users ⭐️
Learn more and apply below 👇
esp.ethereum.foundation/applicants/w...
We’re looking for builders to dive into this with our Wishlist item:
⭐️ Decentralized RPC Access for Developers & End Users ⭐️
Learn more and apply below 👇
esp.ethereum.foundation/applicants/w...
1/ ESP’s grant applications are now OPEN! ✨
Our new grants program is structured through two pathways:
💡 Wishlist
🎯 Requests for Proposals (RFPs)
Explore the new opportunities and apply below!
esp.ethereum.foundation/applicants
Our new grants program is structured through two pathways:
💡 Wishlist
🎯 Requests for Proposals (RFPs)
Explore the new opportunities and apply below!
esp.ethereum.foundation/applicants
Applicants Overview | Ethereum Foundation ESP
Information about the Ecosystem Support Program's mission, scope, and support we offer.
esp.ethereum.foundation
November 3, 2025 at 2:10 PM
1/ ESP’s grant applications are now OPEN! ✨
Our new grants program is structured through two pathways:
💡 Wishlist
🎯 Requests for Proposals (RFPs)
Explore the new opportunities and apply below!
esp.ethereum.foundation/applicants
Our new grants program is structured through two pathways:
💡 Wishlist
🎯 Requests for Proposals (RFPs)
Explore the new opportunities and apply below!
esp.ethereum.foundation/applicants
1/ 🎊 Grant Announcement: Phantom Zone!
Building Phantom (encrypted RISC-V virtual machine that executes encrypted RISC-V binaries on encrypted inputs), and Poulpy (fast and modular FHE library written in Rust).
Building Phantom (encrypted RISC-V virtual machine that executes encrypted RISC-V binaries on encrypted inputs), and Poulpy (fast and modular FHE library written in Rust).
October 22, 2025 at 2:33 AM
1/ 🎊 Grant Announcement: Phantom Zone!
Building Phantom (encrypted RISC-V virtual machine that executes encrypted RISC-V binaries on encrypted inputs), and Poulpy (fast and modular FHE library written in Rust).
Building Phantom (encrypted RISC-V virtual machine that executes encrypted RISC-V binaries on encrypted inputs), and Poulpy (fast and modular FHE library written in Rust).
🎊 Grant Announcement: PBS Foundation!
Continued stewardship of the MEV ecosystem, including coordination across the MEV ecosystem for current and future hard forks, along with R&D for mev-boost and mev-boost-relay that supports hard fork development.
Continued stewardship of the MEV ecosystem, including coordination across the MEV ecosystem for current and future hard forks, along with R&D for mev-boost and mev-boost-relay that supports hard fork development.
October 21, 2025 at 4:05 AM
🎊 Grant Announcement: PBS Foundation!
Continued stewardship of the MEV ecosystem, including coordination across the MEV ecosystem for current and future hard forks, along with R&D for mev-boost and mev-boost-relay that supports hard fork development.
Continued stewardship of the MEV ecosystem, including coordination across the MEV ecosystem for current and future hard forks, along with R&D for mev-boost and mev-boost-relay that supports hard fork development.
1/ 💡 Academic Grants Round Announcement: Staking Economics by Joel Hasbrouck & Fahad Saleh!
Analyzing how the staking reward curve affects equilibrium staking by developing a structural econometric model of ETH and LST joint price dynamics.
Analyzing how the staking reward curve affects equilibrium staking by developing a structural econometric model of ETH and LST joint price dynamics.
October 20, 2025 at 1:06 PM
1/ 💡 Academic Grants Round Announcement: Staking Economics by Joel Hasbrouck & Fahad Saleh!
Analyzing how the staking reward curve affects equilibrium staking by developing a structural econometric model of ETH and LST joint price dynamics.
Analyzing how the staking reward curve affects equilibrium staking by developing a structural econometric model of ETH and LST joint price dynamics.
Reposted by EF Ecosystem Support Program
We’re excited to kick off stage 2 of our project to verify the Jolt zkVM! Thank you to the Ethereum Foundation Ecosystem Support Program for the grant to fund this effort.
Check out our post from January to learn more about the project: www.galois.com/articles/tow...
Check out our post from January to learn more about the project: www.galois.com/articles/tow...
Towards a verified Jolt zkVM
www.galois.com
October 6, 2025 at 5:05 PM
We’re excited to kick off stage 2 of our project to verify the Jolt zkVM! Thank you to the Ethereum Foundation Ecosystem Support Program for the grant to fund this effort.
Check out our post from January to learn more about the project: www.galois.com/articles/tow...
Check out our post from January to learn more about the project: www.galois.com/articles/tow...
🎊 Grant Announcement: Walletbeat!
Open-repository of EVM-compatible wallets, providing reviews to help ensure the Ethereum wallet ecosystem remains competitive, interoperable, and upholds Ethereum values.
github.com/walletbeat/w...
Open-repository of EVM-compatible wallets, providing reviews to help ensure the Ethereum wallet ecosystem remains competitive, interoperable, and upholds Ethereum values.
github.com/walletbeat/w...
GitHub - walletbeat/walletbeat: An open repository of EVM-compatible wallets.
An open repository of EVM-compatible wallets. Contribute to walletbeat/walletbeat development by creating an account on GitHub.
github.com
October 6, 2025 at 12:33 PM
🎊 Grant Announcement: Walletbeat!
Open-repository of EVM-compatible wallets, providing reviews to help ensure the Ethereum wallet ecosystem remains competitive, interoperable, and upholds Ethereum values.
github.com/walletbeat/w...
Open-repository of EVM-compatible wallets, providing reviews to help ensure the Ethereum wallet ecosystem remains competitive, interoperable, and upholds Ethereum values.
github.com/walletbeat/w...
What are preconfirmations and why do they matter for Ethereum? 🤔
Our Q2 2025 grantees Conor McMenamin and Lin Oshitani unpack it all in their open Systematization of Knowledge—exploring the theory, implementations, critiques, and open questions.
📖 Read the pull paper:
github.com/NethermindEt...
Our Q2 2025 grantees Conor McMenamin and Lin Oshitani unpack it all in their open Systematization of Knowledge—exploring the theory, implementations, critiques, and open questions.
📖 Read the pull paper:
github.com/NethermindEt...
github.com
October 6, 2025 at 7:19 AM
What are preconfirmations and why do they matter for Ethereum? 🤔
Our Q2 2025 grantees Conor McMenamin and Lin Oshitani unpack it all in their open Systematization of Knowledge—exploring the theory, implementations, critiques, and open questions.
📖 Read the pull paper:
github.com/NethermindEt...
Our Q2 2025 grantees Conor McMenamin and Lin Oshitani unpack it all in their open Systematization of Knowledge—exploring the theory, implementations, critiques, and open questions.
📖 Read the pull paper:
github.com/NethermindEt...
🎉 Funded in Q2 2024, now live: rrelayer!
An open-source relayer built in Rust which can be used for gasless transactions, transaction migrations, L2 proof transactions, blob storage transactions, and more.
Explore below 👇
x.com/devjoshsteve...
An open-source relayer built in Rust which can be used for gasless transactions, transaction migrations, L2 proof transactions, blob storage transactions, and more.
Explore below 👇
x.com/devjoshsteve...
x.com
October 2, 2025 at 7:41 AM
🎉 Funded in Q2 2024, now live: rrelayer!
An open-source relayer built in Rust which can be used for gasless transactions, transaction migrations, L2 proof transactions, blob storage transactions, and more.
Explore below 👇
x.com/devjoshsteve...
An open-source relayer built in Rust which can be used for gasless transactions, transaction migrations, L2 proof transactions, blob storage transactions, and more.
Explore below 👇
x.com/devjoshsteve...
🚨 Blockchain forensics, decoded
ETH Rangers Program grantee SomaXBT has published 4 deep-dive articles unpacking:
🔎 How investigations work
⚡ The challenges investigators face
🛠️ How to solve them
Dive into them through the tweet thread below 👇
x.com/somaxbt/stat...
ETH Rangers Program grantee SomaXBT has published 4 deep-dive articles unpacking:
🔎 How investigations work
⚡ The challenges investigators face
🛠️ How to solve them
Dive into them through the tweet thread below 👇
x.com/somaxbt/stat...
x.com
September 25, 2025 at 6:52 AM
🚨 Blockchain forensics, decoded
ETH Rangers Program grantee SomaXBT has published 4 deep-dive articles unpacking:
🔎 How investigations work
⚡ The challenges investigators face
🛠️ How to solve them
Dive into them through the tweet thread below 👇
x.com/somaxbt/stat...
ETH Rangers Program grantee SomaXBT has published 4 deep-dive articles unpacking:
🔎 How investigations work
⚡ The challenges investigators face
🛠️ How to solve them
Dive into them through the tweet thread below 👇
x.com/somaxbt/stat...
Our grantee @formalland.bsky.social is pushing ZK research forward again! 🚀
Their blog post explains how to formally verify the completeness of ZK circuits, ensuring that a valid witness for any possible input is always accepted.
formal.land/blog/2025/09...
Their blog post explains how to formally verify the completeness of ZK circuits, ensuring that a valid witness for any possible input is always accepted.
formal.land/blog/2025/09...
🥷 Verification of the completeness of an OpenVM chip | Formal Land
In our previous blog post 🥷 Formal verification of an OpenVM chip, we have seen how to verify the determinism of the branch_eq chip of OpenVM. Now, we will see how to verify its completeness, meaning ...
formal.land
September 24, 2025 at 2:13 AM
Our grantee @formalland.bsky.social is pushing ZK research forward again! 🚀
Their blog post explains how to formally verify the completeness of ZK circuits, ensuring that a valid witness for any possible input is always accepted.
formal.land/blog/2025/09...
Their blog post explains how to formally verify the completeness of ZK circuits, ensuring that a valid witness for any possible input is always accepted.
formal.land/blog/2025/09...
🎊 Grant Announcement: EthereumJS Maintenance & Development!
Maintenance and evolution of the EthereumJS monorepo’s core libraries, ensuring the packages remain reliable, secure, and up-to-date with the latest protocol changes.
github.com/ethereumjs/e...
Maintenance and evolution of the EthereumJS monorepo’s core libraries, ensuring the packages remain reliable, secure, and up-to-date with the latest protocol changes.
github.com/ethereumjs/e...
GitHub - ethereumjs/ethereumjs-monorepo: Ethereum L1 Protocol Stack and EVM in TypeScript
Ethereum L1 Protocol Stack and EVM in TypeScript. Contribute to ethereumjs/ethereumjs-monorepo development by creating an account on GitHub.
github.com
September 23, 2025 at 1:37 AM
🎊 Grant Announcement: EthereumJS Maintenance & Development!
Maintenance and evolution of the EthereumJS monorepo’s core libraries, ensuring the packages remain reliable, secure, and up-to-date with the latest protocol changes.
github.com/ethereumjs/e...
Maintenance and evolution of the EthereumJS monorepo’s core libraries, ensuring the packages remain reliable, secure, and up-to-date with the latest protocol changes.
github.com/ethereumjs/e...
🎊 Grant Announcement: ArkLib Contributions by Logical Intelligence!
Formally verifying ZK protocols through contributing some proofs to ArkLib github.com/Verified-zkE..., including formalization of core theorems from the Ligero paper.
github.com/logical-inte...
Formally verifying ZK protocols through contributing some proofs to ArkLib github.com/Verified-zkE..., including formalization of core theorems from the Ligero paper.
github.com/logical-inte...
GitHub - Verified-zkEVM/ArkLib: Formally Verified Arguments of Knowledge in Lean
Formally Verified Arguments of Knowledge in Lean. Contribute to Verified-zkEVM/ArkLib development by creating an account on GitHub.
github.com
September 22, 2025 at 3:45 PM
🎊 Grant Announcement: ArkLib Contributions by Logical Intelligence!
Formally verifying ZK protocols through contributing some proofs to ArkLib github.com/Verified-zkE..., including formalization of core theorems from the Ligero paper.
github.com/logical-inte...
Formally verifying ZK protocols through contributing some proofs to ArkLib github.com/Verified-zkE..., including formalization of core theorems from the Ligero paper.
github.com/logical-inte...
Debugging in Solidity just got a boost ⚡
Q2 2024 grantees Zhuo Zhang and William Cheung are reimagining the developer experience by improving the debugging process in smart contract development!
👉 See their latest updates: x.com/i2huer/statu...
Q2 2024 grantees Zhuo Zhang and William Cheung are reimagining the developer experience by improving the debugging process in smart contract development!
👉 See their latest updates: x.com/i2huer/statu...
Zhuo Zhang on X: "1/10 @troublor says wait, but I can't. Can't wait. We are builting an Ethereum debugger with 1) true source-level stepping, 2) near-100% local/state variable inspection, and 3) on-the-fly Solidity expression eval at any step. Screenshots below; details in the thread. https://t.co/BYpk6eXQ4r" / X
1/10 @troublor says wait, but I can't. Can't wait. We are builting an Ethereum debugger with 1) true source-level stepping, 2) near-100% local/state variable inspection, and 3) on-the-fly Solidity expression eval at any step. Screenshots below; details in the thread. https://t.co/BYpk6eXQ4r
x.com
September 22, 2025 at 1:45 AM
Debugging in Solidity just got a boost ⚡
Q2 2024 grantees Zhuo Zhang and William Cheung are reimagining the developer experience by improving the debugging process in smart contract development!
👉 See their latest updates: x.com/i2huer/statu...
Q2 2024 grantees Zhuo Zhang and William Cheung are reimagining the developer experience by improving the debugging process in smart contract development!
👉 See their latest updates: x.com/i2huer/statu...
✨ New work from our grantee @formalland.bsky.social, formally verifying ZK circuits for zkVMs!
Their new blog post presents how to pretty-print the constraints from a Plonky3 circuit, ensuring their modeling is correct.
formal.land/blog/2025/08...
Their new blog post presents how to pretty-print the constraints from a Plonky3 circuit, ensuring their modeling is correct.
formal.land/blog/2025/08...
🥷 Pretty-printing of Rust ZK constraints | Formal Land
Many zkVMs are implemented in Rust, using the Plonky3 library to describe their circuits. While Rust is efficient and expressive for describing complex circuits, it is a complex language when it comes...
formal.land
September 18, 2025 at 1:33 PM
✨ New work from our grantee @formalland.bsky.social, formally verifying ZK circuits for zkVMs!
Their new blog post presents how to pretty-print the constraints from a Plonky3 circuit, ensuring their modeling is correct.
formal.land/blog/2025/08...
Their new blog post presents how to pretty-print the constraints from a Plonky3 circuit, ensuring their modeling is correct.
formal.land/blog/2025/08...
🚀 Sponsorship Announcement: ETHShanghai 2025!
Summit and hackathon in Shanghai, China with cutting-edge tracks on AI x Ethereum, DeFi x Infrastructure, and Public Goods x Open-Source Development.
Hackathon 👉🏻 luma.com/n2gwlgkx
Summit 👉🏻 luma.com/n11m5knq
Summit and hackathon in Shanghai, China with cutting-edge tracks on AI x Ethereum, DeFi x Infrastructure, and Public Goods x Open-Source Development.
Hackathon 👉🏻 luma.com/n2gwlgkx
Summit 👉🏻 luma.com/n11m5knq
ETHShanghai 2025 Hackathon · Luma
ETHShanghai 2025 Hackathon
Scaling Ethereum · Shaping the Open Future
Location:Shanghai, China
Dates: October 18-21, 2025
🌐 为什么是 ETH…
luma.com
September 18, 2025 at 8:03 AM
🚀 Sponsorship Announcement: ETHShanghai 2025!
Summit and hackathon in Shanghai, China with cutting-edge tracks on AI x Ethereum, DeFi x Infrastructure, and Public Goods x Open-Source Development.
Hackathon 👉🏻 luma.com/n2gwlgkx
Summit 👉🏻 luma.com/n11m5knq
Summit and hackathon in Shanghai, China with cutting-edge tracks on AI x Ethereum, DeFi x Infrastructure, and Public Goods x Open-Source Development.
Hackathon 👉🏻 luma.com/n2gwlgkx
Summit 👉🏻 luma.com/n11m5knq