{"id":7144,"date":"2025-01-09T20:26:05","date_gmt":"2025-01-09T19:26:05","guid":{"rendered":"https:\/\/wsj-crypto.com\/?p=7144"},"modified":"2025-01-09T20:26:05","modified_gmt":"2025-01-09T19:26:05","slug":"innovations-on-the-horizon-recent-developments-from-ef-supported-teams","status":"publish","type":"post","link":"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/","title":{"rendered":"Innovations on the Horizon: Recent Developments from EF-Supported Teams"},"content":{"rendered":"\n<div id=\"\">\n<p class=\"chakra-text css-gi02ar\">Friends,<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Leaves have descended in the northern hemisphere, summer approaches in the south, and ETH is being staked worldwide. The merriest of seasons has arrived, marking the inception of the beacon chain. Furthermore, phenomenal advancements have occurred recently by <!-- --><em class=\"chakra-text css-0\">all<!-- --><\/em> EF-backed teams. However, due to the lack of in-person interactions lately, we may have overlooked much from each other. As this distinctive year comes to a conclusion, we are thrilled to present a plethora of comprehensive updates to you from several teams contributing to the advancement of Ethereum in myriad ways. It&#8217;s an extensive read, but there&#8217;s a wealth of progress to sift through (or feel free to navigate using the table of contents).<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">As always, this series of updates centers on EF-supported teams whose members are dedicated to expanding and enhancing Ethereum as a whole. This edition includes updates from numerous teams featured in <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/04\/14\/ef-supported-teams-research-and-development-update-2020-pt-1\">the prior report<!-- --><\/a>, along with other new and rotating groups.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Enjoy!<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"applied-zkp\">Applied ZKP<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Written by Thore Hildebrandt<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The Applied ZKP team endeavors to connect cutting-edge research in zero-knowledge proofs with application development on Ethereum.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"perpetual-powers-of-tau\">Perpetual Powers of Tau<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">In September 2019, we initiated the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/medium.com\/coinmonks\/announcing-the-perpetual-powers-of-tau-ceremony-to-benefit-all-zk-snark-projects-c3da86af8377\">Perpetual Powers of Tau<!-- --><\/a> ceremony (PPOT). PPOT is designed to support the zero-knowledge ecosystem, especially zk-SNARK projects developed on Ethereum, by alleviating some of the burdens of trusted setup ceremonies. Many zk-SNARK projects necessitate two phases of parameter generation, and PPOT substitutes the first phase, allowing it to be shared among all circuits. Individual teams can select any contribution from the ceremony to carry out their own phase 2 setup.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">This ceremony accommodates circuits with up to 2 ^ 28 constraints, which implies that each contribution entails a 97G download, a computation period of one day, and a 49G upload. At the time of writing, we have gathered 63 contributions, and all contribution files can be downloaded and independently verified against a public ceremony <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/weijiekoh\/perpetualpowersoftau\">transcript<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Initiatives that plan to utilize or have already utilized the ceremony include <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/tornado.cash\/\">tornado.cash<!-- --><\/a>, <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/appliedzkp\/semaphore\">Semaphore<!-- --><\/a>, <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/hermez.io\/\">Hermez<!-- --><\/a>, <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/appliedzkp\/maci\">MACI<!-- --><\/a>, and <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/zkopru.network\/\">zkopru<!-- --><\/a>. The simplest way to contribute is to connect with Wei Jie via Telegram @weijiek. Tune into <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/www.youtube.com\/watch?v=YbJw8_liYyo\">this podcast<!-- --><\/a> to hear Wei Jie discuss the ceremony.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"semaphore\">Semaphore<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/appliedzkp\/semaphore\">Semaphore<!-- --><\/a> is a versatile privacy tool that enables functionalities such as mixers, anonymous login, anonymous voting, and reputation systems.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Semaphore has undergone an audit and is presently conducting a phase 2 ceremony based on Perpetual Powers of Tau. So far, there are 51 participants; please <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/hackmd.io\/oja21FipQ5KhQcXeyuQWFQ?view\">get involved<!-- --><\/a> to enhance the security of Semaphore. Join the discussion in the Semaphore Society <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/hackmd.io\/oja21FipQ5KhQcXeyuQWFQ?view\">Telegram chat group<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"maci\">MACI<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Initially proposed by Vitalik Buterin, systems built with <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/appliedzkp\/maci\">MACI<!-- --><\/a> hinder collusion among participants while upholding the advantages of censorship resistance and correct execution offered by smart contracts. While MACI can afford collusion resistance only if the coordinator is truthful, a dishonest coordinator cannot either censor or manipulate its execution. Watch Wei Jie explain how MACI functions <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/www.youtube.com\/watch?v=sKuNj_IQVYI\">on Youtube<!-- --><\/a>. You can utilize the MACI <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/appliedzkp\/maci\/tree\/master\/cli#demonstration\">command-line interface<!-- --><\/a> to run a demonstration.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Recently, clr.fund <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.clr.fund\/round-0-review-round-1-launch\/\">executed<!-- --><\/a> a quadratic funding round where results were computed using MACI. Bribery could pose a significant challenge for Gitcoin as it scales, yet MACI can assist as it ensures that it&#8217;s impossible to prove whom one voted for. MACI 1.0 is <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/hackmd.io\/NOqoWrRwRli55Ark6-S48Q\">under development<!-- --><\/a>; join the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/t.me\/joinchat\/LUgOpE7J2gstRcZqdERyvw\">Telegram group<!-- --><\/a> to discover more and engage in discussions.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"mimc-bounty\">MiMC Bounty<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">There is a current <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"http:\/\/mimchash.org\/\">bounty<!-- --><\/a> for locating collisions in the MiMC hash function.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"hubble\">Hubble<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Optimistic Rollups (OR) facilitate enhanced layer 2 scalability by leveraging on-chain data availability and fraud proofs. Hubble enables the formation of optimistic rollup chains with a uniform interface, allowing individuals to enter the rollup space once and subsequently transition between chains seamlessly at minimal costs, thereby eliminating the necessity to ever &#8220;exit&#8221; the low-cost rollup environment.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Key attributes encompass bulk migrations and a global account registry. Burnauctions will be utilized to decentralize the coordinator and to allocate MEV to CLR&#8217;s. Transfers to novel accounts are feasible directly from L2 without the necessity to deposit on L1. With the assistance of BLS signatures, the team succeeded in achieving <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/thehubbleproject\/hubble-contracts\/runs\/1453324477?check_suite_focus=true#step:8:11\">2500 tps on ropsten<!-- --><\/a>. The Hubble BLS wallet is designed to accommodate other OR&#8217;s such as Arbitrum, Optimism, and Fuel.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Hubble&#8217;s source code can be found on <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/thehubbleproject\">Github<!-- --><\/a>. Contracts are currently on hold, as the team prepares for an impending audit.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"zkopru\">zkopru<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">zkopru (zk-optimistic-rollup) serves as a layer-2 scaling solution for confidential transactions utilizing zk-SNARK and optimistic rollup. It facilitates private transfers and atomic swaps within the layer-2 ecosystem between ETH, ERC20, and ERC721 at minimal expense. Additionally, it offers instant withdrawals with pay-in-advance features and compliance compatibility employing spending key and viewing keys. Wanseob showcased the system at zk-summit, with the recording to be made available on Youtube shortly.<br \/>\nzkopru is advancing into the \u201cBurrito\u201d phase of its <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/zkopru.network\/roadmap\/\">roadmap<!-- --><\/a>, and you can currently experiment on <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/zkopru.network\/testnet\/\">testnet<!-- --><\/a> right now. Furthermore, the UI for its trusted setup and burn auction aimed at the decentralized coordination are in development. An audit is slated to commence in January.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"experimental-directions\">Experimental directions<!-- --><\/h3>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\"><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/mhchia\/blind-find\">Blind Find<!-- --><\/a> &#8211; a p2p network that empowers users to locate others without disclosing their identity. Following a successful search, the individual can validate that the search route exists in the network using an MPC-based construction, without revealing the route itself. For further details and discussions, please join the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/t.me\/joinchat\/GIaIkRr2NxiFoYHTP6PACg\">telegram group<!-- --><\/a>.<!-- --><\/li>\n<li class=\"css-cvpopp\"><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/NIC619\/UniRep\">UniRep<!-- --><\/a> &#8211; a confidential and non-repudiable reputation system. Users can acquire positive and negative reputation from attesters and voluntarily verify that they possess at least a certain threshold of reputation without disclosing the precise amount. Moreover, users cannot decline to accept reputation from an attester. Join the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/t.me\/joinchat\/GIaIkRqYKbzuYgR8dWmivw\">telegram channel<!-- --><\/a> to delve deeper and discuss!<!-- --><\/li>\n<li class=\"css-cvpopp\"><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/mhchia\/peek-a-book\">PeekABook<!-- --><\/a> &#8211; a confidential order matching system on Ethereum. It permits users to announce and search for trade orders without exposing the order price. Explore the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/mhchia.github.io\/peek-a-book\/\">demo<!-- --><\/a>. Engage in discussions by joining the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/t.me\/joinchat\/GIaIkRr2NxiFoYHTP6PACg\">telegram group<!-- --><\/a>.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"ecosystem-support-program\">Ecosystem Support Program<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Authored by ESP Team<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"delivering-support\">Delivering support<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The ESP team is continuously searching for innovative ways to assist and inspire the numerous fantastic builders within the Ethereum ecosystem. We spotlighted a few teams that received support beyond traditional grants in <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/08\/19\/esp-beyond-grants\">this article<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Meanwhile, nearly $6.3 million in grants have been distributed in Q2-Q3; discover more about the 50+ beneficiaries in our <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/09\/08\/esp-q2-updates\">Q2<!-- --><\/a> and <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/11\/25\/esp-q3-updates\">Q3<!-- --><\/a> allocation updates, and stay tuned for a Q4 publication in the upcoming year!<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"outreach-and-communication\">Outreach and communication<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">We have endeavored to offer more resources for teams seeking support, as well as for Ethereum community members who wish to stay informed about what we\u2019re backing.<!-- --><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">Events: we\u2019ve actively engaged in (virtual) meetups and hackathons to connect in real-time with builders, disseminate information about ESP, and assist in addressing any inquiries or concerns.<!-- --><\/li>\n<li class=\"css-cvpopp\"><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/esp.ethereum.foundation\/en\/guide\/\">Guide to ESP<!-- --><\/a>: this newly established section of our website elaborates on the ESP inquiry and grant proposal process<!-- --><\/li>\n<li class=\"css-cvpopp\">Expanded blogging: We\u2019ve regularly published updates regarding newly awarded grants throughout the year, but what these teams accomplish with their grant funding is the real narrative! In November, we released the <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/11\/18\/esp-grantee-roundup-november-2020\">inaugural post<!-- --><\/a> in a new blog series aimed at highlighting grantees\u2019 ongoing achievements.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"eth2-research\">Eth2 Research<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Authored by Danny Ryan<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">December 1st signified the initiation of the eth2 beacon chain. This marked the bootstrap of Ethereum\u2019s proof of stake consensus that will eventually serve as Ethereum\u2019s new consensus foundation.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Looking beyond the launch of the beacon chain, the eth2 research group is focusing on the upcoming set of enhancements to eth2 &#8212; native light client support, the integration of eth1 into eth2, and scalable sharded data.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">For the latest updates from our team, stay informed with the \u2018eth2 quick updates\u2019 on the EF blog. A few recent issues can be viewed here: <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/11\/27\/eth2-quick-update-no-21\">#21<!-- --><\/a>, <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/11\/13\/eth2-quick-update-no-20\">#20<!-- --><\/a>, <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/11\/04\/eth2-quick-update-no-19\">#19<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"ethereumorg\">ethereum.org<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Authored by Ryan Cordell<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"http:\/\/ethereum.org\">ethereum.org<!-- --><\/a> crew dedicated the latter half of 2020 to enhancing our expanding portal of Ethereum resources with additional content and features.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"onboarding\">Onboarding<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Since we frequently serve as the initial source users encounter when searching for &#8220;Ethereum&#8221; for the first time, considerable effort has been directed towards enriching the content that aids you in getting started.<!-- --><\/p>\n<p><!-- --><br \/>\n<!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"eth2\">Eth2<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">As we approached the launch of the deposit contract, Eth2 dominated headlines and occupied our backlog. It&#8217;s evidently been a priority for our users, as over the past month, traffic to our Eth2 pages has exceeded even the homepage visits.<!-- --><\/p>\n<p><!-- --><br \/>\n<!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"developers\">Developers<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Moreover, our other primary focus in the final months of 2020 was to enhance our developer content, thereby providing users with a reliable source of information to get initiated. While it remains a work-in-progress, we have successfully developed: ]<!-- --><\/p>\n<p><!-- --><br \/>\n<!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Post some user testing, we have amassed numerous ideas to better these aspects as we transition into the new year.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"translations\">Translations<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The latter part of 2020 proved to be monumental for broadening our outreach into various languages. During this time, our translator community has enriched content in:<!-- --><\/p>\n<p><!-- --><br \/>\n<!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">You can explore all 33 languages now supported at <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethereum.org\/en\/languages\/\">ethereum.org\/en\/languages<!-- --><\/a> and discover how to <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethereum.org\/en\/contributing\/translation-program\/\">join translation initiatives<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<hr aria-orientation=\"horizontal\" class=\"chakra-divider css-1e6gg7n\"\/>\n<!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">We can&#8217;t cover every detail, so please check out <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethereum.org\">ethereum.org<!-- --><\/a> and <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/category\/ethereum-org\">our previous updates<!-- --><\/a> to see the other projects we&#8217;ve undertaken since your last visit.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">As always, if you wish to contribute in any capacity, drop by <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/discord.gg\/CetY6Y4\">our Discord<!-- --><\/a> or submit an issue\/PR on <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/ethereum-org-website\">GitHub<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"ewasm\">Ewasm<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Authored by Alex Beregszaszi, Pawe\u0142 Bylica, and Sina Mahmoodi<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">As mentioned in the <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/04\/14\/ef-supported-teams-research-and-development-update-2020-pt-1\">previous update<!-- --><\/a>, we have continued to engage in research concerning Eth1, Eth1.x, and Eth2.0 related subjects.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"eth1\">Eth1<!-- --><\/h3>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"evm384\">EVM384<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">A primary motivating factor behind our work to identify performance constraints of various virtual machine configurations (<!-- --><em class=\"chakra-text css-0\">EVM and WebAssembly<!-- --><\/em>) and their implementations is to enhance execution speed within Ethereum. Previously noted in a <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2019\/12\/03\/ef-supported-teams-research-and-development-update-2019-pt-2\">prior update<!-- --><\/a>, we successfully enhanced WebAssembly for efficient execution of the elliptic curve pairing operation.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">In the past six months, we embarked on the EVM384 project aiming to achieve similar scalability on EVM. Initially, it started as <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/notes.ethereum.org\/@axic\/evm384-preview\">a small proof of concept<!-- --><\/a>, but we have since published a <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/notes.ethereum.org\/@axic\/evm384\">detailed explanation<!-- --><\/a> and several updates (<!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/notes.ethereum.org\/@poemm\/evm384-interface-update\">2<!-- --><\/a>, <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/notes.ethereum.org\/@poemm\/evm384-update3\">3<!-- --><\/a>, and <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/notes.ethereum.org\/@poemm\/evm384-update4\">4<!-- --><\/a>) throughout this process. In these updates, we present:<!-- --><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">an overview of the precompile issue,<!-- --><\/li>\n<li class=\"css-cvpopp\">three new EVM opcodes designed for efficient 384-bit calculations,<!-- --><\/li>\n<li class=\"css-cvpopp\">various design options for EVM384,<!-- --><\/li>\n<li class=\"css-cvpopp\">a comparison between the languages Yul and Huff,<!-- --><\/li>\n<li class=\"css-cvpopp\">and an implementation of the pairing operation over the BLS12-381 curve using the introduced opcodes.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">You can keep up with updates regarding EVM384 on the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethereum-magicians.org\/t\/evm384-feedback-and-discussion\/4533\">relevant EthMagicians topic<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"evm-subroutines\">EVM subroutines<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The team <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethereum-magicians.org\/t\/eip-2315-simple-subroutines-for-the-evm-analysis\/4229\">conducted an analysis and proposed substantial modifications<!-- --><\/a> to <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/eips.ethereum.org\/EIPS\/eip-2315\">EIP-2315 \u201cSimple Subroutines for the EVM\u201d<!-- --><\/a>. The discussions that followed emphasized potential risks and possibilities, leading us to further investigate <!-- --><span class=\"chakra-text css-ons8vw\">JUMPDEST<\/span> analysis methods. The result of this investigation is the <!-- --><em class=\"chakra-text css-0\">baseline interpreter<!-- --><\/em> as elaborated on subsequently.<!-- --><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"evmone\">evmone<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">According to <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ewasm\/benchmarking\">our benchmarks<!-- --><\/a>, <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/evmone\">evmone<!-- --><\/a> is a remarkably fast EVM interpreter. A notable strength of evmone lies in its thorough bytecode analysis, which facilitates <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/evmone\/blob\/master\/docs\/efficient_gas_calculation_algorithm.md\">pre-computation of gas costs and checking stack requirements<!-- --><\/a>. Nevertheless, this also can lead tobe a drawback or weakness.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">A fresh version of evmone referred to as the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/evmone\/pull\/261\">&#8220;baseline interpreter&#8221;<!-- --><\/a> has been developed as part of the initiative. The aim is to assess a significantly more straightforward interpreter architecture to prevent analysis weaknesses and potentially challenge the efficiency advantages of analysis. While this design is not yet field-tested, it successfully passes all of evmone&#8217;s unit tests, the Ethereum State Tests, and Solidity&#8217;s testing framework.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Unexpectedly, this simplistic design operates exceptionally well. In terms of &#8220;average&#8221; contracts, the performance variation between the baseline and the &#8220;advanced&#8221; evmone is minimal; however, on computation-heavy EVM bytecode, the &#8220;advanced&#8221; evmone can execute up to 40% more quickly.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The TurboGeth team has initiated the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/torquem-ch\/silkworm\">Silkworm<!-- --><\/a> project, which incorporates evmone as the EVM implementation. Additionally, they have suggested several intriguing modifications to <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/evmone\/pulls?q=involves:AlexeyAkhunov+involves:yperbasis\">evmone<!-- --><\/a> and <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/evmc\/pulls?q=involves:AlexeyAkhunov+involves:yperbasis\">EVMC<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"evmc\">EVMC<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Three new iterations of <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/evmc\">EVMC<!-- --><\/a> have been launched: <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/evmc\/releases\/tag\/v7.2.0\">7.2.0<!-- --><\/a>, <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/evmc\/releases\/tag\/v7.3.0\">7.3.0<!-- --><\/a>, and <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/evmc\/releases\/tag\/v7.4.0\">7.4.0<!-- --><\/a>. These releases brought various enhancements for C++, Go, and Java language compatibility, along with improvements to tooling.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Recently, the Java support has garnered significant attention due to its incorporation into <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/tuweni.apache.org\">Apache Tuweni<!-- --><\/a>. For a compilation of <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/evmc\/pulls?q=is:pr+java\">related modifications and dialogues<!-- --><\/a>, see here.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Recently, EVMC support has been adopted by several projects, including <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ledgerwatch\/turbo-geth\">TurboGeth<!-- --><\/a>, <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/torquem-ch\/silkworm\">Silkworm<!-- --><\/a>, and <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/second-state\/ssvm\">Second State&#8217;s SSVM<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"eth1x--stateless-ethereum\">Eth1.x \/ Stateless Ethereum<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Within the Stateless Ethereum framework, we have engaged in numerous initiatives.<!-- --><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"code-merkleization\">Code merkleization<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Following the preliminary feasibility studies on code merkleization mentioned in the last update, we introduced <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/eips.ethereum.org\/EIPS\/eip-2926\">EIP-2926<!-- --><\/a> and implemented the specification in <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/s1na\/go-ethereum\/blob\/code-merkleization-ssz\/codetrie\/codetrie.go\">geth<!-- --><\/a> and a <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/hugo-dc\/code-chunks\">standalone tool<!-- --><\/a> in Python. Additional experiments have been conducted, including employing SSZ for merkleization and analyzing performance overheads, which can be found in the discussion <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethereum-magicians.org\/t\/eip-2926-chunk-based-code-merkleization\/4555\">thread<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"witness-format\">Witness format<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">With leadership from Paul, the team has engaged in <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/stateless-ethereum-specs\/blob\/master\/witness.md\">specifying<!-- --><\/a> and refining the witness format. The format has been implemented in <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/poemm\/eth_witness_experiments\">Python<!-- --><\/a> as well as <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/s1na\/eth-witness\/blob\/master\/src\/index.ts\">Javascript<!-- --><\/a>. The Python implementation has also been used to generate tests for the format.<!-- --><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"binarification\">Binarification<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">We have also closely monitored the binarification initiative and contributed to the design <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethresear.ch\/t\/binary-trie-format\/7621\">discussion<!-- --><\/a>. Our intention is to ensure that the design integrates seamlessly with other components of a stateless Ethereum. To achieve this, we have sought to align the code merkleization proposal with the binarification efforts.<!-- --><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"regenesis\">ReGenesis<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Previously, we advocated for a state cache to lessen (stateless) witness sizes within Eth2.0 Phase 2. Therefore, we view <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethresear.ch\/t\/regenesis-resetting-ethereum-to-reduce-the-burden-of-large-blockchain-and-state\/7582\">ReGenesis<!-- --><\/a> as an encouraging avenue. To facilitate the dialogue, Paul released an early work-in-progress version of a <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"http:\/\/paul.oemm.org\/eth\/regenesis_recursive_function_def.pdf\">formal specification<!-- --><\/a> for a potential version of ReGenesis. The specification adheres to the notation introduced by the Yellow Paper.<!-- --><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"light-client-sync\">Light-client sync<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Light clients face limitations due to the volume of data they &#8220;retrieve&#8221; from altruistic servers. We believe that techniques initially developed for Stateless Ethereum, combined with a commitment to chain history, can alleviate pressure on the servers. As an initial step towards this goal, we have <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethresear.ch\/t\/state-of-block-header-sync-in-light-clients\/8047\">evaluated<!-- --><\/a> methods that minimize bandwidth needs for synchronizing the header chain. A commitment to the chain history could also be beneficial in contexts (such as ReGenesis) beyond&#8230;of illumination client synchronization.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"eth20\">Eth2.0<!-- --><\/h3>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"deposit-contract\">Deposit agreement<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Our group spearheaded the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/axic\/eth2-deposit-contract\">Solidity revision<!-- --><\/a> of the deposit agreement, which successfully underwent <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/06\/23\/eth2-quick-update-no-12\">audit and validation<!-- --><\/a>, and was <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/eth2.0-specs\/blob\/dev\/specs\/phase0\/deposit-contract.md#solidity-code\">integrated as a component of the Eth2.0 specification<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/runtimeverification\/deposit-contract-verification\/blob\/master\/deposit-contract-verification.pdf\">validation report<!-- --><\/a> highlights an advantage of the revision:<!-- --><\/p>\n<p><!-- --><\/p>\n<blockquote class=\"chakra-code css-1cl98my\"><p>\n<!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">In spite of the added runtime checks, the Solidity implementation is more gas-efficient (30~40% lower gas cost) than the initial Vyper execution, due to the sophisticated code optimization offered by the Solidity compiler.<!-- --><\/p>\n<p><!-- --><\/p><\/blockquote>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"eth1x64\">Eth1x64<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">In the <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/04\/14\/ef-supported-teams-research-and-development-update-2020-pt-1\">preceding update<!-- --><\/a>, we detailed our efforts on Eth2 Phase 2 and presented Eth1x64 as a notion.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The initial variant of Eth1x64, referred to as <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethresear.ch\/t\/eth1x64-variant-1-apostille\/7365\">Apostille<!-- --><\/a>, defines a minimally intrusive extension to Eth1 and EVM. This extension facilitates contracts on the Eth1 chain to interact with other execution shards on Eth2.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The experiment illustrates a scenario where all 64 shards of Eth2 are uniform and executing the EVM, allowing for inter-shard communication. Moreover, the techniques introduced can be (re)utilized in the context of the Eth1-Eth2 integration.<!-- --><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"fizzy\">Fizzy<!-- --><\/h4>\n<p><!-- --><\/p>\n<blockquote class=\"chakra-code css-1cl98my\"><p>\n<!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Fizzy aims to be a swift, deterministic, and meticulous WebAssembly interpreter crafted in C++.<!-- --><\/p>\n<p><!-- --><\/p><\/blockquote>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The four primary objectives of <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/wasmx\/fizzy\">Fizzy<!-- --><\/a> are:<!-- --><\/p>\n<p><!-- --><\/p>\n<ol role=\"list\" class=\"css-13a5a39\">\n<li class=\"css-cvpopp\">high code excellence and clarity<!-- --><\/li>\n<li class=\"css-cvpopp\">strict adherence to specifications<!-- --><\/li>\n<li class=\"css-cvpopp\">effectiveness<!-- --><\/li>\n<li class=\"css-cvpopp\">first-rate support for deterministic applications<!-- --><\/li>\n<\/ol>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/04\/14\/ef-supported-teams-research-and-development-update-2020-pt-1\">Since April<!-- --><\/a> remarkable advancements have been achieved, with three out of four major goals already accomplished.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">In comparison to other interpreters, we have intentionally limited the focus to WebAssembly 1.0, refrained from implementing any pending proposals, and resisted the temptation to create an all-inclusive library. Fizzy exclusively supports the canonical binary representation (<!-- --><span class=\"chakra-text css-ons8vw\">.wasm<\/span>) of WebAssembly and does not accommodate the text formats (<!-- --><span class=\"chakra-text css-ons8vw\">.wat<\/span>\/<!-- --><span class=\"chakra-text css-ons8vw\">.wast<\/span>). This has enabled us to maintain simplicity and clarity in our code.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The meticulous compliance with the specification, together with comprehensive utilization of static analyzers and fuzz testing, allowed us to identify gaps in test coverage within <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/WebAssembly\/spec\/issues?q=involves:chfast+involves:axic+involves:gumb0\">the specification<!-- --><\/a>, and upstream issues in <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/WebAssembly\/wabt\/issues?q=involves:chfast+involves:axic+involves:gumb0\">wabt<!-- --><\/a> and <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/wasm3\/wasm3\/issues?q=involves:chfast+involves:axic+involves:gumb0\">wasm3<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Although enhancing execution speed was not the primary goal, we remained aware of design choices influencing it. This has enabled Fizzy to become the second fastest interpreter available, surpassing our previous preference <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/WebAssembly\/wabt\">wabt<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Fizzy in figures:<!-- --><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">5 significant releases<!-- --><\/li>\n<li class=\"css-cvpopp\">~2300 lines of well-annotated modern C++17 code<!-- --><\/li>\n<li class=\"css-cvpopp\">an additional ~7300 lines of unit tests<!-- --><\/li>\n<li class=\"css-cvpopp\">99.96% <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/codecov.io\/gh\/wasmx\/fizzy\">code coverage<!-- --><\/a><\/li>\n<li class=\"css-cvpopp\">100% &#8220;spectest&#8221; success rate (the official WebAssembly test suite)<!-- --><\/li>\n<li class=\"css-cvpopp\">the second fastest WebAssembly interpreter<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">We are preparing for the upcoming 0.6.0 release which will unveil a public C and Rust API, as well as provide support for <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/WebAssembly\/WASI\">WASI<!-- --><\/a>, enabling a wide array of applications to be executed.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Subsequently, our efforts will shift towards blockchain-specific behaviors (efficient metering) and ongoing upstream contributions to ensure specification conformance.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"formal-verification\">Formal Verification<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Authored by Leo Alt, Martin Lundfall, David Terry<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"act\">Act<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Act 0.1 is nearing release. It is evolving as a language, and substantial effort has gone into tooling for Act over recent months, as planned:<!-- --><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\"><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/act\/blob\/master\/docs\/smt.md\">SMT backend<!-- --><\/a>. Inductive high-level properties such as contract invariants and post conditions articulated in Act can be proven automatically using the Act SMT backend. The properties are expressed as inductive theorems utilizing the requisite SMT theories and are provided to an SMT solver. This functionality enables users to validate properties in a straightforward, simple, and standalone manner, segregated from the bytecode. The SMT backend presumes that the contract\u2019s bytecode&#8220;`html<br \/>\n is accurately depicted by the storage modifications outlined in the specification. To validate this, you may employ the<!-- --><\/li>\n<li class=\"css-cvpopp\">Hevm backend. Hevm currently possesses <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/fv.ethereum.org\/2020\/07\/28\/symbolic-hevm-release\/\">symbolic execution capabilities<!-- --><\/a>, which are now completely embedded into Act. Given an Act specification and the compiled bytecode, it will automatically verify whether the storage updates specified in the documentation correspond to the actions performed by the bytecode.<!-- --><\/li>\n<li class=\"css-cvpopp\">Coq backend. Similar to the SMT backend, this functionality is beneficial for demonstrating inductive high-level attributes independently. SMT solvers are automatic and swift, but they cannot address every issue. Some challenges necessitate enhanced expressiveness, which is where the Coq backend comes in. It produces Coq definitions and theorems, allowing users to utilize the Coq proof assistant for validating high-level properties.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"hevm\">Hevm<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Hevm&#8217;s symbolic execution capabilities were <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/fv.ethereum.org\/2020\/07\/28\/symbolic-hevm-release\/\">detailed earlier this year<!-- --><\/a>, and here\u2019s an overview of the features introduced since the previous update:<!-- --><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">Symbolic execution. As described in the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/fv.ethereum.org\/2020\/07\/28\/symbolic-hevm-release\/\">prior blog post<!-- --><\/a>, <!-- --><span class=\"chakra-text css-ons8vw\">hevm<\/span> is now equipped to analyze the various execution pathways of a smart contract, holding one or more variables in an abstract state. The resultant post conditions can be assessed for assertion violations or against a specified requirement. State can be retrieved from an rpc node or retained completely abstract. The execution trace tree can be navigated interactively in a debugger interface.<!-- --><\/li>\n<li class=\"css-cvpopp\">Equivalence checking. <!-- --><span class=\"chakra-text css-ons8vw\">hevm equivalence<\/span> performs symbolic execution on two smart contracts and contrasts all resultant terminal states. This is particularly advantageous for verifying the safety of compiler optimizations or comparing various implementations of contracts that exhibit the same semantics.<!-- --><\/li>\n<li class=\"css-cvpopp\">Decompilation of smart contracts. Initial strides have been made towards creating a symbolic decompiler. Executing <!-- --><span class=\"chakra-text css-ons8vw\">hevm symbolic<\/span> with the flag <!-- --><span class=\"chakra-text css-ons8vw\">&#8211;show-tree<\/span> presents a summary of the reachable terminal states, their path conditions, and the state modifications made. While this feature is still in its preliminary phase, the objective is to generate a set of <!-- --><span class=\"chakra-text css-ons8vw\">act<\/span> specifications from EVM bytecode, which could subsequently be employed to further analyze the behavior of the smart contract.<!-- --><\/li>\n<li class=\"css-cvpopp\">DSTest integration. <!-- --><span class=\"chakra-text css-ons8vw\">hevm<\/span>\u2019s symbolic execution abilities have been assimilated with the <!-- --><span class=\"chakra-text css-ons8vw\">dapp<\/span> <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/dapphub\/dapptools\">testing framework<!-- --><\/a>. This implies that you can now compose properties and formally validate them in Solidity just as you would write tests! There is much more to elaborate on here, and we are preparing a detailed blog post on the subject.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"smtchecker\">SMTChecker<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Numerous significant features have been incorporated into the SMTChecker since the last update, including:<!-- --><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">Extensive language support. The SMTChecker is now nearly capable of analyzing any syntax except for 1) certain language features that are infrequently utilized, such as function pointers and complex memory\/storage aliasing; and 2) aspects that are too challenging to maintain an efficiently reasonable representation in the SMT domain, such as ABI encoding\/decoding and hash functions.<!-- --><\/li>\n<li class=\"css-cvpopp\">External calls to unknown code. This is a crucial enhancement! The SMTChecker\u2019s <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/docs.soliditylang.org\/en\/v0.7.5\/security-considerations.html#constrained-horn-clauses-chc\">Constrained Horn Clauses<!-- --><\/a> (CHC) engine abstracts external calls to untrusted contracts as an indefinite number of nondeterministic calls to the analyzed contract. By utilizing this abstraction, the CHC engine can accurately determine the state alterations that may or may not occur through this external call, enabling it to retain previously inferred inductive invariants and\/or derive new ones. This allows the tool to automatically prove and identify invariants about more intricate properties that involve external calls and potential reentrancy. This also significantly diminishes the number of false positives caused by external calls.<!-- --><\/li>\n<li class=\"css-cvpopp\">Multi-transaction counterexamples. Another major improvement! The CHC engine now presents the complete transaction trail from the contract\u2019s constructor to the function triggering the verification condition. It additionally includes actual values for the function\u2019s arguments and state variables, where relevant, for value types and arrays. Upcoming features include reporting actual values for structs and detailing reentrant calls in the transaction trace.<!-- --><\/li>\n<li class=\"css-cvpopp\">Enhanced control and user experience. The user can now separately select which engine should be activated, whether it be <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/docs.soliditylang.org\/en\/v0.7.5\/security-considerations.html#bounded-model-checker-bmc\">BMC (Bounded Model Checker)<!-- --><\/a>, CHC, or both. Additionally, a timeout in milliseconds can be set and applied to each request. This makes achieving fully deterministic reruns difficult, but is advantageous when attempting to validate complex properties that may require additional time.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"geth\">Geth<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Written by P\u00e9ter Szil\u00e1gyi<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The Geth team&#8217;s main emphasis in recent months has been on establishing a foundation for several features we are progressively launching in the upcoming weeks and towards Eth1-Eth2 interoperability:<!-- --><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">One feature we&#8217;ve been operating ourselves for most of the year but have been delaying releasing to everyone is the <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/07\/17\/ask-about-geth-snapshot-acceleration\">snapshotter<!-- --><\/a>, which permits the storage of the Ethereum state in a flat format within the database. Although the primary functionality performed well, we dedicated a substantial amount of time developing various recovery features so that crashes and desynchronizations with the state trie can be managed effectively. You can already execute your node with &#8211;snapshot, but as it is consensus critical, we will only enable it by default in our upcoming major release, scheduled for early January.<!-- --><\/li>\n<li class=\"css-cvpopp\">The main aim of the snapshotter was to facilitate snap sync, a successor to fast- and warp sync, boasting the advantages of both while mitigating their disadvantages. The protocol was entirely specified and published over the past few months in the <!-- --><br \/>\n&#8220;`<a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/devp2p\/blob\/master\/caps\/snap.md\">devp2p repository<!-- --><\/a>, which contains a complete production implementation awaiting integration into the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/go-ethereum\/pull\/21482\">Geth repository<!-- --><\/a>. As a preview, the metrics from our <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/twitter.com\/peter_szilagyi\/status\/1323488829769175040\">recent benchmark<!-- --><\/a>: network packets decreased by 5(!) orders of magnitude, while disk IO and upload improved by 2 orders of magnitude. 5x quicker synchronization, 2x reduced download.<!-- --><\/li>\n<li class=\"css-cvpopp\">A significant weakness of Geth since its launch has been the fact that once data was stored in the database, we never removed it. Over the long term, our disk usage consistently increased and became bloated with obsolete states from ancient blocks. The rapid iteration capability of the snapshotter gives us a remarkable opportunity to create a straightforward <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/go-ethereum\/pull\/21724\">state pruner<!-- --><\/a>. While we won&#8217;t enable it as an ongoing process within Geth shortly, you&#8217;ll have the option to prune your database offline using <!-- --><span class=\"chakra-text css-ons8vw\">geth snapshot prune-state<\/span>, which should conclude within a few hours.<!-- --><\/li>\n<li class=\"css-cvpopp\">In a more experimental domain, we&#8217;ve been exploring the feasibility of substituting the existing hexary state trie with a <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/medium.com\/@gballet\/structure-of-a-binary-state-tree-part-1-48c587836d2f\">binary one<!-- --><\/a>, aimed at notably decreasing witness sizes (in a stateless direction) and light client proofs. Moreover, binary tries could also assist in alleviating some of the code complexity for new clients that aspire to join the Ethereum network solely from a forthcoming block, disregarding the chain history tied to the hexary tries. Completing this work is still a distant goal, as this is akin to performing open-heart surgery on Ethereum.<!-- --><\/li>\n<li class=\"css-cvpopp\">With the Eth2 beacon chain now operational, we&#8217;ve been <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/go-ethereum\/pull\/21614\">developing<!-- --><\/a> a potential <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethresear.ch\/t\/architecture-of-a-geth-based-eth1-engine\/7574\">integration<!-- --><\/a> of the current Ethereum chain into a shard of the beacon chain, which would consequently allow for the operation of arbitrary EVM shards on Eth2. Several components are still lacking for it to be production-ready (primarily requiring a new synchronization model, though no new protocols), yet a prototype Geth EVM shard atop Eth2 has already been <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethresear.ch\/t\/architecture-of-a-geth-based-eth1-engine\/7574\">demonstrated<!-- --><\/a>.<!-- --><\/li>\n<li class=\"css-cvpopp\">We&#8217;ve come to understand that &#8211; at this point &#8211; most clients do not prioritize enhancements to network protocols, even though Geth has defined (ACD approved) and deployed quite a few recently. This situation is problematic, as it stops us from deprecating older protocol versions, leading to fragility in our code. While executing these modifications isn&#8217;t difficult, validating them is, which seems to be the main reason why other clients are hesitant to pursue it. To alleviate some of the workload, we initiated the development of a protocol tester to validate an arbitrary client&#8217;s implementations of the discovery protocol, devp2p, and higher-level overlays (<!-- --><span class=\"chakra-text css-ons8vw\">eth<\/span>, <!-- --><span class=\"chakra-text css-ons8vw\">snap<\/span>, etc).<!-- --><\/li>\n<li class=\"css-cvpopp\">In a similar manner to the aforementioned protocol tester, considerable effort has been dedicated to updating <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/hive\">hive<!-- --><\/a> to align with new clients and testing suites. We hope that other clients will also start contributing tests to validate each other&#8217;s code and that soon Eth2 clients will also participate in a collective effort to ensure network stability.<!-- --><\/li>\n<li class=\"css-cvpopp\">Geth has implemented and operated 2 testnets for the upcoming Berlin hard fork (YOLO v1 and v2), with the 3rd one presently being prepared once all proposed EIPs are reasonably finalized. This also suggests that we&#8217;ve invested substantial time in implementing and delivering the various EIPs that will constitute the Berlin hard fork. Progress on this front is quite irregular, as the EIP process is not the most efficient and the proposals undergo significant evolution, but we remain optimistic that all details will be finalized promptly to launch YOLOv3 and subsequently Berlin.<!-- --><\/li>\n<li class=\"css-cvpopp\">For a comprehensive list of security enhancements in Geth &#8211; in order to avoid repeating the same items multiple times &#8211; kindly refer to the <!-- --><em class=\"chakra-text css-0\">Security<!-- --><\/em> section a little further down authored by Martin Holst Swende.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"javascript-team\">JavaScript Team<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Authored by Holger Drewes<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The JavaScript team has just released its major EthereumJS VM v5, which comprises six significant version releases:<!-- --><\/p>\n<p><!-- --><br \/>\n<!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">VM v5 is the first fully-featured JavaScript EVM available with backports for all hard forks from genesis. It also includes dedicated support for EIPs, moving away from a hard fork-centric VM. These new library versions finalize our transition to TypeScript and all now offer a modern JS Promise-based API. Additionally, essential refactoring has been performed on the block and tx libraries to eliminate technical debt. More information about the release can be found in the <!-- --><a class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ethereum.org\/2020\/11\/26\/ethereumjs-vm-v5-release\">blog post<!-- --><\/a> on the EF blog, which discusses things in much greater detail.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">These new releases provide a foundation for us to concentrate more effectively on protocol research and development. Our <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereumjs\/ethereumjs-vm\/tree\/master\/packages\/client\">@ethereumjs\/client<!-- --><\/a>, which we have recently <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereumjs\/ethereumjs-vm\/pull\/973\">integrated<!-- --><\/a> into our monorepo, will assume a pivotal role. Building upon the new VM, Common, and Blockchain release versions allows us to finalize a conceptually straightforward full-sync implementation on the client and initiate collaborative development on developer testnets like the <!-- --><span class=\"chakra-text css-ons8vw\">Yolo<\/span> or <!-- --><span class=\"chakra-text css-ons8vw\">EIP-1559<\/span> test networks. The client is far from mainnet readiness but will greatly assist us in various development and research contexts.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Development on <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethers-io\/ethers.js\">Ethers<!-- --><\/a> continues, with <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/twitter.com\/ricmoo?lang=en\">@ricmoo<!-- --><\/a> having executed 23 (!) minor feature and bug fix releases since the significant <!-- -->&#8220;`html<br \/>\n<a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethers-io\/ethers.js\/releases\/tag\/v5.0.0\">v5 release<!-- --><\/a> in June 2020 (refer to earlier beta release notes for the complete overview). Significant enhancements include the added capability for EIP-712 signed typed data in <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethers-io\/ethers.js\/releases\/tag\/v5.0.18\">v5.0.18<!-- --><\/a> and new ENS resolver methods for contentHash in <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethers-io\/ethers.js\/releases\/tag\/v5.0.10\">v5.0.10<!-- --><\/a>, alongside numerous minor corrections and enhancements introduced. Considerable effort has also been made on Ethers to guarantee it continues to be a dependable infrastructure element within the extensive ecosystem it is utilized. An illustration here is the work done to bolster Alchemy and Infura provider support: refer to <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethers-io\/ethers.js\/releases?after=v5.0.6\">v5.0.6<!-- --><\/a> and the following releases. Check this <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.ricmoo.com\/highlights-ethers-js-december-2020-2e2db8bc800a\">blog post<!-- --><\/a> for a more detailed review of the recent highlights.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"remix\">Remix<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Written by Yann Levreau &amp; Rob Stupay<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Over the last 6 months, the Remix Project has experienced a substantial amount of development. We\u2019ve enhanced the functionality, the caliber of the codebase, and the IDE&#8217;s compatibility with other projects. Additionally, we have been preparing for subsequent versions of the IDE. Nevertheless, the sum of our programming efforts would be insignificant if we did not connect to educate new users, collaborate with other organizations, and expand our community. Therefore, we did!<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Remix IDE is utilized by both newcomers to Ethereum and seasoned developers. We have strengthened the tool for both categories of users. We have also been working to enhance the Developer Experience (DevX) for those creating plugins for the IDE while ensuring their plugins retain a polished appearance and function reliably.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Significant alterations are on the horizon for Remix. Currently, the IDE employs the yoyo framework, which is no longer supported. Thus, we are progressing and have initiated the transition to React and Theia &#8211; a framework designed specifically for developing IDEs. Additionally, we have completed the first version of a Remix plugin for VSCode.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">For detailed information about the updates, refer to <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/medium.com\/remix-ide\/remix-project-the-last-6-months-4a7ad00ff536?source=friends_link&amp;sk=d4a16b143362ae8e0e6ef5cdb816847b\">our blog post on the past six months<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"snake-charmers-python-ecosystem-pyevmtrinityweb3pyvyper\">Snake Charmers [Python Ecosystem: PyEVM\/Trinity\/Web3.py\/Vyper]<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Written by Piper Merriam<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">Fe-Lang, a novel smart contract language, is under active development.<br \/>\n<!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">The language initially emerged as a rewrite of the Vyper compiler (in Rust) but has since taken its own direction. Additional details regarding the background and objectives can be found in the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/snakecharmers.ethereum.org\/fe-a-new-language-for-the-ethereum-ecosystem\/\">official announcement article<!-- --><\/a>.<!-- --><\/li>\n<li class=\"css-cvpopp\">We are on schedule to have a functional ERC-20 implementation in Fe before the year&#8217;s end. To clarify, the compiler will not yet be advisable for production use as an ERC20 by that time, but we anticipate showcasing Fe&#8217;s capabilities with such a well-understood working example.<!-- --><\/li>\n<li class=\"css-cvpopp\">Further information can be found at <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/fe.ethereum.org\/\">https:\/\/fe.ethereum.org\/<!-- --><\/a> as well as our latest <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/snakecharmers.ethereum.org\/fe-development-update-1\/\">development update<!-- --><\/a>.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/li>\n<li class=\"css-cvpopp\">The Trinity team is concluding development on the Trinity Ethereum client to concentrate on more significant issues with the core protocols.<!-- --><\/li>\n<li class=\"css-cvpopp\">We are commencing work to establish a DHT-based network for more efficiently serving the chain history, along with ongoing research on how to address on-demand state availability. The project is progressing under the name \u201cAlexandria\u201d. Learn more in our recent <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/snakecharmers.ethereum.org\/alexandria-dev-update-1\/\">development<!-- --><\/a> <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/snakecharmers.ethereum.org\/alexandria-dev-update-2\/\">updates<!-- --><\/a>.<!-- --><\/li>\n<li class=\"css-cvpopp\">The Web3.py team maintains focus on the library&#8217;s stability, which has matured well over the recent years. Looking ahead, we are still progressing toward implementing native <!-- --><span class=\"chakra-text css-ons8vw\">async<\/span> support. Additionally, we are working to expose the Eth2 beacon chain APIs.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"stateless-ethereum\">Stateless Ethereum<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Written by Piper Merriam<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The \u201cStateless Ethereum\u201d initiative is ongoing. During our recent call in early November, we assessed the roadmap and objectives. Teams are actively working on converting the main Ethereum state trie from its existing hexary format to a new binary format, alongside modifications to introduce a merklization layer for how contract code is stored. These two modifications are expected to significantly reduce witness sizes. Re-genesis is also under ongoing research as it offers substantial benefits to client developers, enabling them to eliminate outdated fork rules from their codebases while facilitating an incremental path towards complete statelessness.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"security-security--consensus-tests\">Security [Security \/ Consensus Tests]<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Written by Martin Holst Swende<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">We have started conducting bi-weekly cross-client fuzzing calls among client developers, where we have been refining the practicalities of evm-based fuzzing, working towards consensus on formats and chain definitions. We have executed approximately 100K fuzzed test cases focusing on YOLOv2, specifically EIP-2929, among Geth, OE, and Besu.<!-- --><\/li>\n<li class=\"css-cvpopp\">Additional enhancements and expansions to Hive (<!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/hivetests.ethdevops.io\">https:\/\/hivetests.ethdevops.io<!-- --><\/a>), aimed at increasing the protocol testing capabilities and covering a broader range of the ETH\/63 protocol. We are also working on improving documentation and APIs, making it easier for other eth1 teams to integrate\/use for testing, and creating<br \/>\n&#8220;`it feasible to utilize for eth2 clients in the future.<!-- --><\/li>\n<li class=\"css-cvpopp\">Go-ethereum has recently joined OSS-Fuzz, which led to the discovery of a bug in the upstream Go-lang. Since the incorporation, we have further enhanced and widened the fuzzing targets.<!-- --><\/li>\n<li class=\"css-cvpopp\">Currently in progress, we aim to implement a(n optional) vulnerability-check within Geth, fetching data from a vulnerability-feed that can verify if the client is impacted by any established vulnerability.<!-- --><\/li>\n<li class=\"css-cvpopp\">The forkmon (<!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/forkmon.ethdevops.io\">https:\/\/forkmon.ethdevops.io<!-- --><\/a>) has been developed, now connecting 17 public and\/or nodes. It serves as a dashboard for visualizing<br \/>\n<!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">if different clients are agreeing on the head block<!-- --><\/li>\n<li class=\"css-cvpopp\">if not, where the discord (fork) initiated<!-- --><\/li>\n<li class=\"css-cvpopp\">whether any specific client has become unresponsive<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/li>\n<li class=\"css-cvpopp\">Additionally, we have broadened the range of in-house clients utilized for monitoring the Mainnet, now comprising Geth, Besu, Nethermind, and OpenEthereum.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"solidity\">Solidity<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Conceived by Franziska Heintel and Christian Reitwiessner<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">At the end of July, Solidity v0.7.0 was <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.soliditylang.org\/2020\/07\/28\/solidity-v0.7.0-release-announcement\/\">launched<!-- --><\/a>. You can discover a comprehensive list of all breaking changes <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/docs.soliditylang.org\/en\/latest\/070-breaking-changes.html#\">here<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">With the impending release of Solidity 0.8.0, we sought to experiment with a novel format to present the implementation specifics and alterations of breaking releases to you ahead of time. Consequently, we released a preview version. The <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.soliditylang.org\/2020\/10\/28\/solidity-0.8.x-preview\/\">preview release post<!-- --><\/a> comprises 0.8.x test binaries along with a thorough explanation of the forthcoming \u201cChecked Arithmetic\u201d feature (farewell SafeMath!) with its three sub-features. We anticipate that you will find these types of preview releases beneficial and welcome your feedback on the implementation of the breaking changes. Furthermore, as usual, if you&#8217;re keen on discussing language design with us, be sure to join the solidity-users <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/groups.google.com\/g\/solidity-users\">mailing list<!-- --><\/a>!<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Currently, the Solidity team is focused on the final aspects to incorporate into Solidity 0.8. Most importantly, the addition of overflow checks for arithmetic operations and enabling ABI coder V2 by default. Refer above for the preview release!<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Another significant task, which is also approaching completion, involves utilizing Yul as an intermediary language in the compiler. For this purpose, we have re-implemented the majority of the code generator. You can test it by utilizing <!-- --><span class=\"chakra-text css-ons8vw\">solc &#8211;experimental-via-ir<\/span> or <!-- --><span class=\"chakra-text css-ons8vw\">solc &#8211;ir<\/span> and <!-- --><span class=\"chakra-text css-ons8vw\">solc &#8211;ir-optimized &#8211;optimize<\/span>. The intention behind employing Yul is to make the compiler more transparent, allowing you to actually read and comprehend the code it produces. Moreover, it presents more avenues for optimization and you may soon bid farewell to \u201cstack too deep\u201d errors!<br \/>\nConcerning features, we wish to alter the Solidity language to accommodate more items at the file-level, enabling you to better structure your code and incorporate well-isolated helper functions.<br \/>\nLastly, with the introduction of error codes, you will soon possess the capability to mark issues that are comprehensible to the user while simultaneously consuming little gas.<br \/>\nAnd then there&#8217;s the language server&#8230;<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"solidity-summit\">Solidity Summit<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The inaugural Solidity Summit occurred online on April 29-30, 2020, featuring discussions and presentations on Solidity, Yul, language design, and tools. The event stimulated conversations surrounding language design and enhancement while aiming to promote communication between teams working on related subjects. Additionally, the objective was to identify the requirements for the Ethereum smart contract environment. With abundant content and presentations for a comprehensive agenda over two days, it was a considerable success. The conference included 23 presentations and 13 open discussion sessions. To gather more information, view the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.soliditylang.org\/2020\/06\/09\/solidity-summit-recap\/\">recap<!-- --><\/a> of the event or watch the recordings of all sessions online in this <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/www.youtube.com\/playlist?list=PLaM7G4Llrb7xlGxwlYGTy1T-GHpytE3RC\">playlist<!-- --><\/a>. We intend to organize more Solidity Summits in the future and will keep you informed regarding the when and how.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"solidity-language-portal--domains\">Solidity Language Portal &amp; Domains<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">In October, we were thrilled to <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/twitter.com\/solidity_lang\/status\/1318953677332357126?s=20\">announce<!-- --><\/a> the unveiling of the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/soliditylang.org\">Solidity language portal<!-- --><\/a>, a central hub for all essential links and high-level information regarding Solidity. Alongside the launch of this portal, we organized the domains and migrated the majority of the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/twitter.com\/solidity_lang\/status\/1329031139495964673?s=20\">Solidity pages<!-- --><\/a> under the new <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/soliditylang.org\">soliditylang.org<!-- --><\/a> domain umbrella.<br \/>\nWe have recently changed the hosting of the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/docs.soliditylang.org\/en\/breaking\/installing-solidity.html#static-binaries\">static builds<!-- --><\/a>, which are now accessible at <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/binaries.soliditylang.org\">binaries.soliditylang.org<!-- --><\/a>. While the transition should have been smooth for most users, please ensure to update if you are still utilizing <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/ethereum.github.io\/solc-bin\/\">https:\/\/ethereum.github.io\/solc-bin\/<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"solidity-underhanded-contest\">Solidity Underhanded Contest<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">During October, we hosted a new version of the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/underhanded.soliditylang.org\/\">Solidity Underhanded Contest<!-- --><\/a>. The purpose of the contest is to raise awareness regarding smart contract security and unveil language design flaws by authoring seemingly innocent-lookingSolidity code that contains harmful actions or hidden exploits. Submissions ended on October 31st, and we are excited to announce the winners in the following days!<!-- --><\/p>\n<p><!-- --><\/p>\n<h3 class=\"chakra-heading css-145upk7\" id=\"sourcify\">Sourcify<!-- --><\/h3>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Apart from the primary update, the Solidity team has been focusing on a project named Sourcify (previously referred to as source-verify) for some time now. Sourcify serves as a contract verification platform and metadata repository, with the objective of enhancing the safety and <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.soliditylang.org\/2020\/06\/02\/sourcify-towards-safer-contract-interaction-for-humans\/\">clarity<!-- --><\/a> of interactions with smart contracts on the blockchain for its users. To reach this objective, Sourcify actively supports various initiatives to promote the adoption of open-source contract verification, metadata files, and NatSpec annotations.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">At its essence, Sourcify currently manages<!-- --><\/p>\n<p><!-- --><br \/>\n<!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Finally, we <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/blog.soliditylang.org\/2020\/07\/08\/solidity-turns-5\/\">celebrated<!-- --><\/a> the 5th anniversary of Solidity version 0.1.0 with a nostalgic look back, insights on over 5 years of language evolution, and a brief glimpse into the future.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"zkp-research\">ZKP Research<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Written by Dmitry Khovratovich, Mary Maller and Dankrad Feist<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"improving-stark-based-vdfs\">Enhancing STARK-based VDFs<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The concept is to demonstrate a lengthy incompressible iteration utilizing a zkSTARK (Ben-Sasson et al). We proposed a new iterative design with improved efficiency and security compared to the Starkware proposal Veedo. This latest design minimizes arithmetic operations per step and lowers hardware requirements. Additionally, our analysis included:<!-- --><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">How time-memory tradeoffs can influence the construction and proposed secure parameters.<!-- --><\/li>\n<li class=\"css-cvpopp\">Quantum threats on the function and quantum enhancements to tradeoff techniques.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"designing-a-more-secure-hash-function-for-zk-applications\">Creating a more robust hash function for ZK applications<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Existing ZK-friendly hash functions are overly reliant on algebraic attacks. However, the proof system UltraPLONK (which integrates the Plookup structure with PLONK) introduces a lookup table (similar to an AES S-box) as a rapid operation.<br \/>\nWe illustrate how to merge lookups with field operations to enhance speed in both proofs and standard hashing.<br \/>\nThe security is significantly grounded in conventional cryptanalysis rather than (less understood) Groebner basis attacks.<!-- --><\/p>\n<p><!-- --><\/p>\n<h4 class=\"chakra-heading css-1u9mv6z\" id=\"new-protocol-for-single-secret-leader-election-ssle-that-can-be-implemented-in-eth2\">Innovative protocol for Single Secret Leader Election (SSLE) that can be utilized in Eth2<!-- --><\/h4>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The consensus protocol in Eth2 operates on a leader basis. Consequently, a leader is appointed for each shard, who is tasked with proposing blocks and facilitating progress. This setup means a nefarious entity could theoretically disrupt the entire network simply by DDOSing the chosen leader. We have formulated a protective strategy against such attacks based on a Single Secret Leader Election (SSLE) proposed by Boneh and others.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The SSLE guarantees that the only individual aware of the leader&#8217;s identity is the leader themself. The leader discloses their identity solely when proposing a block, which means our malicious entity cannot determine whom to target. The SSLE is executed by shuffling encryptions in zero-knowledge. We have devised a shuffle argument inspired by Bayer and Groth&#8217;s work, but applying more contemporary inner product arguments to enhance efficiency. The argument is swift enough to fit within the Eth2 framework and does not necessitate a trusted setup. It is still pending formal audit.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"zokrates\">ZoKrates<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\"><em class=\"chakra-text css-0\">Written by Jacob Eberhardt<!-- --><\/em><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">We\u2019ve been diligently working since our previous update and are excited to unveil various new features and enhancements today.<br \/>\nDuring the last few months, we have expanded the ZoKrates language and compiler, added a new backend, and improved our documentation to make zkSNARKs more accessible to Ethereum developers.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">We have extended support for unsigned integers with additional operators and performance enhancements. This allowed us to rewrite significant standard library functions, like SHA256, completely in our DSL instead of relying on imports of pre-optimized circuits for efficiency.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">To elevate usability and developer experience, we integrated syntax highlighting into the ZoKrates Remix plugin, expanded input validation, and enabled user-friendly input forms for complex data types.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">As foundational work for the incorporation of new proving schemes and recursive proof composition, we included support for the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/arkworks-rs\">Arkworks<!-- --><\/a> zkSNARK libraries as an extra backend (<!-- --><em class=\"chakra-text css-0\">this library was named ZEXE until very recently<!-- --><\/em>). We express our gratitude to the EY Blockchain R&amp;D team for their significant contributions in this regard!<br \/>\nBuilding upon that, we are currently making strides towards enabling recursive zkSNARK composition within the ZoKrates toolkit.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">In addition to the typical documentation updates to illustrate new features and modifications, we have included a new tutorial aimed at assisting newcomers.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">We\u2019ll conclude with a brief teaser: We are nearing the completion of support for generic ZoKrates programs that depend on compile-time constants. This will greatly enhance code reusability and simplify the usage of our standard library. Stay tuned.<!-- --><\/p>\n<\/div>\n<p><script async src=\"\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script><br \/>\n<br \/><br \/>\n<br \/><a href=\"https:\/\/blog.ethereum.org\/en\/2020\/12\/09\/ef-supported-teams-research-and-development-update-2020-pt-2\">Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Friends, Leaves have descended in the northern hemisphere, summer approaches in the south, and ETH is being staked worldwide. The merriest of seasons has arrived, marking the inception of the beacon chain. Furthermore, phenomenal advancements have occurred recently by all EF-backed teams. However, due to the lack of in-person interactions lately, we may have overlooked<\/p>\n","protected":false},"author":3,"featured_media":6562,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[23],"tags":[722],"class_list":["post-7144","post","type-post","status-publish","format-standard","has-post-thumbnail","category-ethereum","tag-return-a-list-of-comma-separated-tags-from-this-title-ef-supported-teams-research-development-update"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v26.3 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Innovations on the Horizon: Recent Developments from EF-Supported Teams - WSJ-Crypto<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/\" \/>\n<meta property=\"og:locale\" content=\"it_IT\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Innovations on the Horizon: Recent Developments from EF-Supported Teams - WSJ-Crypto\" \/>\n<meta property=\"og:description\" content=\"Friends, Leaves have descended in the northern hemisphere, summer approaches in the south, and ETH is being staked worldwide. The merriest of seasons has arrived, marking the inception of the beacon chain. Furthermore, phenomenal advancements have occurred recently by all EF-backed teams. However, due to the lack of in-person interactions lately, we may have overlooked\" \/>\n<meta property=\"og:url\" content=\"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/\" \/>\n<meta property=\"og:site_name\" content=\"WSJ-Crypto\" \/>\n<meta property=\"article:published_time\" content=\"2025-01-09T19:26:05+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2024\/12\/devcon-lights-edit-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1042\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"wsjcrypto\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Scritto da\" \/>\n\t<meta name=\"twitter:data1\" content=\"wsjcrypto\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tempo di lettura stimato\" \/>\n\t<meta name=\"twitter:data2\" content=\"33 minuti\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/\",\"url\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/\",\"name\":\"Innovations on the Horizon: Recent Developments from EF-Supported Teams - WSJ-Crypto\",\"isPartOf\":{\"@id\":\"https:\/\/wsj-crypto.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2024\/12\/devcon-lights-edit-scaled.jpg\",\"datePublished\":\"2025-01-09T19:26:05+00:00\",\"author\":{\"@id\":\"https:\/\/wsj-crypto.com\/#\/schema\/person\/88a93723b30416db1a352d5a0096c4a7\"},\"breadcrumb\":{\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/#breadcrumb\"},\"inLanguage\":\"it-IT\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/#primaryimage\",\"url\":\"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2024\/12\/devcon-lights-edit-scaled.jpg\",\"contentUrl\":\"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2024\/12\/devcon-lights-edit-scaled.jpg\",\"width\":2560,\"height\":1042},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/wsj-crypto.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Innovations on the Horizon: Recent Developments from EF-Supported Teams\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/wsj-crypto.com\/#website\",\"url\":\"https:\/\/wsj-crypto.com\/\",\"name\":\"WSJ-Crypto\",\"description\":\"Just Another Crypto News Website\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/wsj-crypto.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"it-IT\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/wsj-crypto.com\/#\/schema\/person\/88a93723b30416db1a352d5a0096c4a7\",\"name\":\"wsjcrypto\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@id\":\"https:\/\/wsj-crypto.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/86fe8af82ea089646d6639ca2f87e0243d8688d957bd8e3ec22ec3c457cc16d4?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/86fe8af82ea089646d6639ca2f87e0243d8688d957bd8e3ec22ec3c457cc16d4?s=96&d=mm&r=g\",\"caption\":\"wsjcrypto\"},\"url\":\"https:\/\/wsj-crypto.com\/index.php\/author\/wsjcrypto\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Innovations on the Horizon: Recent Developments from EF-Supported Teams - WSJ-Crypto","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/","og_locale":"it_IT","og_type":"article","og_title":"Innovations on the Horizon: Recent Developments from EF-Supported Teams - WSJ-Crypto","og_description":"Friends, Leaves have descended in the northern hemisphere, summer approaches in the south, and ETH is being staked worldwide. The merriest of seasons has arrived, marking the inception of the beacon chain. Furthermore, phenomenal advancements have occurred recently by all EF-backed teams. However, due to the lack of in-person interactions lately, we may have overlooked","og_url":"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/","og_site_name":"WSJ-Crypto","article_published_time":"2025-01-09T19:26:05+00:00","og_image":[{"width":2560,"height":1042,"url":"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2024\/12\/devcon-lights-edit-scaled.jpg","type":"image\/jpeg"}],"author":"wsjcrypto","twitter_card":"summary_large_image","twitter_misc":{"Scritto da":"wsjcrypto","Tempo di lettura stimato":"33 minuti"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/","url":"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/","name":"Innovations on the Horizon: Recent Developments from EF-Supported Teams - WSJ-Crypto","isPartOf":{"@id":"https:\/\/wsj-crypto.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/#primaryimage"},"image":{"@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/#primaryimage"},"thumbnailUrl":"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2024\/12\/devcon-lights-edit-scaled.jpg","datePublished":"2025-01-09T19:26:05+00:00","author":{"@id":"https:\/\/wsj-crypto.com\/#\/schema\/person\/88a93723b30416db1a352d5a0096c4a7"},"breadcrumb":{"@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/#breadcrumb"},"inLanguage":"it-IT","potentialAction":[{"@type":"ReadAction","target":["https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/"]}]},{"@type":"ImageObject","inLanguage":"it-IT","@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/#primaryimage","url":"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2024\/12\/devcon-lights-edit-scaled.jpg","contentUrl":"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2024\/12\/devcon-lights-edit-scaled.jpg","width":2560,"height":1042},{"@type":"BreadcrumbList","@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/01\/09\/innovations-on-the-horizon-recent-developments-from-ef-supported-teams\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/wsj-crypto.com\/"},{"@type":"ListItem","position":2,"name":"Innovations on the Horizon: Recent Developments from EF-Supported Teams"}]},{"@type":"WebSite","@id":"https:\/\/wsj-crypto.com\/#website","url":"https:\/\/wsj-crypto.com\/","name":"WSJ-Crypto","description":"Just Another Crypto News Website","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/wsj-crypto.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"it-IT"},{"@type":"Person","@id":"https:\/\/wsj-crypto.com\/#\/schema\/person\/88a93723b30416db1a352d5a0096c4a7","name":"wsjcrypto","image":{"@type":"ImageObject","inLanguage":"it-IT","@id":"https:\/\/wsj-crypto.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/86fe8af82ea089646d6639ca2f87e0243d8688d957bd8e3ec22ec3c457cc16d4?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/86fe8af82ea089646d6639ca2f87e0243d8688d957bd8e3ec22ec3c457cc16d4?s=96&d=mm&r=g","caption":"wsjcrypto"},"url":"https:\/\/wsj-crypto.com\/index.php\/author\/wsjcrypto\/"}]}},"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/posts\/7144","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/comments?post=7144"}],"version-history":[{"count":3,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/posts\/7144\/revisions"}],"predecessor-version":[{"id":7147,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/posts\/7144\/revisions\/7147"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/media\/6562"}],"wp:attachment":[{"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/media?parent=7144"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/categories?post=7144"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/tags?post=7144"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}