--- title: zkSNARKs & zkSTARKs: A Novel Verifiable Computation Model description: zkSNARKs and zkSTARKs are cryptographic protocols that enable a novel verifiable computation model. They address the limitations of the EVM's Verifiable... canonical: https://daily.dev/posts/zksnarks-zkstarks-a-novel-verifiable-computation-model-ua4vhw3uc twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: zkSNARKs & zkSTARKs: A Novel Verifiable Computation Model | daily.dev og:description: zkSNARKs and zkSTARKs are cryptographic protocols that enable a novel verifiable computation model. They address the limitations of the EVM's Verifiable... og:url: https://daily.dev/posts/zksnarks-zkstarks-a-novel-verifiable-computation-model-ua4vhw3uc og:image: https://api.daily.dev/og/posts/Ua4Vhw3UC.png og:image:alt: zkSNARKs & zkSTARKs: A Novel Verifiable Computation Model og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # zkSNARKs & zkSTARKs: A Novel Verifiable Computation Model **[Lobsters](https://daily.dev/sources/lobsters)** · 37 min read · 1 upvotes · 0 comments ## Summary zkSNARKs and zkSTARKs are cryptographic protocols that enable a novel verifiable computation model. They address the limitations of the EVM's Verifiable Computation Model by providing infinite scalability, energy efficiency, and support for private inputs. They can also be used outside of the blockchain. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [Don’t just attend KubeCon \+ CloudNativeCon, Merge Forward your experience\!](https://daily.dev/posts/don-t-just-attend-kubecon-cloudnativecon-merge-forward-your-experience--l0rpp73x8) · CNCF · 1 upvotes · 0 comments - [Announcing H2 2026 KCDs](https://daily.dev/posts/announcing-h2-2026-kcds-m96goajm1) · CNCF · 1 upvotes · 0 comments - [Two months of Open Community Groups](https://daily.dev/posts/two-months-of-open-community-groups-asf52zhbs) · CNCF · 0 upvotes · 0 comments - [CNCF Unveils Schedule for KubeCon \+ CloudNativeCon Europe 2026](https://daily.dev/posts/cncf-unveils-schedule-for-kubecon-cloudnativecon-europe-2026-ikhcoa5cb) · CNCF · 2 upvotes · 0 comments - [CNCF Debuts KubeCon \+ CloudNativeCon Japan 2026 Schedule](https://daily.dev/posts/cncf-debuts-kubecon-cloudnativecon-japan-2026-schedule-xp5pyudub) · CNCF · 1 upvotes · 0 comments --- Tags: [#blockchain](https://daily.dev/tags/blockchain), [#evm](https://daily.dev/tags/evm), [#zero-knowledge-proofs](https://daily.dev/tags/zero-knowledge-proofs) [View this post on daily.dev](https://daily.dev/posts/zksnarks-zkstarks-a-novel-verifiable-computation-model-ua4vhw3uc) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"zkSNARKs & zkSTARKs: A Novel Verifiable Computation Model","url":"https://daily.dev/posts/zksnarks-zkstarks-a-novel-verifiable-computation-model-ua4vhw3uc","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/zksnarks-zkstarks-a-novel-verifiable-computation-model-ua4vhw3uc"},"datePublished":"2024-04-13T18:34:59.722Z","dateModified":"2026-05-07T02:14:09.960Z","description":"zkSNARKs and zkSTARKs are cryptographic protocols that enable a novel verifiable computation model. They address the limitations of the EVM's Verifiable...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/7c09735a9247515ce0521a9bd64cadb9?_a=AQAEufR","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/7c09735a9247515ce0521a9bd64cadb9?_a=AQAEufR","isAccessibleForFree":true,"articleSection":"Lobsters","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"Lobsters","logo":"https://media.daily.dev/image/upload/s--tl8v_Fku--/f_auto,t_logo/v1698841318/logos/lobste.jpg","url":"https://daily.dev/sources/lobsters"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/zksnarks-zkstarks-a-novel-verifiable-computation-model-ua4vhw3uc","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":1},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"blockchain,evm,zero-knowledge-proofs","timeRequired":"PT37M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Lobsters","item":"https://daily.dev/sources/lobsters"},{"@type":"ListItem","position":3,"name":"zkSNARKs & zkSTARKs: A Novel Verifiable Computation Model"}]} ```