{"id":445728,"date":"2024-10-05T19:00:07","date_gmt":"2024-10-05T18:00:07","guid":{"rendered":"https:\/\/cryptoslate.com\/?p=445728"},"modified":"2024-10-05T13:21:06","modified_gmt":"2024-10-05T12:21:06","slug":"why-ethereums-next-step-is-zero-knowledge","status":"publish","type":"post","link":"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/","title":{"rendered":"Why Ethereum\u2019s next step is zero-knowledge"},"content":{"rendered":"

The following is a guest post by Rob Viglione<\/span>, CEO of Horizen Labs.<\/span><\/em><\/p>\n

In the past year, there have been some major milestones along the Ethereum<\/a> roadmap that have leveled up the network. EIP-4844 (aka Dencun) introduced blobs and proto-danksharding, making data storage an order of magnitude cheaper for Layer 2s and resulting in far lower transaction fees.\u00a0<\/span><\/p>\n

Meanwhile, Layer 2s (mostly of the optimistic variety) have become more integrated and widely used in applications, making it possible to transact for less than a penny, and improving on Ethereum\u2019s fundamental infrastructure.\u00a0<\/span><\/p>\n

However, as anyone who has paid attention to gas fees will know, there is still too much congestion on Ethereum, and as the real-world usage of blockchains grows, more and more dApps will be competing for block space and computation.\u00a0<\/span><\/p>\n

It doesn\u2019t take an engineer or cryptographer to know that this is unsustainable. We\u2019ve seen what happens when Ethereum gets too congested. In some particularly high-surge moments, users have paid more than 2 ETH just to complete a transaction, and some of those transactions still failed as users scrambled to have them prioritized.\u00a0<\/span><\/p>\n

In a perfect world, we would move as much of that computation offchain, and still be able to post a succinct, verifiable proof that ensures the data is correct and in the right place.\u00a0<\/span><\/p>\n

Zero-knowledge proofs make this possible, but it\u2019s still challenging for blockchains to verify transactions with so many potential possibilities in the EVM, and it can quickly become expensive to go this route. Zk-rollups have to pay for specialized hardware that creates a ZK proof via a prover, and then that typically needs to be converted into a proof type that Ethereum can understand.\u00a0<\/span><\/p>\n

In short, optimistic rollups are relatively easy and affordable to verify, while zk-rollups are challenging and expensive. For small and even medium-sized businesses that want to do some of their business onchain and keep it confidential, zk-rollups are the way to go, but proof verification can be a prohibitive expense.\u00a0<\/span><\/p>\n

Rollup ecosystems have their own interests<\/b><\/h2>\n

Up to this point, the branded L2s haven\u2019t been interested in a modular proof verification solution like zkVerify \u2014 which can reduce verification costs by 90% or more. They could adopt it down the road, but it isn\u2019t their focus at the moment. Generally, the big L2 ecosystems believe in verifying all of these ZK proofs on the same chain and amortizing these costs across users.\u00a0<\/span><\/p>\n

However, we did find an opportunity with rollup-as-a-service (RaaS) providers, because they believe in a modular approach to blockchains and tend to service small and medium-sized projects who can\u2019t afford to pay those verification costs. For them, the idea of sending proofs to a standalone chain and then sending the proof verification back to Ethereum makes a lot of sense. Just like with modular data availability, we are now seeing RaaS providers adopt modular proof verification with open arms.\u00a0<\/span><\/p>\n

The big L2s have two main arguments against this approach: first, they believe it lessens the L2\u2019s security to move proof verification to a different layer. In actuality, some of these L2s already verify their proofs offchain. They just don\u2019t publicize that.\u00a0<\/span><\/p>\n

Their other argument is that they would prefer to aggregate proofs, by grouping a large batch of proofs together and essentially creating a \u201cproof of proofs.\u201d By doing that, the big L2s are able to spread the cost over a much larger number of transactions. However, they don\u2019t seem so concerned that with this approach, it might take a few hours to aggregate hundreds of proofs, at a potentially higher cost.\u00a0<\/span><\/p>\n

Aggregation makes sense for a lot of use cases, but not necessarily for an application where you want to do something quickly and have it verified in the same amount of time.\u00a0<\/span><\/p>\n

At the end of the day, you still have to trust the L2 that you\u2019re on.<\/span><\/p>\n

In some ways, the EVM is stuck in 2017<\/b><\/h2>\n

As our team kept digging into the ZK space and Ethereum\u2019s relationship with it, we discovered that Ethereum actually does have some compatibility with zero-knowledge elliptic curves using a precompile, which essentially makes it more efficient to handle the computation involved in verifying a proof. But the network currently only supports three mathematical operations on a single curve.\u00a0<\/span><\/p>\n

What does this mean for users? Since some zk-SNARKs cannot be verified, it requires the proofs to be wrapped in a more friendly form (using the bn128 proof), which results in less efficiency, more room for error, and potentially higher costs. Ideally, developers should be able to choose the zk-SNARK that best fits their application, and not being able to do so means they have to compromise on quality.\u00a0<\/span><\/p>\n

Technically, it\u2019s possible for Ethereum to adopt more advanced precompiles over time, but it can take years for them to be implemented. The last precompile was implemented in 2017, and there have been none since.\u00a0<\/span><\/p>\n

Why is that? A lack of demand? Is it actually not feasible to implement these on Ethereum? And even if the community is able to do so, would it still be inefficient to compute with these new precompiles on the EVM?<\/span><\/p>\n

It\u2019s not clear. But what is clear is that the EVM needs to be overhauled, and having ZK proofs verified onchain is still too costly for the average use case. After hardware, it\u2019s the biggest expense when using a zk-rollup.<\/span><\/p>\n

At Horizen Labs, we\u2019re tackling this in two ways: by offering modular proof verification in the form of zkVerify, and building a fully EVM-compatible chain with support for the latest zero-knowledge precompiles.\u00a0<\/span><\/p>\n

For example, Horizen 2.0 is built on Substrate, which allows for forkless upgrades that are automatically applied right after a community vote. No work has to be done on the node side, and no hard fork is required.\u00a0<\/span><\/p>\n

Some teams will prefer staying within a dedicated ecosystem like Horizen 2.0, with its own tight-knit community and network effects. Others will choose to go the RaaS route to build their own custom rollup, and they\u2019ll be able to enjoy the cost savings of offchain proof verification there as well.<\/span><\/p>\n

There are multiple ways to evolve the EVM with ZK, but we believe it needs to happen before the next wave of adoption.\u00a0<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

The following is a guest post by Rob Viglione, CEO of Horizen Labs. In the past year, there have been some major milestones along the Ethereum roadmap that have leveled up the network. EIP-4844 (aka Dencun) introduced blobs and proto-danksharding, making data storage an order of magnitude cheaper for Layer 2s and resulting in far […]<\/p>\n","protected":false},"author":1518,"featured_media":445736,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[25891,77497,36],"tags":[],"post_folder":[],"acf":[],"yoast_head":"\nWhy Ethereum\u2019s next step is zero-knowledge<\/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:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Why Ethereum\u2019s next step is zero-knowledge\" \/>\n<meta property=\"og:description\" content=\"The following is a guest post by Rob Viglione, CEO of Horizen Labs. In the past year, there have been some major milestones along the Ethereum roadmap that have leveled up the network. EIP-4844 (aka Dencun) introduced blobs and proto-danksharding, making data storage an order of magnitude cheaper for Layer 2s and resulting in far […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/\" \/>\n<meta property=\"og:site_name\" content=\"CryptoSlate\" \/>\n<meta property=\"article:published_time\" content=\"2024-10-05T18:00:07+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-10-05T12:21:06+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/cryptoslate.com\/wp-content\/uploads\/2024\/09\/ethereum-zk.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"630\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Rob Viglione\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@cryptoslate\" \/>\n<meta name=\"twitter:site\" content=\"@cryptoslate\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Rob Viglione\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/\"},\"author\":{\"name\":\"Rob Viglione\",\"@id\":\"https:\/\/cryptoslate.com\/#\/schema\/person\/0d53be2fda83c2b374c51f51947ada6c\"},\"headline\":\"Why Ethereum\u2019s next step is zero-knowledge\",\"datePublished\":\"2024-10-05T18:00:07+00:00\",\"dateModified\":\"2024-10-05T12:21:06+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/\"},\"wordCount\":1059,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/cryptoslate.com\/#organization\"},\"articleSection\":[\"Guest Post\",\"Layer-2\",\"Opinion\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/#respond\"]}],\"copyrightYear\":\"2024\",\"copyrightHolder\":{\"@id\":\"https:\/\/cryptoslate.com\/#organization\"}},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/\",\"url\":\"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/\",\"name\":\"Why Ethereum\u2019s next step is zero-knowledge\",\"isPartOf\":{\"@id\":\"https:\/\/cryptoslate.com\/#website\"},\"datePublished\":\"2024-10-05T18:00:07+00:00\",\"dateModified\":\"2024-10-05T12:21:06+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/cryptoslate.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Why Ethereum\u2019s next step is zero-knowledge\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/cryptoslate.com\/#website\",\"url\":\"https:\/\/cryptoslate.com\/\",\"name\":\"CryptoSlate\",\"description\":\"Cryptocurrency News and Real-time Coin Data\",\"publisher\":{\"@id\":\"https:\/\/cryptoslate.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/cryptoslate.com\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"},{\"@type\":[\"Organization\",\"NewsMediaOrganization\"],\"@id\":\"https:\/\/cryptoslate.com\/#organization\",\"name\":\"CryptoSlate\",\"url\":\"https:\/\/cryptoslate.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/cryptoslate.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/cryptoslate.com\/wp-content\/uploads\/2018\/05\/c-logo.jpg\",\"contentUrl\":\"https:\/\/cryptoslate.com\/wp-content\/uploads\/2018\/05\/c-logo.jpg\",\"width\":1000,\"height\":1000,\"caption\":\"CryptoSlate\"},\"image\":{\"@id\":\"https:\/\/cryptoslate.com\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/twitter.com\/cryptoslate\",\"https:\/\/www.instagram.com\/cryptoslate\/\",\"https:\/\/www.linkedin.com\/company\/cryptoslate\/\",\"https:\/\/www.youtube.com\/c\/cryptoslate\",\"https:\/\/cryptoslate.substack.com\/\",\"https:\/\/t.me\/cryptoslatenews\"],\"publishingPrinciples\":\"https:\/\/cryptoslate.com\/editorial-policy\/\",\"ownershipFundingInfo\":\"https:\/\/cryptoslate.com\/about\/\",\"actionableFeedbackPolicy\":\"https:\/\/cryptoslate.com\/about\/\",\"correctionsPolicy\":\"https:\/\/cryptoslate.com\/about\/\",\"ethicsPolicy\":\"https:\/\/cryptoslate.com\/disclaimers\/\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/cryptoslate.com\/#\/schema\/person\/0d53be2fda83c2b374c51f51947ada6c\",\"name\":\"Rob Viglione\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/cryptoslate.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/cryptoslate.com\/wp-content\/uploads\/2024\/09\/Rob-Viglione-150x150.jpg\",\"contentUrl\":\"https:\/\/cryptoslate.com\/wp-content\/uploads\/2024\/09\/Rob-Viglione-150x150.jpg\",\"caption\":\"Rob Viglione\"},\"description\":\"Rob Viglione is the co-founder and CEO of Horizen Labs, the development studio behind several leading Web3 projects, including zkVerify, Horizen, and ApeChain.\",\"url\":\"https:\/\/cryptoslate.com\/author\/rob-viglione\/\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Why Ethereum\u2019s next step is zero-knowledge","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:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/","og_locale":"en_US","og_type":"article","og_title":"Why Ethereum\u2019s next step is zero-knowledge","og_description":"The following is a guest post by Rob Viglione, CEO of Horizen Labs. In the past year, there have been some major milestones along the Ethereum roadmap that have leveled up the network. EIP-4844 (aka Dencun) introduced blobs and proto-danksharding, making data storage an order of magnitude cheaper for Layer 2s and resulting in far […]","og_url":"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/","og_site_name":"CryptoSlate","article_published_time":"2024-10-05T18:00:07+00:00","article_modified_time":"2024-10-05T12:21:06+00:00","og_image":[{"width":1200,"height":630,"url":"https:\/\/cryptoslate.com\/wp-content\/uploads\/2024\/09\/ethereum-zk.jpg","type":"image\/jpeg"}],"author":"Rob Viglione","twitter_card":"summary_large_image","twitter_creator":"@cryptoslate","twitter_site":"@cryptoslate","twitter_misc":{"Written by":"Rob Viglione","Est. reading time":"5 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/#article","isPartOf":{"@id":"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/"},"author":{"name":"Rob Viglione","@id":"https:\/\/cryptoslate.com\/#\/schema\/person\/0d53be2fda83c2b374c51f51947ada6c"},"headline":"Why Ethereum\u2019s next step is zero-knowledge","datePublished":"2024-10-05T18:00:07+00:00","dateModified":"2024-10-05T12:21:06+00:00","mainEntityOfPage":{"@id":"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/"},"wordCount":1059,"commentCount":0,"publisher":{"@id":"https:\/\/cryptoslate.com\/#organization"},"articleSection":["Guest Post","Layer-2","Opinion"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/#respond"]}],"copyrightYear":"2024","copyrightHolder":{"@id":"https:\/\/cryptoslate.com\/#organization"}},{"@type":"WebPage","@id":"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/","url":"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/","name":"Why Ethereum\u2019s next step is zero-knowledge","isPartOf":{"@id":"https:\/\/cryptoslate.com\/#website"},"datePublished":"2024-10-05T18:00:07+00:00","dateModified":"2024-10-05T12:21:06+00:00","breadcrumb":{"@id":"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/cryptoslate.com\/why-ethereums-next-step-is-zero-knowledge\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/cryptoslate.com\/"},{"@type":"ListItem","position":2,"name":"Why Ethereum\u2019s next step is zero-knowledge"}]},{"@type":"WebSite","@id":"https:\/\/cryptoslate.com\/#website","url":"https:\/\/cryptoslate.com\/","name":"CryptoSlate","description":"Cryptocurrency News and Real-time Coin Data","publisher":{"@id":"https:\/\/cryptoslate.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/cryptoslate.com\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"},{"@type":["Organization","NewsMediaOrganization"],"@id":"https:\/\/cryptoslate.com\/#organization","name":"CryptoSlate","url":"https:\/\/cryptoslate.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/cryptoslate.com\/#\/schema\/logo\/image\/","url":"https:\/\/cryptoslate.com\/wp-content\/uploads\/2018\/05\/c-logo.jpg","contentUrl":"https:\/\/cryptoslate.com\/wp-content\/uploads\/2018\/05\/c-logo.jpg","width":1000,"height":1000,"caption":"CryptoSlate"},"image":{"@id":"https:\/\/cryptoslate.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/twitter.com\/cryptoslate","https:\/\/www.instagram.com\/cryptoslate\/","https:\/\/www.linkedin.com\/company\/cryptoslate\/","https:\/\/www.youtube.com\/c\/cryptoslate","https:\/\/cryptoslate.substack.com\/","https:\/\/t.me\/cryptoslatenews"],"publishingPrinciples":"https:\/\/cryptoslate.com\/editorial-policy\/","ownershipFundingInfo":"https:\/\/cryptoslate.com\/about\/","actionableFeedbackPolicy":"https:\/\/cryptoslate.com\/about\/","correctionsPolicy":"https:\/\/cryptoslate.com\/about\/","ethicsPolicy":"https:\/\/cryptoslate.com\/disclaimers\/"},{"@type":"Person","@id":"https:\/\/cryptoslate.com\/#\/schema\/person\/0d53be2fda83c2b374c51f51947ada6c","name":"Rob Viglione","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/cryptoslate.com\/#\/schema\/person\/image\/","url":"https:\/\/cryptoslate.com\/wp-content\/uploads\/2024\/09\/Rob-Viglione-150x150.jpg","contentUrl":"https:\/\/cryptoslate.com\/wp-content\/uploads\/2024\/09\/Rob-Viglione-150x150.jpg","caption":"Rob Viglione"},"description":"Rob Viglione is the co-founder and CEO of Horizen Labs, the development studio behind several leading Web3 projects, including zkVerify, Horizen, and ApeChain.","url":"https:\/\/cryptoslate.com\/author\/rob-viglione\/"}]}},"_links":{"self":[{"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/posts\/445728"}],"collection":[{"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/users\/1518"}],"replies":[{"embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/comments?post=445728"}],"version-history":[{"count":3,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/posts\/445728\/revisions"}],"predecessor-version":[{"id":446821,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/posts\/445728\/revisions\/446821"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/media\/445736"}],"wp:attachment":[{"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/media?parent=445728"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/categories?post=445728"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/tags?post=445728"},{"taxonomy":"post_folder","embeddable":true,"href":"https:\/\/cryptoslate.com\/wp-json\/wp\/v2\/post_folder?post=445728"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}