1<!DOCTYPE html> 2<html lang="en"> 3 4<head> 5 <meta charset="utf-8"> 6 <meta name="viewport" content="width=device-width, initial-scale=1"> 7 <title>Introducing SRT: Real-Time Proving Engine for Any zkVM</title> 8 <link rel="stylesheet" href="https://blog.snarkify.io/assets/built/screen.css?v=xPIHsJCNvIV9YhA2"> 9 10 <link rel="icon" href="https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/size/w256h256/2023/10/Snarkify_Contained_Logo_Only_Black.png" type="image/png"> 11 <link rel="canonical" href="https://blog.snarkify.io/introducing-srt/"> 12 <meta name="referrer" content="no-referrer-when-downgrade"> 13 14 <meta property="og:site_name" content="Snarkify Blog"> 15 <meta property="og:type" content="article"> 16 <meta property="og:title" content="Introducing SRT: Real-Time Proving Engine for Any zkVM"> 17 <meta property="og:description" content="The modular real-time proving engine to accelerate zkVMs into the next era of Ethereum scalability. 18 19 20Summary 21 22Snarkify introduces SRT, a modular proving engine built to deliver real-time performance for any zkVM. SRT integrates as a drop-in backend component and provides orders of magnitude improvement in proving speed"> 23 <meta property="og:url" content="https://blog.snarkify.io/introducing-srt/"> 24 <meta property="og:image" content="https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/size/w1200/2023/09/Twitter-banner-1500x500-2.png"> 25 <meta property="article:published_time" content="2025-05-14T17:07:02.000Z"> 26 <meta property="article:modified_time" content="2025-05-16T10:49:59.000Z"> 27 28 <meta name="twitter:card" content="summary_large_image"> 29 <meta name="twitter:title" content="Introducing SRT: Real-Time Proving Engine for Any zkVM"> 30 <meta name="twitter:description" content="The modular real-time proving engine to accelerate zkVMs into the next era of Ethereum scalability. 31 32 33Summary 34 35Snarkify introduces SRT, a modular proving engine built to deliver real-time performance for any zkVM. SRT integrates as a drop-in backend component and provides orders of magnitude improvement in proving speed"> 36 <meta name="twitter:url" content="https://blog.snarkify.io/introducing-srt/"> 37 <meta name="twitter:image" content="https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/size/w1200/2023/09/Twitter-banner-1500x500-1.png"> 38 <meta name="twitter:label1" content="Written by"> 39 <meta name="twitter:data1" content="Jiannan Ouyang"> 40 <meta name="twitter:label2" content="Filed under"> 41 <meta name="twitter:data2" content=""> 42 <meta name="twitter:site" content="@snarkify_zkp"> 43 <meta property="og:image:width" content="1200"> 44 <meta property="og:image:height" content="400"> 45 46
46<script type="application/ld+json"> 47{ 48 "@context": "https://schema.org", 49 "@type": "Article", 50 "publisher": { 51 "@type": "Organization", 52 "name": "Snarkify Blog", 53 "url": "https://blog.snarkify.io/", 54 "logo": { 55 "@type": "ImageObject", 56 "url": "https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/2023/10/Snarkify_Contained_Horizontal_Black.png" 57 } 58 }, 59 "author": { 60 "@type": "Person", 61 "name": "Jiannan Ouyang", 62 "url": "https://blog.snarkify.io/author/jiannan/", 63 "sameAs": [] 64 }, 65 "headline": "Introducing SRT: Real-Time Proving Engine for Any zkVM", 66 "url": "https://blog.snarkify.io/introducing-srt/", 67 "datePublished": "2025-05-14T17:07:02.000Z", 68 "dateModified": "2025-05-16T10:49:59.000Z", 69 "description": "The modular real-time proving engine to accelerate zkVMs into the next era of Ethereum scalability.\n\n\nSummary\n\nSnarkify introduces SRT, a modular proving engine built to deliver real-time performance for any zkVM. SRT integrates as a drop-in backend component and provides orders of magnitude improvement in proving speed and cost, with no changes required to the zkVM architecture or protocol logic. The first SRT release goes live this June with a prioritized launch partner, proving every Ethereum", 70 "mainEntityOfPage": "https://blog.snarkify.io/introducing-srt/" 71} 72 </script>
72 73 74 <meta name="generator" content="Ghost 6.68"> 75 <link rel="alternate" type="application/rss+xml" title="Snarkify Blog" href="https://blog.snarkify.io/rss/"> 76 77
77<script defer src="https://cdn.jsdelivr.net/ghost/sodo-search@~1.8/umd/sodo-search.min.js" data-key="1e8a83f12afe011591cbeda7b4" data-styles="https://cdn.jsdelivr.net/ghost/sodo-search@~1.8/umd/main.css" data-sodo-search="https://snarkify.ghost.io/" data-locale="en" crossorigin="anonymous"></script>
77 78 79 <link href="https://blog.snarkify.io/webmentions/receive/" rel="webmention"> 80
80<script defer src="/public/cards.min.js?v=ShRHxgy4po8zN-Wf"></script>
80 81 <link rel="stylesheet" type="text/css" href="/public/cards.min.css?v=WwnU9jw5ancNC8Gc"> 82
82<script defer src="/public/ghost-stats.min.js?v=vFcCUf6ZQ0Hyhc8h" data-stringify-payload="false" data-datasource="analytics_events" data-storage="localStorage" data-host="https://blog.snarkify.io/.ghost/analytics/api/v1/page_hit" tb_site_uuid="8f36b1da-9d69-44c6-86ad-d442fe8a5116" tb_post_uuid="cfcc2a24-ee48-432b-8b4d-23d5ad360fd6" tb_post_type="post" tb_member_uuid="undefined" tb_member_status="undefined" tb_gift_link=""></script>
82<style>:root {--ghost-accent-color: #1c1c1c;}</style> 83</head> 84 85<body class="post-template tag-hash-ivan is-head-left-logo has-serif-body"> 86<div class="gh-site"> 87 88 <header id="gh-head" class="gh-head gh-outer"> 89 <div class="gh-head-inner"> 90 <div class="gh-head-brand"> 91 <div class="gh-head-brand-wrapper"> 92 <a class="gh-head-logo" href="https://blog.snarkify.io"> 93 <img src="https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/2023/10/Snarkify_Contained_Horizontal_Black.png" alt="Snarkify Blog"> 94 </a> 95 </div> 96 <button class="gh-search gh-icon-btn" aria-label="Search this site" data-ghost-search><svg xmlns="http://www.w3.org/2000/svg" fill="none" viewBox="0 0 24 24" stroke="currentColor" stroke-width="2" width="20" height="20"><path stroke-linecap="round" stroke-linejoin="round" d="M21 21l-6-6m2-5a7 7 0 11-14 0 7 7 0 0114 0z"></path></svg></button> 97 <button class="gh-burger"></button> 98 </div> 99 100 <nav class="gh-head-menu"> 101 <ul class="nav"> 102 <li class="nav-blog"><a href="https://blog.snarkify.io/">Blog</a></li> 103 <li class="nav-docs"><a href="https://docs.snarkify.io/">Docs</a></li> 104 <li class="nav-github"><a href="https://www.github.com/Snarkify">Github</a></li> 105 <li class="nav-community"><a href="https://t.me/+fCIx2XhUiBoyNmJh">Community</a></li> 106 <li class="nav-home"><a href="https://www.snarkify.io/">Home</a></li> 107</ul> 108 109 </nav> 110 111 <div class="gh-head-actions"> 112 <button class="gh-search gh-icon-btn" aria-label="Search this site" data-ghost-search><svg xmlns="http://www.w3.org/2000/svg" fill="none" viewBox="0 0 24 24" stroke="currentColor" stroke-width="2" width="20" height="20"><path stroke-linecap="round" stroke-linejoin="round" d="M21 21l-6-6m2-5a7 7 0 11-14 0 7 7 0 0114 0z"></path></svg></button> 113 </div> 114 </div> 115 </header> 116 117 118 119<main id="gh-main" class="gh-main"> 120 <article class="gh-article post tag-hash-ivan no-image"> 121 <header class="gh-article-header gh-canvas"> 122 <div class="gh-article-meta"> 123 <time class="gh-article-date" datetime="2025-05-14">May 14, 2025</time> 124 </div> 125 126 <h1 class="gh-article-title">Introducing SRT: Real-Time Proving Engine for Any zkVM</h1> 127 128</header> 129 130 131<section class="gh-content gh-canvas"> 132 <p><em>The modular real-time proving engine to accelerate zkVMs into the next era of Ethereum scalability.</em></p><h2 id="summary">Summary</h2><p>Snarkify introduces SRT, a modular proving engine built to deliver real-time performance for any zkVM. SRT integrates as a drop-in backend component and provides orders of magnitude improvement in proving speed and cost, with no changes required to the zkVM architecture or protocol logic. The first SRT release goes live this June with a prioritized launch partner, proving every Ethereum block in under 12 seconds.</p><h2 id="slow-zk-does-not-cook">Slow ZK Does Not Cook</h2><p>zkVMs are the <a href="https://x.com/drakefjustin/status/1884885708399075464?ref=blog.snarkify.io" rel="noreferrer">foundation</a> of Ethereumâs long-term vision. They are to enable Ethereumâs full-stack SNARKification, while also <a href="https://x.com/VitalikButerin/status/1918562028253290933?ref=blog.snarkify.io" rel="noreferrer">providing architectural simplicity and developer-friendly tooling</a>. Today, zkVMs remain the most credible path for Ethereum to scale effectively as it moves toward the Beam chain and related improvements in both the consensus and execution layers.</p><p>But despite this strategic position, zkVMs are still constrained by proof generation performance. Latency and cost continue to dominate system overhead. The time and compute required to generate proofs impose hard limits on ZK chainsâ finality and UX. These ceilings define the practical scope of what zkVMs can deliver.</p><p>Today, <a href="https://x.com/eth_proofs/status/1919410628453659088?ref=blog.snarkify.io" rel="noreferrer">21 zkVM teams are actively working</a>
132 to raise their proving baseline. Each team is investing significant engineering effort into in-house performance optimization, pulling resources from areas that drive adoption: critical features, developer experience, and runtime security. In fact, proving performance remains the constraint that keeps ZK from reaching full heat.</p><h2 id="what-is-srt">What Is SRT</h2><p>SRT (Snarkify Real-Time) is a modular, real-time proving engine purpose-built to accelerate zkVMs. It delivers high-performance, low-latency proof generation without requiring changes to zkVM architecture or protocol logic. Designed as a backend component, SRT integrates directly into existing stacks, enabling real-time proving with no engineering overhead.</p><p>In a nutshell, SRT provides:</p><ul><li><strong>zkVM-agnostic design</strong> built to accelerate any zkVM to real-time proving.</li><li><strong>GPU-native architecture</strong> tuned for proving zkVM execution.</li><li><strong>Drop-in integration</strong> with no changes to zkVM protocol.</li></ul><figure class="kg-card kg-image-card"><img src="https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/2025/05/Group-1--2-.png" class="kg-image" alt="" loading="lazy" width="2000" height="1016" srcset="https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/size/w600/2025/05/Group-1--2-.png 600w, https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/size/w1000/2025/05/Group-1--2-.png 1000w, https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/size/w1600/2025/05/Group-1--2-.png 1600w, https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/2025/05/Group-1--2-.png 2386w" sizes="(min-width: 720px) 720px"></figure><p>At its core, SRT is the performance layer that resolves proving constraints limiting zkVMs. SRT is built specifically for zkVM execution, using GPU-native architecture to accelerate both trace generation and proof construction. The result is a 10-100x improvement depending on the specific zkVM design.</p><figure class="kg-card kg-image-card"><img src="https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/2025/05/Group-1--3-.png" class="kg-image" alt="" loading="lazy" width="2000" height="1111" srcset="https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/size/w600/2025/05/Group-1--3-.png 600w, https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/size/w1000/2025/05/Group-1--3-.png 1000w, https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/size/w1600/2025/05/Group-1--3-.png 1600w, https://storage.ghost.io/c/8f/36/8f36b1da-9d69-44c6-86ad-d442fe8a5116/content/images/size/w2400/2025/05/Group-1--3-.png 2400w" sizes="(min-width: 720px) 720px"></figure><p>Snarkify has spent the last three years building at the edge of <a href="https://docs.snarkify.io/high-performance-zkp/zprize?ref=blog.snarkify.io" rel="noreferrer">whatâs possible in ZK performance</a>, with a clear goal: to solve proof generation performance at the system level. With SRT, weâre proud to introduce the missing piece in ZK infrastructure that breaks the performance bottleneck and frees zkVM teams to build what the ecosystem needs next.</p><h2 id="why-real-time-proving-matters">Why real-time proving matters?</h2><p>Real-time proving defines the next phase of ZK infrastructure. It sets the baseline where blockchainsâ execution can be verified as it happens. zkVMs have made verifiable computations accessible for developers. Real-time proving brings ZK into production at scale.</p><p>With SRT integrated, zkVM teams can deliver fast and efficient proof generation as part of their core stack. SRT will take care of proving performance, allowing teams to focus on what drives adoption: new features, developer experience, and protocol resilience. Stronger stacks will provide chains with real-time settlement and the capabilities to support a new era of real-world applications built on verifiable compute.</p><p>The result is a foundation for developers to build verifiable applications without performance limits. This is what ZK was designed to enable.</p><h2 id="real-time-proving-for-ethereum-this-joon%E2%84%A2%EF%B8%8F">Real-Time Proving for Ethereum this Joon<strong>â¢ï¸</strong></h2><p>
132The long-term goal for zero-knowledge infrastructure is 100% of compute verified in real time. The near-term milestone is proving every Ethereum block within the 12-second slot time. This is the threshold where zkVMs can contribute directly to Ethereumâs shift toward protocol-level verifiability.</p><p>In June, SRT will unlock this milestone by integrating with a prioritized launch partner. The release targets the EthProofs challenge and establishes a new benchmark for proving performance. From there, the goal is to extend this capability to other zkVM teams advancing verifiable compute. Further SRT rollouts will follow as we prioritize integrations across the rest of the stacks.</p><h2 id="what%E2%80%99s-next">Whatâs Next</h2><p>We are dedicated to delivering real-time proving for Ethereum with SRT this June. In the weeks ahead, weâll announce our first launch partners bringing real-time proving into their stacks with SRT.</p><p>Weâll speak more about SRT and our roadmap during <a href="https://x.com/eth_proofs/status/1922178509654376625?ref=blog.snarkify.io" rel="noreferrer">EthProofs Call #2 on May 23</a>. If you're curious about how SRT works or want to talk through what real-time proving could look like for your application, feel free <a href="https://docs.google.com/forms/d/e/1FAIpQLScgNDolYATKuVC9VHq18xpiB3QFvgccK6Qvw3LopQ63eTGkFw/viewform?ref=blog.snarkify.io" rel="noreferrer">to get in touch</a>.</p> 133</section> 134 135 136<footer class="gh-article-footer gh-canvas"> 137 <nav class="gh-navigation"> 138 <div class="gh-navigation-previous"> 139 </div> 140 141 <a class="gh-navigation-middle" href="/page/2"><span>Browse</span> all issues</a> 142 143 <div class="gh-navigation-next"> 144 </div> 145 </nav> 146</footer> </article> 147</main> 148 149 150 151 152 <footer class="gh-foot gh-outer"> 153 <div class="gh-foot-inner gh-inner"> 154 <div class="gh-copyright"> 155 Snarkify Blog © 2026 156 </div> 157 <nav class="gh-foot-menu"> 158 <ul class="nav"> 159 <li class="nav-home"><a href="https://www.snarkify.io/">Home</a></li> 160 <li class="nav-twitter"><a href="https://www.twitter.com/Snarkify_ZKP">Twitter</a></li> 161 <li class="nav-github"><a href="https://www.github.com/Snarkify">Github</a></li> 162 <li class="nav-community"><a href="https://t.me/+KKxU4IVh4SIyODMx">Community</a></li> 163</ul> 164 165 </nav> 166 <div class="gh-powered-by"> 167 <a href="https://ghost.org/" target="_blank" rel="noopener">Powered by Ghost</a> 168 </div> 169 </div> 170 </footer> 171 172</div> 173 174 <div class="pswp" tabindex="-1" role="dialog" aria-hidden="true"> 175 <div class="pswp__bg"></div> 176 177 <div class="pswp__scroll-wrap"> 178 <div class="pswp__container"> 179 <div class="pswp__item"></div> 180 <div class="pswp__item"></div> 181 <div class="pswp__item"></div> 182 </div> 183 184 <div class="pswp__ui pswp__ui--hidden"> 185 <div class="pswp__top-bar"> 186 <div class="pswp__counter"></div> 187 188 <button class="pswp__button pswp__button--close" title="Close (Esc)"></button> 189 <button class="pswp__button pswp__button--share" title="Share"></button> 190 <button class="pswp__button pswp__button--fs" title="Toggle fullscreen"></button> 191 <button class="pswp__button pswp__button--zoom" title="Zoom in/out"></button> 192 193 <div class="pswp__preloader"> 194 <div class="pswp__preloader__icn"> 195 <div class="pswp__preloader__cut"> 196 <div class="pswp__preloader__donut"></div> 197 </div> 198 </div> 199 </div> 200 </div> 201 202 <div class="pswp__share-modal pswp__share-modal--hidden pswp__single-tap"> 203 <div class="pswp__share-tooltip"></div> 204 </div> 205 206 <button class="pswp__button pswp__button--arrow--left" title="Previous (arrow left)"></button> 207 <button class="pswp__button pswp__button--arrow--right" title="Next (arrow right)"></button> 208 209 <div class="pswp__caption"> 210 <div class="pswp__caption__center"></div> 211 </div> 212 </div> 213 </div> 214</div>
215<script src="https://blog.snarkify.io/assets/built/main.min.js?v=6SunahoKoYk1nSBV"></script>
215 216 217<style> 218.gh-powered-by { display: none; } 219</style> 220 221</body> 222 223</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.