NOVA Prijs

A universal ZK verification layer for Ethereum - any proof system <30k gas, no trusted setup

&lt;!-- SC_OFF --&gt;&lt;div class=&quot;md&quot;&gt;&lt;p&gt;With all the discussion around L2 fragmentation lately (EEZ announcement, Superchain, AggLayer), I wanted to share something I&amp;#39;ve been working on that addresses the problem from a different angle.&lt;/p&gt; &lt;p&gt;The issue: every rollup ships its own proof system - Groth16, STARK, Plonk, Halo2, Nova - each needing a separate on-chain verifier at 200k+ gas. Some require trusted setup ceremonies.&lt;/p&gt; &lt;p&gt;GLYPH is a universal transparent verification layer that compiles any proof into a common intermediate representation (UCIR) and verifies it through a single on-chain contract.&lt;/p&gt; &lt;p&gt;What it does:&lt;/p&gt; &lt;p&gt;- Verifies any major proof system through one verifier&lt;/p&gt; &lt;p&gt;- &amp;lt;30k gas per on-chain verification (~7.5x cheaper than Groth16 alone)&lt;/p&gt; &lt;p&gt;- No trusted setup - fully transparent&lt;/p&gt; &lt;p&gt;- Supported: Groth16, KZG, IPA, Plonk, Halo2, STARK (Winterfell, Miden, Cairo/Stone, Circle STARK, Stwo), Nova/HyperNova/Sangria/SuperNova (IVC), SP1, Plonky2/3, Binius&lt;/p&gt; &lt;p&gt;How it works:&lt;/p&gt; &lt;p&gt;- Packed arity-8 sumcheck over p = 2^128 - 159&lt;/p&gt; &lt;p&gt;- Chain-bound Keccak256 Fiat-Shamir challenges&lt;/p&gt; &lt;p&gt;- BaseFold PCS&lt;/p&gt; &lt;p&gt;- On-chain verifier in pure Solidity assembly&lt;/p&gt; &lt;p&gt;- Formal proof pack with soundness bound ~1.88 x 10^-37&lt;/p&gt; &lt;p&gt;Tested on Sepolia + Hoodi. Benchmarks included and reproducible.&lt;/p&gt; &lt;p&gt;Everything is open source under MIT:&lt;/p&gt; &lt;p&gt;- Full Paper: &lt;a href=&quot;https://doi.org/10.5281/zenodo.18792566&quot;&gt;https://doi.org/10.5281/zenodo.18792566&lt;/a&gt;&lt;br/&gt; &lt;a href=&quot;https://hackmd.io/@ChristopherSchulze/glyph-zk&quot;&gt;https://hackmd.io/@ChristopherSchulze/glyph-zk&lt;/a&gt;&lt;/p&gt; &lt;p&gt;- Code: &lt;a href=&quot;https://github.com/Christopher-Schulze/glyph-zk&quot;&gt;https://github.com/Christopher-Schulze/glyph-zk&lt;/a&gt;&lt;/p&gt; &lt;p&gt;I know the on-chain assembly verifier needs a proper audit before anyone touches it in production - that&amp;#39;s on the roadmap.&lt;/p&gt; &lt;p&gt;Would love feedback from the community. &lt;/p&gt; &lt;p&gt;Happy to answer any questions about the architecture or design decisions.&lt;/p&gt; &lt;/div&gt;&lt;!-- SC_ON --&gt; &amp;#32; submitted by &amp;#32; &lt;a href=&quot;https://www.reddit.com/user/crobin0&quot;&gt; /u/crobin0 &lt;/a&gt; &lt;br/&gt; &lt;span&gt;&lt;a href=&quot;https://www.reddit.com/r/ethereum/comments/1s8ilry/a_universal_zk_verification_layer_for_ethereum/&quot;&gt;[link]&lt;/a&gt;&lt;/span&gt; &amp;#32; &lt;span&gt;&lt;a href=&quot;https://www.reddit.com/r/ethereum/comments/1s8ilry/a_universal_zk_verification_layer_for_ethereum/&quot;&gt;[comments]&lt;/a&gt;&lt;/span&gt;