Home Tags Posts tagged with "Smart Contracts"
Tag:

Smart Contracts

Ethereum & Smart Contracts

Devcon 8 Tickets Are Officially Live As The Global Ethereum Community Prepares To Converge On Mumbai

by Muslim
written by Muslim

The Ethereum Foundation has officially opened ticket sales for Devcon 8, the eighth installment of the flagship Ethereum developer conference, which is scheduled to take place this November in Mumbai, India. This event serves as the primary gathering for the global Ethereum ecosystem, bringing together researchers, developers, protocol maintainers, and open-source advocates to discuss the future of decentralized technology. Following the tradition of previous iterations, Devcon 8 aims to foster a collaborative environment, focusing on scaling, security, and the long-term sustainability of the Ethereum network.

The launch of ticket sales marks a significant milestone in the conference planning cycle, signaling that the event’s programming and logistics are nearing their final stages. With the Ethereum network continuing to undergo critical transitions—most notably the ongoing roadmap toward Danksharding and the maturation of Layer 2 scaling solutions—the community expects this year’s gathering to be a focal point for high-level technical discourse.

A Chronology of the Devcon Series

The Devcon series has long served as the heartbeat of the Ethereum project. The inaugural event, Devcon 0, took place in London in 2014, shortly after the initial crowdsale of Ether. Since then, the conference has traveled across the globe, from Shanghai and Cancun to Prague and Osaka, reflecting the decentralized and borderless nature of the community it serves.

Devcon 8 arrives at a pivotal moment in the industry’s history. Unlike previous years, which often focused on the transition from Proof-of-Work to Proof-of-Stake, the current narrative is centered on real-world adoption, zero-knowledge proof integration, and the solidification of institutional-grade infrastructure. Organizers have noted that this year’s edition is designed to be more intimate and focused than previous iterations, prioritizing deep-dive technical workshops and collaborative problem-solving over large-scale exhibition displays.

Ticket Tiers and Accessibility Initiatives

The Ethereum Foundation has implemented a multi-tiered ticketing strategy designed to ensure that the event remains accessible to the core contributors who sustain the network. General Admission tickets, which are available to the public without an application process, were released on July 14. To manage demand and reward early commitment, these tickets are sold in waves, with prices increasing as the event approaches.

Recognizing the global economic diversity of the blockchain community, the Foundation has also introduced a robust suite of discounted tickets. These are specifically reserved for Indian residents, students, public-goods contributors, and core developers. By removing financial barriers for these cohorts, the organizers aim to ensure that the individuals doing the most foundational work on Ethereum—often in non-profit or volunteer capacities—are physically present to share their insights.

These community-focused tickets are non-transferable, a measure intended to prevent secondary market exploitation and ensure that seats are occupied by the intended recipients. Furthermore, the application process for student and builder discounts is conducted in rolling batches, encouraging prospective attendees to submit their credentials well in advance of the conference dates.

The Role of Community Hubs and Impact Programs

A defining feature of Devcon 8 is the return of Community Hubs. These spaces are dedicated to grassroots initiatives, allowing diverse groups to host their own workshops, roundtables, and onboarding sessions. The criteria for these hubs are strict: they must be community-led, educational in nature, and strictly free from corporate branding or project-specific marketing. This focus on "neutral" territory is a cornerstone of the Ethereum Foundation’s philosophy, ensuring that the conference remains a venue for advancement rather than a trade show for commercial entities.

Complementing this are the Supporters and Impact Programs. These initiatives invite ecosystem projects to take a formal role in the conference’s structure. The Supporters Program allows for meaningful engagement from teams whose work aligns with the "CROPS" (Core, Reliable, Open, Private, and Sustainable) principles. Meanwhile, the Impact Program is tailored for Free and Open Source Software (FOSS) projects and non-profits, providing them with subsidized access and platforms to showcase their contributions to the public good.

Technical Tracks and Academic Rigor

The conference program is structured around nine distinct tracks, covering the breadth of the current blockchain landscape. These tracks include, but are not limited to, Core Protocol, Applied Cryptography, Privacy, Security, Open Source, and Governance. With a projected attendance of over 10,000 individuals, the volume of knowledge transfer is expected to be significant.

Speaker applications remain open until August 6, 2026. The selection process is notably meritocratic, with no "pay-to-play" speaker bureau or invite-only lists. By opening the stage to anyone with a substantive contribution, the Foundation ensures that the conference remains a platform for merit-based innovation. Successful applicants receive a complimentary ticket, further lowering the barrier for researchers and independent developers to contribute to the global discourse.

Economic and Strategic Implications

Hosting Devcon in Mumbai highlights the growing importance of the Indian developer market. India has emerged as one of the world’s largest hubs for blockchain talent, with a high concentration of developers contributing to both core infrastructure and decentralized applications. By bringing the conference to this region, the Ethereum Foundation is effectively acknowledging the shift in the global center of gravity for web3 development.

From an economic perspective, the event is expected to generate significant local impact in Mumbai, not only through hospitality and tourism but also by stimulating local developer meetups and educational initiatives leading up to the conference. Analysts suggest that the "Devcon effect"—the tendency for local blockchain activity to spike in the host city following the event—could accelerate the adoption of Ethereum-based solutions within the Indian fintech and government sectors.

A Call for Collaborative Innovation

The emphasis of Devcon 8 is on the collective future of open technology. The Foundation has made it clear that the goal is not merely to showcase existing products, but to interrogate the challenges ahead. As the Ethereum network scales, the complexity of maintaining decentralization while increasing throughput remains the central technical hurdle.

The inclusion of sessions on privacy and governance is particularly timely. With increasing regulatory scrutiny globally, the community is focusing on how to build systems that are both compliant with local laws and resilient against censorship. These conversations are not expected to result in immediate consensus, but rather to establish the parameters for the next phase of Ethereum’s development.

Conclusion and Looking Forward

As the countdown to November begins, the logistical focus will shift to the coordination of thousands of attendees, speakers, and volunteers. The Ethereum Foundation has urged participants to secure their spots early, noting that availability is strictly capped to maintain the desired intimacy of the event.

For those unable to attend in person, the Foundation has historically provided high-quality documentation and recordings of the sessions, ensuring that the knowledge shared in Mumbai is accessible to the entire global community. As the industry matures, the importance of these gatherings cannot be overstated. They remain the few instances where the disparate, pseudonymous, and global workforce of Ethereum meets in a physical space to define the trajectory of the world’s largest programmable blockchain.

The transition toward a more inclusive, globally distributed, and technically rigorous conference model serves as a microcosm for the Ethereum network itself: constantly evolving, increasingly focused on public goods, and fundamentally dependent on the diverse voices of its contributors. Whether through a General Admission ticket or an application for a builder’s discount, the opportunity to shape the next chapter of the Ethereum roadmap is now officially open.

0 comment
0 FacebookTwitterPinterestEmail
Ethereum & Smart Contracts

Pcaversaccio joins the Ethereum Foundation Board to strengthen core values and strategic oversight

by Nana
written by Nana

The Ethereum Foundation (EF) has officially announced the appointment of the prominent ecosystem contributor known as pcaversaccio (pc) to its Board of Directors. This strategic addition signals a concerted effort by the Foundation to solidify its commitment to foundational blockchain principles, including censorship resistance, privacy, and open-source development. As the Ethereum network continues to evolve toward complex scaling solutions and heightened security requirements, the inclusion of a seasoned security advocate and ideological strategist is viewed as a pivotal move for the organization’s long-term governance.

Governance Structure and Board Composition

The Ethereum Foundation, established to support the development of the Ethereum protocol and ecosystem, operates under the stewardship of a specialized Board of Directors. Following the induction of pcaversaccio, the board now consists of four key figures: Aya Miyaguchi, who serves as the President of the Foundation; Vitalik Buterin, the co-founder of Ethereum; Patrick Storchenegger, the Foundation’s Swiss legal counsel; and the newly appointed pcaversaccio.

The appointment is structured as an initial one-year term, served on a voluntary basis. This governance model reflects the Foundation’s long-standing preference for lean, mission-aligned leadership. According to the EF Mandate—a foundational document released earlier this year to clarify the organization’s operational boundaries—the board is tasked with setting the high-level vision and ensuring that management’s strategic decisions remain tethered to the Foundation’s core values. Beyond high-level strategy, the board acts as a security council, tasked with protecting the "heart and soul" of the Ethereum ecosystem while ensuring strict compliance with Swiss legal requirements, as the Foundation is incorporated in Switzerland.

Background and Contributions of pcaversaccio

The selection of pcaversaccio is not a surprise to close observers of the Ethereum ecosystem. For years, pc has been an active voice in technical discussions and a prolific contributor to the security infrastructure of the network. Perhaps most notably, pc is a co-founder and lead of SEAL 911, an emergency response initiative that provides critical assistance to projects facing security threats or smart contract vulnerabilities. This role has made pc a central figure in the ecosystem’s "security first" movement.

Furthermore, pc has been an active member of the EF’s Silviculture Society. This group operates as an informal advisory body to the Foundation, dedicated to the preservation of Ethereum’s "core values." Through this society, pc has advocated for the importance of maintaining decentralization, permissionless access, and robust privacy protections in the face of increasing regulatory and commercial pressures.

Beyond hands-on security work, pc has established themselves as an intellectual leader in the space. In 2024, they authored The Ethereum Cypherpunk Manifesto, a contemporary adaptation of Eric Hughes’ seminal 1993 work. The manifesto serves as a philosophical bridge between the early cypherpunk movement—which prioritized encryption and digital anonymity—and the current challenges facing public blockchains. In 2025, pc followed this with Ethereum Privacy: The Road to Self-Sovereignty, a comprehensive look at how the protocol can maintain user confidentiality without sacrificing the transparency required for institutional adoption.

The Evolution of the Ethereum Foundation

The history of the Ethereum Foundation has been one of gradual professionalization. From its inception in 2014, the Foundation has navigated the transition from a small research group to a global organization supporting one of the world’s most valuable digital assets.

  • 2014–2016: The Foundation focused on the initial launch of the network and the establishment of legal entities in Switzerland to ensure regulatory stability.
  • 2017–2020: As Ethereum grew, the Foundation shifted toward funding grants and supporting the transition from Proof-of-Work to Proof-of-Stake.
  • 2021–2023: The focus expanded toward "Ecosystem Support," with the creation of dedicated teams for security, cryptography, and long-term research (EIPs).
  • 2024–Present: The release of the EF Mandate and the appointment of new board members like pcaversaccio signal a period of "ideological fortification," where the Foundation is seeking to re-emphasize its original mission against the backdrop of increased institutionalization.

Supporting Data and Ecosystem Context

The necessity for such leadership is underscored by the current state of the Ethereum ecosystem. As of early 2025, Ethereum remains the largest programmable blockchain by Total Value Locked (TVL), hosting thousands of decentralized applications (dApps) and billions of dollars in assets.

Data from the Ethereum Foundation’s grant reports indicates that security audits and privacy-enhancing technologies (such as ZK-proofs) now constitute the largest portion of the Foundation’s external funding budget. The presence of a dedicated security expert on the board is seen as a way to provide oversight that is technically informed. By having someone like pc on the board, the Foundation ensures that its executive decisions regarding resource allocation and strategic pivots are vetted by someone with frontline experience in incident response and vulnerability management.

Strategic Implications and Industry Reactions

The appointment of pcaversaccio carries significant implications for the future direction of the Foundation. Industry analysts suggest that this move is a clear signal that the Ethereum Foundation intends to resist the "corporate capture" that has affected other open-source projects. By prioritizing individuals who have authored manifestos on cypherpunk values, the board is making a public statement that the "ethos" of the network is not up for negotiation.

While there have been no formal dissenting statements—as the Foundation generally operates through consensus—the community response has been largely positive. Developers and security researchers have lauded the appointment, noting that the board now possesses a more balanced perspective between high-level protocol research, legal compliance, and grassroots security advocacy.

From a regulatory standpoint, the addition of a board member with deep technical knowledge of privacy-preserving technology is a bold move. It suggests that the Foundation is prepared to defend the necessity of privacy-centric tools in the Ethereum ecosystem, even as global regulators increase their scrutiny of anonymous transactions and decentralized finance (DeFi) platforms.

Looking Ahead

As pcaversaccio begins their one-year term, the industry will be watching to see how the Foundation balances its role as a steward of the protocol with the realities of its legal obligations in Switzerland. The "Silviculture Society" background of the new board member suggests that the Foundation may take a more active role in advocating for the ideological components of Ethereum, potentially moving toward more vocal engagement in public policy debates regarding digital rights.

Ultimately, the addition of pcaversaccio to the Board of Directors is a continuation of the Ethereum Foundation’s long-term strategy to ensure that the protocol remains a neutral, secure, and decentralized layer for the future internet. Whether this leadership change leads to new initiatives in privacy, enhanced security frameworks, or a strengthening of the protocol’s censorship-resistant properties, it marks a significant chapter in the Foundation’s effort to remain aligned with the values that first brought the Ethereum community together. The one-year term will serve as a testing ground for this new dynamic, and if successful, it could set a template for how the Ethereum Foundation integrates intellectual and technical leadership into its governance structure for years to come.

0 comment
0 FacebookTwitterPinterestEmail
Ethereum & Smart Contracts

Announcing a Trillion Dollar Security grant for WEBCAT

by Azzam Bilal Chamdy
written by Azzam Bilal Chamdy

The Ethereum Foundation’s Trillion Dollar Security (1TS) initiative has officially announced a strategic grant allocation to the Freedom of the Press Foundation (FPF) to accelerate the development and implementation of WEBCAT, an open-source security tool designed to bridge a critical vulnerability in modern web architecture. This collaboration marks a significant pivot in how decentralized applications and sensitive web services ensure that the code users interact with is identical to the code developers intended to publish. By providing a mechanism for browser-based code verification, the project aims to mitigate the pervasive threat of supply-chain attacks and UI manipulation that currently plague the digital landscape.

The core of the issue lies in the limitations of the current web security standard, HTTPS. While HTTPS effectively encrypts data in transit and verifies that a user is communicating with the intended server, it fails to authenticate the integrity of the content served by that server. In practical terms, a browser has no inherent way of knowing if the code it has just downloaded—the scripts that render a website’s user interface—has been surreptitiously modified by a compromised server, a man-in-the-middle attacker, or a malicious third party. For the average user, this means that even a "secure" connection (indicated by a padlock icon) can be used to deliver a tampered version of a website, leading to potential data theft, phishing, or the unauthorized redirection of assets.

The Evolution of Front-End Security Risks

In the context of the Ethereum ecosystem, this front-end verification gap represents a systemic risk to user safety. When a user interacts with a decentralized finance (DeFi) application or a governance portal, their browser automatically executes the site’s JavaScript. If that code has been tampered with, the UI can be manipulated to display an incorrect transaction amount, swap a destination address, or prompt the user to sign a malicious message that deviates from what they see on the screen. Because the wallet interface relies on the integrity of the web page to relay transaction details, it cannot independently verify that the information presented is accurate, effectively blind to the manipulation occurring at the browser layer.

The Trillion Dollar Security initiative has identified these front-end vulnerabilities as a primary vector for high-impact security incidents. In recent years, the industry has seen an increase in "DNS hijacking" and "dependency confusion" attacks, where malicious actors compromise the infrastructure hosting a legitimate web application to inject backdoors. The impact of such breaches is profound; they turn a trusted interface into a conduit for theft, often leaving users with little recourse. The 1TS initiative views verifiable front ends as an essential next step in maturing the security posture of the entire web3 space, moving away from a model of implicit trust in server-provided code toward a model of cryptographic proof.

Understanding the WEBCAT Framework

WEBCAT, an acronym for Web-based Code Assurance and Transparency, provides a robust solution to these challenges by allowing browsers to verify that all resources served by an enrolled website align with a cryptographically signed manifest. The mechanism operates through a decentralized enrollment system that records the cryptographic fingerprints of authorized signing identities and validation rules for participating domains.

When a user visits an enrolled site, the WEBCAT extension—currently in alpha for the Firefox browser—downloads the signed manifest and verifies the local resources against it. If the files served by the web server do not match the hashes defined in the signed manifest, the extension prevents the page from loading and alerts the user to the potential compromise. This verification process occurs locally within the user’s browser, ensuring that the integrity check does not rely on third-party services that could themselves become targets for manipulation.

The Freedom of the Press Foundation, which spearheaded the development of WEBCAT, originally conceptualized the tool as a critical layer of defense for SecureDrop, their open-source submission system used by news organizations to facilitate secure communication between journalists and anonymous sources. Given the high-stakes environment in which SecureDrop operates, the FPF identified that even if server-side data is encrypted, the integrity of the client-side code remains a vulnerable point. If an adversary were to gain control of a SecureDrop server, they could serve modified code to a whistleblower, effectively capturing unencrypted data before it is processed by the browser’s encryption protocols. By integrating WEBCAT, the FPF aims to ensure that the code running in the whistleblower’s browser is exactly what the developers intended, shielding the communication pipeline from server-level tampering.

Grant Objectives and Technical Roadmap

The grant from the Ethereum Foundation is explicitly earmarked for the expansion of WEBCAT beyond its current scope, focusing on integration into Ethereum wallets and applications. The technical roadmap includes several key milestones that will define the project’s success over the coming months:

  1. Development of a Verification Library: The FPF will build a standalone verification library that wallet developers can integrate directly into their products. This shift from an extension-based model to a library-based model is critical for mass adoption, as it allows wallets to offer native protection without requiring users to install additional browser plugins.
  2. Chromium Support: While the current alpha is optimized for Firefox, a significant portion of the funding is dedicated to research and development for compatibility with Chromium-based browsers, including Google Chrome, Brave, and Edge, which currently hold the majority share of the browser market.
  3. Standardization: The project will pursue an Ethereum Request for Comments (ERC) standard. By formalizing the process for how wallets and apps handle code integrity, the team aims to establish a universal standard that can be adopted across the broader ecosystem, creating a consistent user experience and security protocol.
  4. Security Audits: To ensure the robustness of the implementation, the grant covers comprehensive independent security audits. These audits will verify that the verification logic itself is sound and that the signing process cannot be circumvented.

This initiative is designed to complement existing security efforts within the Ethereum community, most notably "Clear Signing." While Clear Signing focuses on ensuring that users understand the parameters of the transactions they are approving on-chain, WEBCAT provides the necessary foundation to ensure that the interface presenting those parameters is authentic. Together, these technologies aim to create a multi-layered defense strategy that protects users from both malicious transaction construction and deceptive user interfaces.

Implications for Web3 and Beyond

The implications of this collaboration extend far beyond the Ethereum ecosystem. By promoting the adoption of verifiable front ends, the Freedom of the Press Foundation and the Ethereum Foundation are advocating for a fundamental change in how the internet manages trust. In a post-compromise world, the ability to cryptographically verify the origin and integrity of code is no longer a luxury but a necessity.

For the financial sector, this represents a significant reduction in risk for users of browser-based banking and trading platforms. For the journalism sector, it provides a vital safeguard for the privacy of sources and the integrity of sensitive information. By treating front-end code as a verifiable asset, the industry can begin to address the systemic fragility that has historically allowed minor infrastructure breaches to result in catastrophic losses.

As the development progresses, the success of the WEBCAT project will depend heavily on the participation of wallet and application developers. The decentralized nature of the web means that security improvements must be adopted horizontally to be effective. The FPF and the Ethereum Foundation have issued an open invitation to developers to join this effort, encouraging teams to enroll their domains and begin testing the integration of the verification library.

In the coming year, the focus will shift toward creating educational resources and documentation to lower the barrier to entry for developers. As more applications adopt these standards, the "verification gap" that currently defines much of the web’s security landscape will begin to close, replaced by a more transparent and resilient model of digital interaction. Through this grant, the Ethereum Foundation is not merely funding a tool; it is investing in a standard that could eventually become the bedrock of a more secure and trustworthy internet. The 1TS initiative continues to analyze the landscape for further infrastructure risks, but with the support of FPF and the development of WEBCAT, a tangible path forward has been established to protect users against the sophisticated threats that have long remained outside the reach of conventional security protocols.

0 comment
0 FacebookTwitterPinterestEmail
Ethereum & Smart Contracts

Platåberget: Ethereum’s New Testing Ground for the Upcoming Glamsterdam Upgrade Marks a Critical Shift in Network Infrastructure

by Lina Irawan
written by Lina Irawan

The Ethereum development community has officially launched Platåberget, a specialized, public-facing testnet designed to serve as the primary sandbox for the forthcoming Glamsterdam network upgrade. This initiative, a collaborative effort between the Ethereum Foundation and the broader developer ecosystem, represents a significant departure from previous, short-lived development networks. By providing a stable environment intended to remain operational for several months, organizers aim to allow for rigorous stress-testing of consensus and execution layer modifications before they are deployed to established long-lived testnets such as Sepolia and Hoodi.

The Glamsterdam upgrade is arguably one of the most complex technical transitions in the network’s history. It introduces fundamental shifts in how the Ethereum virtual machine (EVM) operates, particularly regarding gas metering and validator workflows. With the fork scheduled to activate on the testnet on August 20th, the launch of Platåberget is a timely move to ensure that infrastructure providers, dApp developers, and node operators can identify and resolve potential points of failure in a controlled setting.

The Mechanics of the Glamsterdam Upgrade

The Glamsterdam fork, formally tracked via meta EIP-7773, encompasses a suite of improvements aimed at refining the efficiency and scalability of the Ethereum protocol. Among the most notable additions is the implementation of ePBS (Enshrined Proposer-Builder Separation). This consensus-layer upgrade seeks to mitigate the risks of centralization by decoupling the role of the block proposer from the role of the block builder. For the average validator, this necessitates a transition to new deposit and interaction workflows.

Perhaps more disruptive to the wider ecosystem are the changes to the network’s gas repricing model. Historically, Ethereum’s gas model has relied on relatively predictable, flat-rate costs for standard operations, such as the 21,000 gas limit for a basic ETH transfer. Glamsterdam fundamentally alters this assumption.

Under the new paradigm, driven by EIP-8037 and EIP-8038, Ethereum is moving toward a multi-dimensional gas model. This includes the introduction of a "state gas" dimension, which specifically meters operations that modify or create new network state—such as account creation or storage allocation. Developers who have built wallets, indexers, or gas estimation tools based on the long-standing assumption that a standard transfer always costs exactly 21,000 gas will find that their software will likely return inaccurate results or fail entirely.

A New Era for Developers and Tooling

The transition to a multi-dimensional gas environment is not merely an incremental update; it is a structural change that requires a paradigm shift in how application developers interact with the Ethereum state. By introducing a fixed cost per state byte (CPSB), the network is shifting the financial burden of state growth to the entities causing it.

Analysts suggest that while this will lead to a more efficient and sustainable network in the long term, the short-term friction for developers will be significant. Any tool that relies on hardcapped maximum gas limits—a common feature in many current wallet applications—is currently considered "broken" under the forthcoming specifications. Developers are being urged to treat Platåberget as a mandatory testing ground to recalibrate their software, ensuring that their systems correctly handle the decomposed intrinsic costs outlined in EIP-2780.

Chronology and Operational Roadmap

The timeline for the Glamsterdam deployment is structured to prioritize stability and developer readiness. The current schedule reflects a deliberate, phased approach:

  1. Early August 2024: Initiation of Platåberget, allowing for the public setup of nodes and validators.
  2. August 20, 2024: Scheduled activation of the Glamsterdam fork on the Platåberget testnet.
  3. Late August to September 2024: Feedback collection, bug identification, and specification refinements based on network performance.
  4. Post-Feedback Period: Launch of a non-finality devnet to test pathological consensus scenarios and extreme network conditions.
  5. Long-Lived Testnet Deployment: Once the devnets are deemed stable, the upgrade will be pushed to Sepolia and Hoodi.
  6. Mainnet Transition: Following a successful run on public testnets, the upgrade will be proposed for the Ethereum mainnet.

This timeline acknowledges the potential for unforeseen complications. By maintaining Platåberget for several months, the development team has provided a "buffer zone" that allows for multiple iterations of client software releases. For infrastructure operators, the availability of container images for both the consensus layer (Lighthouse, Lodestar, Nimbus, Prysm, Teku, and Grandine) and the execution layer (Besu, Geth, Erigon, Nethermind, Reth, and Ethrex) simplifies the process of participating in the testnet.

Implications for the Broader Ecosystem

The shift toward a more complex gas model has sparked discussions among protocol researchers regarding the balance between network throughput and state size. By charging for state storage at runtime rather than upfront, the protocol aims to prevent the "state bloat" that has historically plagued decentralized networks. However, for decentralized applications (dApps) that rely on complex smart contract interactions, the cost of deployment and usage will become more variable.

Industry observers note that this upgrade is a litmus test for the effectiveness of Ethereum’s decentralized development model. The ability of a global, distributed community to successfully integrate such a radical change—without causing downtime or massive user error—will demonstrate the maturity of the Ethereum governance and upgrade process.

Official Guidance and Community Participation

The Ethereum Foundation, alongside groups like EthPandaOps, has emphasized that this transition is a collaborative responsibility. They have provided a comprehensive suite of resources, including a one-click "Add Network" flow on the official Platåberget portal and a dedicated faucet to provide testnet ETH for gas fees and validator deposits.

For those encountering issues, the primary channels for communication remain the Ethereum R&D Discord and the various GitHub repositories associated with the EIPs. Specifically, the consensus and execution specifications are being treated as living documents, subject to change based on the data gathered from the Platåberget environment.

Infrastructure operators are particularly encouraged to monitor the "builder-specs" and "beacon-APIs" closely, as these will govern the new ePBS workflow. Any failure to correctly implement these APIs could lead to missed blocks or, in a worst-case scenario, validator slashing if consensus is not achieved.

Conclusion: Preparing for the Future

The launch of Platåberget is more than a technical milestone; it is a signal that Ethereum is entering a new phase of maturity. By moving away from simple, fixed-cost models toward a more nuanced and accurate representation of network resources, the protocol is positioning itself to better handle the demands of a high-traffic, multi-layer ecosystem.

However, the burden of this progress falls squarely on the shoulders of the developer community. The "breaking changes" inherent in the Glamsterdam fork are a reminder that Ethereum remains a protocol in constant, iterative development. For developers, the next few months will be a period of intensive auditing and refactoring. Those who ignore the warnings provided by the Platåberget testing phase risk significant service disruptions when the upgrade finally hits the mainnet.

As the August 20th fork date approaches, the eyes of the Ethereum developer community are fixed on the performance of the Platåberget network. The data collected here will ultimately dictate the success of the Glamsterdam upgrade and, by extension, the future operational efficiency of the Ethereum network at large. The community is encouraged to contribute not just by running nodes, but by actively testing their existing tooling against the new parameters to ensure a seamless transition for the thousands of dApps that rely on the Ethereum backbone.

0 comment
0 FacebookTwitterPinterestEmail
Ethereum & Smart Contracts

Crypto ETF Divergence: Bitcoin Spot Funds Face Outflows While Ethereum Secures $82 Million Ingress

by Nana Wu
written by Nana Wu

Recent market data highlights a notable divergence in institutional investment trends between the two largest cryptocurrency assets by market capitalization. While U.S.-based spot Bitcoin exchange-traded funds (ETFs) have encountered persistent capital outflows, their Ethereum counterparts are beginning to attract renewed institutional interest, marked by a significant influx of capital at the start of the week.

The contrasting movements provide a window into shifting risk appetites among traditional financial institutions, asset managers, and corporate treasuries utilizing regulated investment vehicles to gain exposure to digital assets without directly managing underlying blockchain infrastructure.

The Mechanics and Market Position of Spot Crypto ETFs

Spot cryptocurrency ETFs represent a critical bridge between traditional finance and the digital asset ecosystem. Introduced to the U.S. market in January 2024 for Bitcoin and subsequently in July 2024 for Ethereum, these regulated financial instruments allow investors to track the spot price of the underlying cryptocurrency via traditional brokerage accounts.

Ethereum ETFs Attract $82M In Inflows While BTC Funds Bleed

When an investor purchases shares in a spot ETF, the issuing fund manager is required to buy and securely custody an equivalent amount of the digital asset. This eliminates the operational complexities and security risks associated with self-custody, private keys, hardware wallets, and native decentralized exchange interactions. Furthermore, because these funds operate under the regulatory oversight of the U.S. Securities and Exchange Commission (SEC), they satisfy the stringent compliance and fiduciary mandates required by institutional investors, pension funds, hedge funds, and registered investment advisors (RIAs).

Since their inception, these investment vehicles have fundamentally altered market liquidity dynamics, serving as primary conduits for institutional capital entering the digital asset space. However, because they reflect broader macroeconomic sentiment and institutional risk management strategies, their netflow metrics frequently fluctuate in response to broader crypto market corrections, regulatory developments, and macroeconomic pressures.

Chronology of Market Shifts and Netflow Trends

The broader digital asset market has experienced a protracted period of bearish momentum, heavily impacting capital flows across both asset classes.

Data compiled by market intelligence platform SoSoValue illustrates a prolonged period of capital contraction for Ethereum spot ETFs. Following a local market peak, ETH spot ETF netflows predominantly registered negative values beginning on May 7. Concurrently, the price of Ethereum experienced a sharp downward trajectory, descending from approximately $2,300 to cyclical lows dipping below the $1,600 threshold.

Ethereum ETFs Attract $82M In Inflows While BTC Funds Bleed

Despite this prolonged downturn, recent trading sessions have signaled a potential shift in momentum:

  • May 7 to Early June: Persistent capital outflows dominate Ethereum spot ETFs, mirroring falling token valuations.
  • June 4: Ethereum spot ETFs break the negative streak, recording $19 million in net inflows. Simultaneously, Bitcoin spot ETFs register a negligible $3 million netflow, effectively neutralizing institutional activity for that session.
  • June 5: A minor wave of capital exits the Ethereum market, though the scale remains constrained compared to previous historical outflows.
  • Recent Trading Session (Monday): Ethereum funds experience a sharp positive spike, drawing in an impressive $82 million in net inflows. In direct contrast, Bitcoin spot ETFs face a heavier capital flight, recording $91 million in net outflows during the exact same period.

This divergence indicates that institutional capital is not merely exiting the broader crypto sector; rather, a segment of market participants is actively reallocating capital, showing a renewed preference for Ethereum over Bitcoin during this specific consolidation phase.

Comparative Analysis of Bitcoin and Ethereum Inflows

The contrast between Monday’s performance figures underscores a shifting narrative. While Bitcoin spot ETFs have historically captured the lion’s share of institutional inflows due to its status as the premier digital store of value, recent sessions reveal vulnerability in BTC retention.

The $91 million exit from Bitcoin spot ETFs on Monday highlights ongoing profit-taking, risk reduction, or portfolio rebalancing by institutional holders amid macro uncertainty. Conversely, the $82 million injection into Ethereum spot ETFs suggests that institutional investors view current valuation levels—following the asset’s correction toward the $1,600 range—as an attractive accumulation window.

Ethereum ETFs Attract $82M In Inflows While BTC Funds Bleed

At the time of reporting, Ethereum has staged a modest technical recovery, trading at approximately $1,670. While still far removed from its yearly highs, the stabilization of its price coincides directly with the resumption of positive netflows into its associated spot exchange-traded products.

Industry Reactions and Expert Perspectives

Market analysts and financial advisors point out that institutional sentiment is rarely monolithic. The simultaneous outflow from Bitcoin funds and inflow into Ethereum products can be attributed to several structural and behavioral factors within traditional finance:

  1. Portfolio Diversification and Rebalancing: Institutional allocators frequently employ quantitative rebalancing strategies. Following periods of divergent price performance, funds routinely trim outperforming or heavily exposed assets to bolster underweights in others.
  2. Yield and Utility Narratives: Unlike Bitcoin, which is predominantly viewed as digital gold, Ethereum’s underlying blockchain supports decentralized finance (DeFi), smart contracts, and institutional tokenization initiatives. Some market participants factor these utility metrics into longer-term accumulation theses.
  3. Regulatory Clarity and Product Maturation: As financial advisors grow increasingly comfortable with spot crypto ETFs as standard portfolio components, capital rotation between different digital assets is expected to become more fluid and frequent.

Broader Market Implications

The recent divergence in spot ETF netflows carries significant implications for the near-term trajectory of the cryptocurrency market.

For Bitcoin, continued institutional outflows could signal a prolonged consolidation or a deeper correction phase if macroeconomic headwinds persist. Sustained negative netflows reduce the immediate buy-side pressure that characterized the initial months following the ETFs’ launch.

Ethereum ETFs Attract $82M In Inflows While BTC Funds Bleed

For Ethereum, consecutive positive netflow spikes—culminating in the $82 million single-day injection—provide foundational support for the asset’s price discovery phase. Should this trend persist, it could establish a firm market floor, encouraging further participation from institutional entities looking to capitalize on discounted valuations.

Ultimately, the performance of spot ETFs remains a primary barometer for institutional engagement in the digital asset class. Market participants will continue to monitor daily netflow reports from providers like SoSoValue to gauge whether Ethereum’s recent inflows represent a temporary anomaly or the beginning of a sustained capital rotation trend.

0 comment
0 FacebookTwitterPinterestEmail
Ethereum & Smart Contracts

Ethereum Ecosystem Expansion: A Comprehensive Overview of 2026 Protocol Research and Development Initiatives

by Iffa Jayyana
written by Iffa Jayyana

The Ethereum ecosystem is undergoing a period of intense technical evolution as it prepares for the "Glamsterdam" upgrade and long-term scaling challenges. Recent disclosures regarding a massive wave of research and development grants reveal a multi-pronged strategy focused on hardening consensus security, decentralizing zero-knowledge (ZK) infrastructure, and maturing the developer toolchain. This initiative, spanning from late 2025 through the end of 2026, represents one of the most coordinated efforts in the history of the protocol to bridge the gap between theoretical cryptographic research and production-grade implementation.

Hardening the Consensus Layer

The upcoming Glamsterdam upgrade serves as a central catalyst for current R&D. A significant portion of the ecosystem’s resources is being directed toward proactive vulnerability discovery. Projects such as the "EL+CL & Glamsterdam Security" initiative are currently stress-testing the interaction between the execution and consensus layers. By identifying potential exploits before they reach the mainnet, developers are attempting to avoid the systemic risks often associated with major hard forks.

Simultaneously, client diversity remains a priority. The development of Lodestar 2026 and the continuation of the Lighthouse client development cycle through October 2026 demonstrate a commitment to maintaining a robust, multi-client environment. These teams are not merely maintaining existing codebases; they are pioneering advanced networking features such as "tree sync" and partial message propagation, which are expected to optimize data transfer and reduce latency for node operators.

Perhaps the most ambitious project in the client space is "Ream," a new Rust-based consensus client designed for the post-quantum era. With the goal of supporting 4-second slot times and scaling testnets to 10,000 validators, Ream is pushing the boundaries of what current consensus engines can achieve. By focusing on Lean Consensus architecture, the team is working to ensure that Ethereum remains performant even as the global validator set grows in size and complexity.

The Shift to On-Premise Proving

A significant pivot in the zero-knowledge landscape is the transition away from reliance on centralized cloud providers for block-proving. The "Ethproofs On-Prem Multi-GPU Prover Initiative," involving major players like Matter Labs, Succinct Labs, and Brevis, marks a concerted effort to decentralize the ZK stack. By developing an open-source "On-Prem Ops Playbook," these organizations are creating a blueprint for independent validators to run their own proving hardware.

This shift is not merely about independence; it is a critical step in building operational resilience. Cloud-dependent proving infrastructure creates a single point of failure that could, in theory, be censored or throttled. By empowering individual operators to utilize multi-GPU setups on-premise, the ecosystem is effectively hardening the network against infrastructure-level attacks and ensuring that ZK-rollups remain censorship-resistant.

Cryptography and Formal Verification

The quest for mathematical certainty in smart contract execution has led to a surge in formal verification efforts. Projects like "Verity" and "ETHeorem" represent a new generation of tooling that treats code not just as a set of instructions, but as a formal mathematical proof. Verity, a Lean 4-based smart contract language, allows developers to compile code with verified semantics, effectively eliminating entire classes of common vulnerabilities such as reentrancy or integer overflows.

Furthermore, the "CompPoly" initiative and related work on bivariate polynomials and field arithmetic are establishing a foundation for more efficient SNARKs. By formalizing these cryptographic primitives, the ecosystem is creating a standard library that can be reused across different ZK-EVM implementations. This reduction in "reinventing the wheel" is expected to accelerate the deployment of privacy-preserving technologies across the Ethereum mainnet.

AI Integration and Developer Tooling

The intersection of Artificial Intelligence and blockchain development has moved from experimental to practical. Tools such as "Octane" and "Cantina Apex" are using AI agents to perform automated security audits, providing developers with real-time feedback on potential vulnerabilities. This is complemented by initiatives like "Inseeq," which optimizes LLMs with Ethereum-specific development data, essentially creating a co-pilot for protocol engineers.

On the application layer, the "Steward" wallet project is exploring the potential for local-first security. By running a light client and an AI-powered assistant entirely on-device, the wallet aims to provide a sovereign experience where user data never leaves the local environment. This focus on "self-sovereign" UX is increasingly viewed as the standard for the next wave of Ethereum adoption, where users demand both high-level security and the convenience of AI-assisted transaction management.

Global Education and Ecosystem Sustainability

The long-term health of Ethereum depends as much on human capital as it does on technical infrastructure. The "Blockchain Curriculum" program for Mindanao, the Bhutan Blockchain Residency, and the sponsorship of the Research Centre for Blockchain Technology in Hong Kong indicate a deliberate effort to seed developer communities in emerging markets. These programs are designed to create a pipeline of talent that is well-versed in both the theory and practice of Ethereum development.

Beyond education, the ecosystem is experimenting with new funding mechanisms for digital public goods. The research into "Onchain Capital Instruments" suggests a future where infrastructure development is financed through scalable, bond-like markets rather than traditional, grant-based models. This shift could provide a sustainable revenue stream for core developers, ensuring that critical maintenance and R&D are not subject to the volatility of donor cycles.

Timeline of Key Developments (2025–2026)

  • AY 2025–2026: Faculty Research Fellowships at the Ethereum OpenLab focus on DAO governance and optimistic rollup challenge periods.
  • May–October 2026: Intensive development period for the Lighthouse client, including the implementation of ePBS (Ethereum-based Proposer-Builder Separation) and ZK-verified consensus.
  • Mid-2026: Targeted rollout of the Glamsterdam upgrade, accompanied by client compliance audits conducted by AI-powered security agents.
  • Late 2026: Finalization of the On-Prem Ops Playbook, enabling widespread adoption of localized ZK-proving infrastructure.
  • Ongoing (2026): Continuous iteration of the internship program across various groups, including the Robust Incentives Group, Protocol Consensus, and zkEVM teams.

Implications and Future Outlook

The overarching theme of these 2026 initiatives is "resilience." Whether through the diversification of consensus clients, the decentralization of proving hardware, or the formal verification of smart contract compilers, the Ethereum ecosystem is systematically removing points of fragility.

Analysts note that the professionalization of the protocol’s development pipeline—exemplified by the systematic mapping of specifications to client implementations via agents—is a necessary maturation for a system that now secures hundreds of billions of dollars in assets. By bridging the gap between academic research and field-ready applications, the Ethereum Foundation and its grantees are ensuring that the protocol remains not only the leader in smart contract platforms but also a standard-setter for secure, privacy-preserving distributed systems.

As these projects reach fruition, the industry expects a marked increase in network performance, a decrease in the cost of ZK-proof generation, and a significant improvement in the security posture of dApp developers. The combination of AI-driven auditing, post-quantum readiness, and a globalized, highly trained developer base suggests that Ethereum is entering a period of unprecedented technical stability.

However, the success of these initiatives will ultimately depend on the seamless integration of these disparate components. As the network moves toward more complex consensus mechanisms and deeper ZK-integration, the challenge for the core protocol teams will be to maintain the "lean" nature of the architecture while scaling to meet the demands of a global user base. With current R&D efforts firmly focused on modularity and formal verification, the foundation appears set for the next decade of protocol evolution.

0 comment
0 FacebookTwitterPinterestEmail
Ethereum & Smart Contracts

Ethereum Tumbles Below $1,700 as Derivatives Unwind and Weekly Supports Face Critical Breakdown Tests

by Lina Irawan
written by Lina Irawan

Ethereum finds itself locked in a high-stakes battle for market survival, trading decisively below the psychological $1,700 threshold as a sweeping restructuring unfolds across major cryptocurrency derivatives exchanges. Having suffered a staggering 28% correction from its recent local highs, the second-largest digital asset by market capitalization is currently testing structural support zones not reliably visited since early 2023. This severe market downturn has effectively wiped out more than a year of accumulated leverage, leaving analysts to scrutinize the shifting mechanics of open interest, funding rates, and macroeconomic pressures to determine whether current levels will act as a durable macro floor or give way to a deeper structural capitulation.

The Great De-leveraging: Derivatives Reset to April 2025 Levels

At the heart of the current market dynamic is a profound unwinding of derivatives positioning. According to recent network intelligence data compiled by CryptoQuant, the open interest (OI) that accumulated steadily throughout 2025 and into the first half of 2026 has experienced an aggressive, compressed washout. This massive reduction in speculative exposure has successfully normalized leverage metrics across multiple prominent cryptocurrency exchanges, effectively rolling back the clock on derivatives market structures to levels last observed in April 2025.

The speed and scale of this de-leveraging event underscore the intensity of the recent bearish momentum. On Gate.io, for instance, Ethereum’s Open Interest plummeted from $4.84 billion on May 7 down to $2.68 billion by June 9. This represents an astonishing reduction of roughly $2.16 billion—or approximately 45%—in a span of just over one month. The resulting reading mirrors with uncanny precision the $2.67 billion recorded on April 11, 2025. A nearly identical trajectory has unfolded on Bybit, where open interest currently hovers near $805 million, almost perfectly matching the $795 million baseline established on April 9, 2025.

Simultaneous contractions across multiple institutional and retail-facing trading venues point to a coordinated, forced expulsion of speculative capital. Traders who maintained aggressive long positions through previous cycles have been systematically cleared out via stop-loss triggers and margin liquidations. Consequently, the speculative froth that characterized much of the 2025 trading environment has been thoroughly scrubbed from these specific order books.

Ethereum Leverage Resets To 2025 Levels – Binance Sends A Warning | Bitcoinist.com

Binance Divergence: Lingering Positioning and Negative Funding

Despite the broad-based structural reset observed across platforms like Gate.io and Bybit, a notable divergence has materialized on Binance, the world’s largest cryptocurrency exchange by volume. While other major venues experienced severe open interest contractions, Binance has retained a surprisingly resilient block of leveraged exposure. ETH Open Interest on Binance continues to hover around the $2.76 billion mark, maintaining its position within a historically elevated range.

However, a deeper inspection of exchange metrics reveals that this persistent open interest does not translate into bullish conviction. Binance funding rates have slipped back into negative territory, registering at approximately -0.0038. In derivatives market parlance, negative funding rates indicate that short-position holders are actively paying a periodic fee to long-position holders to maintain their bearish bets, or that market participants are overwhelmingly utilizing derivatives to hedge spot holdings rather than speculate on upward price mobility.

This dichotomy between persistent open interest and bearish funding creates a complex signaling environment. Rather than reflecting an accumulation of smart money preparing for a bullish reversal, Binance’s residual positioning suggests deep-seated market anxiety. Analysts point out that negative funding during a persistent price decline typically manifests under three distinct market conditions: aggressive short-selling pressure from participants betting on continued downside, defensive hedging strategies deployed by institutional entities protecting vulnerable spot portfolios, or a total absence of aggressive long interest willing to pay a premium for upside exposure. None of these configurations signal an asset class poised for an immediate, organic recovery.

Macro Timeline and Market Structure Breakdown

The current price collapse represents the culmination of a protracted bearish transition that has steadily eroded Ethereum’s market structure following its rejection from cycle peaks near the $4,800 threshold. Throughout late 2025 and early 2026, Ethereum traded within a broad, albeit descending, consolidation channel. However, the breakdown below the $1,800 support floor—which had successfully absorbed persistent selling pressure through February and March—shattered the prevailing range and accelerated downward momentum.

By sliding below the February lows, Ethereum invalidated months of range-bound accumulation, plunging toward the $1,500 region before a modest defensive reaction from buyers established the current trading corridor around $1,670. From a technical perspective, the overarching price action is characterized by an uncompromising sequence of lower highs and lower lows.

Ethereum Leverage Resets To 2025 Levels – Binance Sends A Warning | Bitcoinist.com

Compounding the technical damage is the asset’s position relative to long-term moving averages. Ethereum is now trading comfortably below all major weekly moving averages. The 50-week, 100-week, and 200-week moving averages are currently clustered significantly higher than the spot price, reinforcing the dominant multi-month downtrend and establishing formidable layers of overhead resistance that any potential relief rally will struggle to penetrate.

Support and Resistance Levels: Defending the Cycle Floor

With Ethereum hovering near $1,670, market participants are training their focus on critical technical boundaries that will dictate the trajectory of the third quarter. The immediate battleground centers on the $1,500 psychological and structural support zone. This area served as the ultimate circuit breaker during the initial wave of the June breakdown, triggering a technical bounce as spot buyers stepped in to accumulate assets at deeply discounted valuations.

Market analysts note that a sustained defense of the $1,500-$1,600 region could afford Ethereum the necessary runway to construct a durable market base. Should buyers manage to absorb remaining liquidation pressure and stabilize spot order books, a measured recovery attempt toward the $1,800 resistance overhead remains within the realm of technical possibility. Reclaiming this former support floor would be an essential prerequisite for bulls seeking to challenge higher resistance layers in the $2,250 to $2,350 range.

Conversely, a decisive weekly candle close below the recent $1,500 lows would carry severe bearish implications. Such a breakdown would confirm a continuation of the macro downtrend, stripping away the last major layer of historical weekly support and exposing the network to an extended retracement toward the $1,300-$1,400 price band. This scenario would deepen the ongoing capital outflow and signal an even more prolonged winter for decentralized finance (DeFi) ecosystems and Layer-2 networks tethered to Ethereum’s economic security layer.

Broader Implications for the Digital Asset Ecosystem

The ongoing contraction in Ethereum’s valuation and derivatives footprint carries significant ramifications for the broader cryptocurrency landscape. As the foundational settlement layer for a vast ecosystem of decentralized applications, lending protocols, and institutional tokenization initiatives, Ethereum’s structural health directly influences broader investor sentiment.

Ethereum Leverage Resets To 2025 Levels – Binance Sends A Warning | Bitcoinist.com

The aggressive flushing of leverage, while painful for short-term speculators, is viewed by traditional market analysts as a necessary, albeit brutal, mechanism for long-term market cleansing. Over-leveraged ecosystems are historically prone to cascading liquidations that exacerbate macroeconomic shocks. By purging billions of dollars in speculative exposure across Gate.io and Bybit, the market has reduced systemic vulnerability, even if residual positioning on Binance continues to project a cautious, defensive posture.

Furthermore, the macro environment surrounding risk-on assets remains tense. Persistent debates regarding central bank monetary policy, regulatory compliance frameworks for digital assets, and shifting institutional capital allocation strategies continue to exert downward pressure on speculative markets. Institutional investors utilizing regulated futures and exchange-traded products have demonstrated a measured approach, waiting for definitive signs of structural consolidation before deploying fresh capital.

As Ethereum navigates this critical juncture below $1,700, the coming weekly closes will provide definitive clues regarding market participants’ willingness to defend historical valuations. Whether the current de-leveraging event marks the final exhaustion of sellers or merely a temporary pause in a wider structural decline remains the defining question for the digital asset economy as it moves deeper into 2026.

0 comment
0 FacebookTwitterPinterestEmail
Ethereum & Smart Contracts

Better.codes launches as an open autoresearch challenge to advance formal verification of SNARK security bounds

by Lina Hope
written by Lina Hope

The Ethereum Foundation’s Formal Verification team, in a strategic partnership with research firms Yukon and zkSecurity, has officially launched better.codes, an open-access "autoresearch" platform designed to accelerate the formal verification of cryptographic proof systems. By gamifying the advancement of machine-checked soundness bounds for Succinct Non-Interactive Arguments of Knowledge (SNARKs), the project seeks to bridge the gap between theoretical conjecture and verifiable mathematical certainty in the rapidly evolving landscape of zero-knowledge proofs.

The Cryptographic Security Imperative

At the heart of the initiative is the "koalaIRS12" challenge, which targets a critical component of modern blockchain infrastructure: Reed-Solomon proximity testing. Many of the most advanced proof systems currently securing zkRollups, zero-knowledge virtual machines (zkVMs), and post-quantum cryptographic roadmaps rely on specific assumptions regarding proximity gaps and correlated agreement.

While these systems are widely deployed, their security is often predicated on conjectures that remain unproven or are only partially understood. Industry standards typically target a 128-bit security level, a benchmark that ensures the mathematical impossibility of forging a proof within current computational limits. However, the theoretical foundations of these bounds are often narrower than the practical implementations suggest. By utilizing the Lean theorem prover—a rigorous language and environment for mathematical proofs—better.codes provides a mechanism to convert these loose conjectures into concrete, machine-verified theorems.

Chronology of the Proximity Prize Initiative

The launch of better.codes is the latest milestone in a broader, year-long effort by the Ethereum Foundation to fortify the mathematical underpinnings of the ecosystem. The timeline of this research trajectory reflects a growing emphasis on formal rigor:

  • Early 2024: The Ethereum Foundation formally announces the Proximity Prize initiative, a research-heavy program dedicated to solving long-standing open problems in list decoding and correlated agreement.
  • Mid-2024: Researchers Gal Arnon, Dan Boneh, and Giacomo Fenzi publish "Open Problems in List Decoding and Correlated Agreement," a foundational document detailing the grand challenges that must be addressed to secure next-generation SNARKs.
  • Late 2024: ArkLib, a Lean 4-based library for verified arguments of knowledge, is integrated into the research workflow, providing a standardized environment for formalizing proof systems.
  • Present: The activation of better.codes allows for a decentralized, crowdsourced approach to solving the specific koalaIRS12 problem, moving the needle on the 128-bit security target through incremental, iterative submissions.

The Autoresearch Model: A New Paradigm

The platform’s "autoresearch" model represents a departure from traditional, siloed academic research. Instead of relying on a single research team to solve a complex proof, better.codes invites independent participants to point their own artificial intelligence agents, specialized heuristics, and automated reasoning tools at the challenge.

This approach acknowledges that no single computational strategy is optimal for every mathematical problem. By creating a public, version-controlled leaderboard where every successful submission increases the "floor" of proven security, the project effectively turns global research efforts into a collective pipeline. When a solver submits a proof that passes the Lean kernel’s rigorous verification process, the new lemmas and proof techniques are upstreamed into the public repository. This ensures that future solvers do not repeat past mistakes, allowing the community to bypass dead ends and focus on progressively deeper layers of the mathematical structure.

Technical Context: Why Lean Matters

The reliance on Lean is not incidental. In the field of cryptography, a "proof" found in a PDF file or a peer-reviewed paper may still contain subtle, high-level logical errors that are difficult for human reviewers to catch. Formal verification eliminates this margin of error. When a proof is written in Lean, it is mathematically verified by a computer kernel. If the code compiles, the theorem is objectively true within the axioms defined.

For high-stakes infrastructure like Ethereum, this transition from "peer-reviewed" to "machine-verified" is a significant shift in risk management. The koalaIRS12 challenge requires solvers to navigate the complexities of Reed-Solomon proximity, specifically aiming to improve the soundness bound toward the 128-bit target. As participants iterate on these bounds, they are not merely performing a coding exercise; they are hardening the core security assumptions that underpin the future of private, scalable decentralized finance.

Industry Impact and Broader Implications

The implications of better.codes extend beyond the Ethereum ecosystem. As organizations and governments globally transition toward post-quantum cryptography, the demand for verified, high-assurance proof systems will only increase. Projects like ecdsa.fail, zk.golf, and snark.fast have previously demonstrated that open, incentive-aligned challenges can significantly accelerate innovation in circuit design and proving speed.

By integrating AI agents into this process, the Ethereum Foundation is tapping into a nascent trend of "AI-assisted mathematics." While AI models have historically struggled with the rigorous, error-intolerant nature of formal proof languages, tools like Lean are increasingly becoming the benchmark for evaluating AI’s logical reasoning capabilities. If better.codes succeeds in raising the soundness bound for koalaIRS12, it will provide a proof-of-concept for how human-AI collaboration can solve intractable problems in theoretical computer science.

Official Stance and Participation

The platform maintains a transparent, git-backed structure to ensure accountability. Participation is open to any researcher or engineer capable of interacting with the Lean environment. Each submission is credited to both the solver and the specific AI model or methodology used, fostering a culture of attribution and peer-to-peer knowledge sharing.

According to the organizers, the current focus on the 128-bit target is merely the beginning. The roadmap for better.codes suggests that once the current challenge matures, additional, more complex mathematical hurdles will be introduced. While the program’s terms regarding eligibility and potential rewards are managed by the Foundation, the primary incentive for many participants is the opportunity to contribute to a foundational, permanent artifact of cryptographic progress.

Conclusion

As the industry moves toward more complex and efficient proof systems, the need for formal verification is becoming paramount. better.codes addresses this need by democratizing the research process and applying the latest in automated theorem proving to some of the most pressing questions in cryptography. By turning the search for soundness into an open-source, collaborative challenge, the Ethereum Foundation and its partners are not just attempting to solve a single problem—they are building a new, more robust infrastructure for the future of digital verification. For those looking to participate, the repository is accessible via the better.codes portal, marking the beginning of an ongoing, public-facing effort to secure the mathematical foundations of the decentralized web.

0 comment
0 FacebookTwitterPinterestEmail
Ethereum & Smart Contracts

Ethereum Protocol Upgrade: Addressing State Growth Through Strategic Gas Repricing

by Suro Senen
written by Suro Senen

The Ethereum network is currently preparing for a significant technical adjustment that will reshape how the blockchain accounts for computational resources, specifically regarding the cost of state creation and data access. Through the introduction of two new Ethereum Improvement Proposals (EIPs)—EIP-8037 and EIP-8038—the network is implementing a comprehensive repricing of state operations. This shift is designed to ensure that the gas prices paid by users and developers accurately reflect the real-world computational burden placed on node operators. By aligning transaction costs with the actual resource consumption required for state-related operations, the Ethereum Foundation and the core developer community aim to pave the way for future increases in the network’s block gas limit, thereby enhancing overall throughput.

The Evolution of Ethereum’s State Management

Since the Berlin hard fork in 2021, the Ethereum ecosystem has undergone transformative growth. As decentralized finance (DeFi), non-fungible tokens (NFTs), and Layer 2 scaling solutions have matured, the state size—the collection of all account balances, contract storage, and code—has expanded rapidly. This growth is not merely a sign of adoption; it is a technical challenge that directly impacts the performance of node operators. Larger states necessitate more memory, faster disk I/O, and higher synchronization times, which can lead to centralization pressures if the cost of running a full node becomes prohibitive.

Recent incremental increases in the gas limit have inadvertently accelerated this state bloat. While higher gas limits allow for more transactions per block, they also increase the speed at which the "state tree" grows. To maintain a sustainable trajectory, the core developers have determined that the current pricing model for state access and storage creation is outdated. The upcoming repricing is derived from rigorous performance benchmarking, targeting a model that can support roughly a three-fold increase in base throughput. By charging more accurately for operations that stress the network’s hardware, Ethereum aims to achieve a more robust equilibrium between scalability and network health.

Chronology of the Proposed Changes

The path to this repricing began with the recognition that historical gas costs for operations like SLOAD, SSTORE, and various state-creation opcodes were no longer indicative of their true resource costs. Following the Berlin fork, developers noted that while general computation was becoming more efficient, the specific overhead associated with disk access and state persistence was climbing.

The current proposal involves a multi-stage rollout. The technical specifications were finalized following extensive community discussion on Ethereum Magicians and within the All Core Developers (ACD) meetings. The changes are now active on dedicated devnets, allowing infrastructure providers and client teams to test the impact of the new fee schedule. The transition will proceed to public testnets—such as Sepolia and Holesky—in the coming months. This phased approach is critical to allow developers to audit their smart contracts, particularly those with hardcoded gas expectations, before the mainnet deployment.

Technical Implications and Contract Compatibility

The shift in pricing is not merely a background technical adjustment; it carries direct consequences for existing smart contracts. To quantify the potential disruption, the Ethereum core development team conducted extensive simulations, replaying millions of historical mainnet transactions against the new fee schedule. The analysis categorized the impact into four distinct outcomes, ranging from negligible changes to complete transaction failure for contracts relying on rigid gas assumptions.

A primary concern involves contracts that utilize fixed gas stipends, such as the Solidity transfer or send functions, which are hardcoded to provide 2,300 gas. In scenarios where the underlying operations cost more than this fixed amount, these transactions will fail. Furthermore, developers who utilize gasleft() to branch logic or who deploy presigned transactions with fixed limits are at high risk of seeing their contracts break upon the activation of these EIPs.

To mitigate these risks, the Ethereum Foundation has released a comprehensive "affected-contracts" search tool. By entering a contract address, developers can identify if their code will be impacted and understand the specific opcode repricing that would trigger a failure. This proactive outreach is part of a broader strategy to ensure that the transition is as seamless as possible, with direct communication currently underway with the maintainers of the most vulnerable and high-value protocols.

Infrastructure and Wallet Responsibilities

While the average user will likely notice no change in their daily interaction with the blockchain—as modern wallets and decentralized applications (dApps) will update their estimation logic—the burden of adjustment falls squarely on infrastructure providers. Wallet developers and node operators must update their eth_estimateGas implementations.

Under the new regime, reliance on cached gas constants or outdated heuristics will lead to systemic underestimation. If a transaction is submitted with insufficient gas due to an outdated estimation, it will be reverted, leading to a loss of the base fee and a poor user experience. Consequently, providers are being urged to integrate the new gas schedule into their RPC infrastructure immediately. The shift emphasizes the importance of dynamic gas estimation, moving away from static, hardcoded values that have plagued the ecosystem during previous network upgrades.

Strategic Outlook and Long-Term Scaling

The repricing initiative is fundamentally a proactive measure to safeguard the long-term scalability of the Ethereum network. By ensuring that the cost of state growth is internalized by those who drive it, the protocol encourages more efficient contract design and data storage practices. The ultimate goal of this repricing is to create the headroom necessary for future block gas limit increases. As hardware performance improves and client software optimizations—such as EIP-4444 (historical data expiry)—mature, the combination of efficient pricing and larger block limits will facilitate a significant boost in transaction throughput.

The core developers have been transparent about the necessity of this upgrade. In discussions within the Ethereum R&D Discord and the ACD process, the consensus has remained firm: technical debt regarding gas costs must be settled to prevent the "tragedy of the commons" in state storage.

For developers and stakeholders, the call to action is clear. The time to prepare is during the testnet phase. The community is encouraged to utilize the provided resources, monitor the evm-pricing channels for updates, and engage with the ACD process. While the transition may be complex for specific, legacy-dependent protocols, the long-term stability of the Ethereum network depends on this alignment of costs with reality. As the network approaches the mainnet activation date, the focus remains on minimizing disruption while preparing the underlying infrastructure for a future of significantly higher volume and sustained growth. The repricing is a testament to the Ethereum ecosystem’s commitment to iterative, evidence-based development, ensuring that the world’s most prominent decentralized computer remains performant, secure, and ready for the next wave of global adoption.

0 comment
0 FacebookTwitterPinterestEmail
Ethereum & Smart Contracts

EF Protocol Cluster Unveils Unified Hegoté Tier List for Ethereum Improvement Proposals

by Dwi Wanna
written by Dwi Wanna

The Ethereum Foundation (EF) Protocol cluster has officially released its comprehensive tier list for the upcoming Hegoté upgrade, marking a significant shift in how the network evaluates potential technical improvements. For the first time, the cluster—comprising approximately 60 researchers and engineers—has published a singular, unified perspective on the 62 Ethereum Improvement Proposals (EIPs) currently under consideration for the network’s next major milestone. While individual execution layer clients like Geth are expected to maintain their own independent assessments, this consolidated list serves as a foundational roadmap for the broader ecosystem, signaling the core development team’s priorities and long-term technical direction.

This collaborative effort represents a departure from previous upgrade cycles, where siloed team opinions often dominated the discourse. By aggregating 397 individual grades across 62 distinct proposals, the EF Protocol cluster has sought to provide clarity on what is essential for the network’s security, scalability, and decentralization. The resulting document, which draws heavily from the lessons of the previous Glamsterdam upgrade, emphasizes that integration depth and testing surface are the primary constraints when determining whether an EIP earns a place in the next fork.

The Methodology Behind the Scoring

The process of reaching this consensus was both rigorous and data-driven. Over several months, nine distinct teams and a cadre of individual domain experts completed detailed contribution templates for every proposed change. The scoring system utilized a standard hierarchy: S-tier (4 points), A-tier (3), B-tier (2), C-tier (1), and D/DFI (0). Abstentions were excluded from the final averages to ensure that the results reflected only the informed input of those with specific expertise in the relevant sub-domains.

Crucially, the final published tiers are not merely mathematical averages but the result of a "steelman" process. During a 90-minute intensive working session, the teams debated the most contested proposals, challenging the initial scores and adjusting them based on technical feasibility and the broader strategic vision outlined in the companion publication, EF Protocol: Current and Emerging Priorities. The goal was to reach a consensus on delivery expectations, effectively creating a commitment ladder for the developers responsible for the eventual implementation.

Key Highlights: The Headliners and Future-Proofing

Among the 62 evaluated proposals, two stand out as "must-ship" headliners, signaling their critical role in the Hegoté upgrade. The first is EIP-7805, which introduces FOCIL (Fork-Choice-enforced Inclusion Lists). FOCIL is designed to provide any user with a reliable path to transaction inclusion, fundamentally reducing the reliance on centralized builders. Its unanimous S-tier rating reflects the community’s broad agreement that transaction censorship resistance is a top priority for the next phase of Ethereum’s development.

The second headliner is EIP-8141, focusing on Frame Transactions. This proposal is viewed as the definitive path toward native account abstraction. By creating a structure that accommodates future post-quantum (PQ) signature schemes and enabling transaction aggregation, EIP-8141 aims to retire legacy k1 keys and modernize the network’s authentication layer. These two proposals, alongside EIP-8369, which defines the eligibility criteria for FOCIL, form the backbone of the Hegoté upgrade.

Consensus Layer Adjustments and Staking Features

The consensus layer proposals have been heavily scrutinized to ensure they do not introduce unnecessary complexity. EIP-8365, which addresses BLS withdrawal credential retirement, was categorized as A-tier, highlighting its importance in managing technical debt and preparing for post-quantum security requirements. Conversely, several proposals related to staking, such as EIP-7716 (Anti-Correlation Attestation Penalties), were marked as "Deferred for Inclusion" (DFI).

The decision to defer EIP-7716 illustrates the cautious approach the EF is taking regarding the current validator landscape. While the proposal aims to reduce centralization forces by increasing penalties for correlated missed attestations, the cluster determined that further research is needed to understand the impact on multi-client setups and validator behavior. This emphasis on "keeping CL scope light" suggests a desire to avoid overly aggressive changes that could destabilize the network during a period of significant architectural transition.

Execution Layer and EVM Evolution

On the execution layer, the focus remains on cleanup and security. EIP-3298, which proposes the removal of specific refund mechanisms, was awarded an A-tier grade for its ability to eliminate an entire class of metering edge cases that have historically plagued network stability. Similarly, EIP-5920, the PAY opcode, is expected to be included as a high-leverage, low-surface-area feature that resolves long-standing issues regarding value transfers that do not trigger recipient code.

The cluster also took a firm stance on several deprecation and cleanup proposals. EIP-4758, which deactivates the SELFDESTRUCT opcode, has been included in the A-tier, as the developers maintain that it is a persistent testing hazard that must be removed to simplify future protocol upgrades. This aligns with a broader trend of "EVMification," where the goal is to make the network’s core execution environment more predictable and easier to secure.

The "DFI" Block: Declining Complexity

One of the most revealing aspects of this report is the volume of proposals that were explicitly declined. A total of 28 proposals were moved to the DFI category. This is not necessarily a reflection of poor quality, but rather a reflection of the current priority set. For instance, EIP-8375 (ePBS Mandatory Burn of Execution Rewards) and EIP-8363 (Tapered Issuance Burn) were both declined for the upcoming fork. The rationale provided by the cluster is that monetary and issuance policies belong to a broader ecosystem-wide governance process rather than the technical scoping exercise of a protocol fork.

By setting these boundaries, the EF is protecting the network from "feature creep" and ensuring that the engineering teams can focus their limited bandwidth on the highest-impact upgrades. The unanimous rejection of proposals like EIP-7645 (Alias ORIGIN to SENDER), which would have broken backward compatibility for deployed smart contracts without providing significant security gains, further underscores this commitment to network stability and developer trust.

Broader Implications and Future Outlook

The publication of the Hegoté tier list is a significant development in Ethereum’s maturation as a decentralized protocol. By moving toward a more transparent and structured evaluation process, the Ethereum Foundation is inviting a higher degree of community scrutiny while maintaining the focus required to deliver complex upgrades.

The upcoming Reddit AMA on September 16, 2026, will serve as a critical venue for this interaction. The willingness of the protocol cluster to engage with champions of non-A-tier or declined proposals demonstrates a commitment to the "open research" philosophy that has defined Ethereum’s culture.

As the industry looks toward the next cycle of development, the Hegoté upgrade appears to be positioning Ethereum to handle the dual challenges of scaling and security with a disciplined, research-led approach. The emphasis on FOCIL and Frame Transactions suggests that the coming years will be defined by an effort to decentralize the transaction lifecycle and modernize account security. Whether these changes will be enough to satisfy the demands of an increasingly complex and high-volume ecosystem remains to be seen, but the clear, unified roadmap provided by the EF Protocol cluster provides the best possible foundation for that evolution.

In total, of the 62 proposals reviewed, 17 are expected to proceed, while the remainder have been either deferred, placed in a "To Be Determined" category pending further mainnet evidence, or declined. This rigorous pruning process serves as a reminder that in the world of decentralized consensus, the most important work is often knowing exactly what not to build. As the community moves toward the final implementation of Hegoté, the focus will remain on these core pillars: security, simplicity, and the long-term sustainability of the Ethereum network.

0 comment
0 FacebookTwitterPinterestEmail
Newer Posts
Older Posts