@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.https://www.web3list.xyzhttps://www.web3list.xyz/posts/2120https://www.web3list.xyz/posts/2120Thu, 22 Jan 2026 02:01:08 GMT<a href="https://0xparti.github.io/zkBook/introduction.html" target="_blank">https://0xparti.github.io/zkBook/introduction.html</a><br />类似 PAZK 的 <a href="/search/%23zk">#zk</a> 书籍<a href="https://0xparti.github.io/zkBook/introduction.html" target="_blank"> <div>0xparti.github.io</div> <div>Introduction - Minimizing Trust</div> <div>The Architecture of Verifiable Secrets - A comprehensive guide to Zero-Knowledge Proofs</div> </a>https://www.web3list.xyz/posts/2118https://www.web3list.xyz/posts/2118Sat, 17 Jan 2026 19:39:25 GMT<a href="https://formal.land/blog/2026/01/14/formal-verification-keccak-plonky3" target="_blank">https://formal.land/blog/2026/01/14/formal-verification-keccak-plonky3</a><br />使用 Rocq 证明 <a href="/search/%23zk">#zk</a> 电路内函数正确性<a href="https://formal.land/blog/2026/01/14/formal-verification-keccak-plonky3" target="_blank"> <div>formal.land</div> <img class="link_preview_image" alt="🥷 Formal verification of the Keccak precompile from Plonky3 | Formal Land" src="/static/https://cdn4.telesco.pe/file/J54jy9e0HIfwE1AUEV3Vj37GRulo-bvrcsVysNPrRTyL3kU8Ryl3OF3yfXuHp0A9VVGlpAFvLmi49q9CV9qp7nAM_dQhYFIOtbNkWL7SPfdaOl0v4PNhgvScHnRLgo7jLCAjkq1-MS1jy2UYAiiAeztak-80vujmedPxRte8LTOYjGxMu-U1vX_RMIZqAn58r9Xu65LZ5KOhvGdltlENZnbjIdsbEQ6PJfIgoLe15DOpWg9a0wkCJp1GqmjOu4E5EL40RgWi6RfmFMxeVQ1tfLhDC4PmPNBCxtv9HWsYgvE741VvQ0BWm6lwaewapadCKOQ9obmG5EBXuwV9HqrJkw.jpg" loading="eager" /> <div><i><b>🥷</b></i> Formal verification of the Keccak precompile from Plonky3 | Formal Land</div> <div>In this blog post, we present our work to formally verify the determinism of the Keccak precompile <mark>ZK</mark> circuits in Plonky3 using our <i><b>🍀</b></i> Garden framework.</div> </a>https://www.web3list.xyz/posts/2116https://www.web3list.xyz/posts/2116Sat, 17 Jan 2026 04:03:24 GMT<a href="https://muellerberndt.medium.com/finding-soundness-bugs-in-zk-circuits-ea23387a0e1e" target="_blank">https://muellerberndt.medium.com/finding-soundness-bugs-in-zk-circuits-ea23387a0e1e</a><br /><a href="/search/%23zk">#zk</a> <a href="/search/%23security">#security</a> 安全研究和案例<a href="https://muellerberndt.medium.com/finding-soundness-bugs-in-zk-circuits-ea23387a0e1e" target="_blank"> <div>Medium</div> <img class="link_preview_image" alt="A Practical Guide to Finding Soundness Bugs in ZK Circuits" src="/static/https://cdn4.telesco.pe/file/hVf6kpcfr3O99A8B9xBztmkZwv4-_uRhax5sWuhVMIpjNAmQJg07H5_7-RMJEZOndpYFtfgkf-cX1dbykaSauvv5eBuSZuxWEmfs2bwviy0bkjAVAMuk42mbaikVlICVi8bPmXxVqTpUM3pKLNtGz4Wktm05luCzGjXNMEjXu-rxpbhihkaAxogqVwZYT6SlrZ5Q63Gr4CmVteYGM0qGE68Mb9BD3x_p-qMK2vdHSxri5NvS9_6w5NHALGmAdRfbBZ1pjJG-Xa9l2dGipW-YK8F63YB_BM57eHOPZxztJlfMuU5XiwRVOZg6-wNSOHP84tba2pKl639tUG-WHcM6ig.jpg" loading="eager" /> <div>A Practical Guide to Finding Soundness Bugs in <mark>ZK</mark> Circuits</div> <div>Zero-knowledge proofs are a core building block for blockchain scaling and privacy. In real-world deployments, the fragile part is usually…</div> </a>https://www.web3list.xyz/posts/2111https://www.web3list.xyz/posts/2111Mon, 22 Dec 2025 12:39:39 GMT<a href="https://cnode.phd/demystifying_formal_zksnark_jargon/" target="_blank">https://cnode.phd/demystifying_formal_zksnark_jargon/</a><br /><a href="/search/%23zk">#zk</a> 论文阅读<a href="https://cnode.phd/demystifying_formal_zksnark_jargon" target="_blank"> <div>cnode.phd</div> <img class="link_preview_image" alt="Learning how to read zkSNARK papers" src="/static/https://cdn4.telesco.pe/file/YFIM9rRrOAZZtOepE0Zunq-XnT5zYVSn4ZCJvl4pxERRE1on8HrBkKv_GU4up3-T_fNL-1Twc_pEiwQzTU6PBPSTXgXYliFQMw1csC6RIKsbw0z_gXsyTMUplWFmNcyP7sKY7jMtHr0wKuvyyardN7N08Fc5MOfutmSv0pycopWwMscqsIvxndqVOmTYXR_yDeEGm0CGGFGpoTEe1z-6SgKAvXs7fV6Hf-Tr3RucwRChEz71Zu4dweUQb-SB0qGRqoTLbqY51miuyJmjAG28xoAjDpALUT6Au-KEJOWytHEXOBYWOy9yGU22uYCaJrN7LMsVc5bcaXBP6g6uvfvb3Q.jpg" loading="eager" /> <div>Learning how to read zkSNARK papers</div> <div>Demystifying some formal <mark>ZK</mark> proof jargon</div> </a>https://www.web3list.xyz/posts/2089https://www.web3list.xyz/posts/2089Sat, 01 Nov 2025 04:37:14 GMT<a href="https://medium.com/@laurippeltonen/lagrange-interpolation-for-iq-200-8cec1e99647d" target="_blank">https://medium.com/@laurippeltonen/lagrange-interpolation-for-iq-200-8cec1e99647d</a><br />一篇关于 <a href="/search/%23zk">#zk</a> 中常用的 Lagrange interpolation 的介绍<a href="https://medium.com/@laurippeltonen/lagrange-interpolation-for-iq-200-8cec1e99647d" target="_blank"> <div>Medium</div> <img class="link_preview_image" alt="Lagrange interpolation for IQ &lt; 200" src="/static/https://cdn4.telesco.pe/file/MQWbllPNkQQizXcvksGUV82WIWeF9VTLNx9T46nvfdTRXCDhu0wrREUjKH7X6vmXE91uOIT4j8woKQscr1dV8-fjBVI80kaRj-4euBe_UEPsDrflmZoQ_ZnmPND8quS9WUU25x5GRLlC4xOgxh630JUlQTYPz0a90SkeofeLjWs5IAiiHL-0ELZFHZhoM8xiPwnhv2hrwQP7jgnz8wSIFZUp5KXWXhzMc4hbzX1OX7XqwbSSJL0T4bINB-W8vgR23_E-VzyYlrLUUHUCoHb2t0SQyO4zoPlwZJMyWJ49Nuo_H8rOpv6Q3L_4xEbNTJPP-YRHM178b2egA7saHXi0wA.jpg" loading="lazy" /> <div>Lagrange interpolation for IQ &lt; 200</div> <div>Remember those kids’ drawings where you need to connect the dots to form an image? After all these years, you can finally cheat!</div> </a>https://www.web3list.xyz/posts/2084https://www.web3list.xyz/posts/2084Mon, 13 Oct 2025 13:20:31 GMT<a href="https://medium.com/taipei-ethereum-meetup/privacy-pool-0143430da59c" target="_blank">https://medium.com/taipei-ethereum-meetup/privacy-pool-0143430da59c</a><br />Privacy Pool <a href="/search/%23zk">#zk</a> 原理<a href="https://medium.com/taipei-ethereum-meetup/privacy-pool-0143430da59c" target="_blank"> <div>Medium</div> <img class="link_preview_image" alt="隱私池的設計" src="/static/https://cdn4.telesco.pe/file/o_Sbm6jhKtFiWP84CpVxkfllsS9mBWeA7W0gqU3L3en8mspX25WSfIwHCDp-tYOA6VSgzhPTDSh6ExUcIbgwOZbztvZEOBaVPd52UBZkEZBIqrs2c-crO90XwKoEmf-kq5arxZ2Zzz_NjubyBQ7QN2C4oubcQ522lenrYQfA5NUSj5v9pwIW20GUTD6MnAD6pMq_I_n05v-A6yTGsiLixD0XLQXG5eW9oNT_PjRknZxsaEsWG_Rka3QP-423UQWEYH9mQcdz8ic4DGuVQ9g0aYZzajkn4pwSqKrOtTryI3gRVQAdB2EOhuAB9JFxCvxAZVWzhucmkYFWh_QiCk-KzQ.jpg" loading="lazy" /> <div>隱私池的設計</div> <div>隱私池（Privacy Pool） 其實也就是改良龍捲風現金，並在背後加上一個人工維護的名單。提款時得先證明自己在允許名單中。人們可以去設計自己的名單，看想要合哪一國的規</div> </a>https://www.web3list.xyz/posts/2080https://www.web3list.xyz/posts/2080Wed, 01 Oct 2025 13:32:30 GMT<a href="https://hexens.io/blog/zkvm-dsls" target="_blank">https://hexens.io/blog/zkvm-dsls</a><br /><a href="/search/%23zk">#zk</a> DSL<a href="https://hexens.io/blog/zkvm-dsls" target="_blank"> <div>hexens.io</div> <img class="link_preview_image" alt="A Comparison of zkVM DSLs: Halo2, Zirgen, and Plonky3" src="/static/https://cdn4.telesco.pe/file/kpo0IdVYHspiB071cCVyAiUnOk5ladhpGx06S5QB5ydw11YVT4nMgFRlvKHMLqX4VdLTnTQ_lJSZvboAc5QhmTqMk1doW4kaBnWuyDyrmIohEjpGOoC5B6kQ_W_sarUuQRkg1Uv-BUyVFHpGLmXs-p3Ejb7kRuhmAihg2y9QiXNjjlT2-dlp06JOYfhE5bi5fj9-1YBSe0B_5oNgeTDMVyKtLJOXYZ6HBBCE05HP1YpDLnhx6JG-KZY9lJzIL5f915MTZOfmURllB1nCmD3SxoB2Cdv5iigqwQ6ja66iksq1C7SCOgCAm6gIdRiJRs-1jJX8oIBFO7GWfKmbGSa2JQ.jpg" loading="lazy" /> <div>A Comparison of zkVM DSLs: Halo2, Zirgen, and Plonky3</div> <div>Deep dive into <mark>ZK</mark> constraint systems: Halo2's PLONKish circuits, Zirgen's STARK compiler, and Plonky3's direct AIR authoring. Complete with Fibonacci examples.</div> </a>https://www.web3list.xyz/posts/2076https://www.web3list.xyz/posts/2076Mon, 29 Sep 2025 10:13:28 GMT<a href="https://express.zkpunk.pro/2509.pdf" target="_blank">https://express.zkpunk.pro/2509.pdf</a><br /><a href="/search/%23zk">#zk</a> paper 月刊https://www.web3list.xyz/posts/2075https://www.web3list.xyz/posts/2075Sun, 28 Sep 2025 13:25:46 GMT<a href="https://cryptologie.net/posts/high-level-intuitions-for-the-bulletproofsipa-protocol/" target="_blank">https://cryptologie.net/posts/high-level-intuitions-for-the-bulletproofsipa-protocol/</a><br /><a href="/search/%23zk">#zk</a> <b>Bulletproofs</b>https://www.web3list.xyz/posts/2071https://www.web3list.xyz/posts/2071Wed, 24 Sep 2025 10:23:27 GMT<a href="https://github.com/logannye/space-efficient-zero-knowledge-proofs" target="_blank">https://github.com/logannye/space-efficient-zero-knowledge-proofs</a><br /><a href="/search/%23zk">#zk</a> 优化<a href="https://github.com/logannye/space-efficient-zero-knowledge-proofs" target="_blank"> <div>GitHub</div> <img class="link_preview_image" alt="GitHub - logannye/space-efficient-zero-knowledge-proofs: Sublinear-space ZKP system in Rust: a streaming prover that uses only…" src="/static/https://cdn4.telesco.pe/file/vpAPV7PQardgTfSJAjOGWtikVVoRmlsZ9qXkV-icN1J20lAPCIvXLj6Vect-JpUaEt9C1E0faDqfYxaqVZFLpNChGEN4J3zGrrC2T0WBnXP2Oq3BYqsF_QzNPe4z5lg56NCG20lpOKltReFFO5f8QKWnsxl77XuYnBaOv60ugRHEGvxxWQl4PY3O_KxL7VNZg0RzfHjDCxAx1_bWQrD0XS47vSmWxbMqMGJEdrZ7-SvkFMvbO879thRXiW65v8AhCzTYPr-LkN-AtPXvNXo-Bd78b7FqaPng84mOLKfiTj__c0w6SEQQC_KhTRBaO_OtHSwogwmlJLRnOvi5YzXsww.jpg" loading="lazy" /> <div>GitHub - logannye/space-efficient-zero-knowledge-proofs: Sublinear-space ZKP system in Rust: a streaming prover that uses only…</div> <div>Sublinear-space ZKP system in Rust: a streaming prover that uses only O(√T) memory to commit wires/Z/Q via KZG (BN254) with blocked IFFT and aggregate-only Fiat–Shamir. Supports eval/coeff bases, d...</div> </a>https://www.web3list.xyz/posts/2067https://www.web3list.xyz/posts/2067Sat, 20 Sep 2025 04:43:34 GMT<a href="https://cryptologie.net/posts/intuitions-behind-the-range-proofs-of-bulletproof/" target="_blank">https://cryptologie.net/posts/intuitions-behind-the-range-proofs-of-bulletproof/</a><br /><a href="/search/%23zk">#zk</a> 算法 Bulletproof 内的 <b>Range Proofs</b>https://www.web3list.xyz/posts/2045https://www.web3list.xyz/posts/2045Tue, 26 Aug 2025 01:37:09 GMT<a href="https://blog.lambdaclass.com/gkr-protocol-implementation-deep-dive-into-the-code/" target="_blank">https://blog.lambdaclass.com/gkr-protocol-implementation-deep-dive-into-the-code/</a><br />GKR <a href="/search/%23zk">#zk</a> 协议实现<a href="https://blog.lambdaclass.com/gkr-protocol-implementation-deep-dive-into-the-code" target="_blank"> <div>LambdaClass Blog</div> <img class="link_preview_image" alt="Interactive Proof Implementation in Rust: A Deep Dive into the GKR Protocol" src="/static/https://cdn4.telesco.pe/file/ZezPhKuvv-oVtZFbP5poA8zgSnAivTsPPJ99wsXF-OL8pP4_05esfKQkyu_ocCiJGuzCXg0fTYQrSm6TUtSlKxwezlkwGI3tMGsaux9VBKauEhCLzgt4mJ8kQghx6wTvb9sLF3d-RfZkPShe-rYU0EjB9rbNmP7JEl61ttJBNf98Cr2aW59i3PEqeDIPW8_kugI6wEN4xQ_tZpRrqNj1YK5UFNXflKHMiTTUr5f3xdGyIdmeeyuzoBJj7-ht5Q5Gn9v75ZKftvlkIFQueevd26QhdfnkImnDgaCSjAndc9kK__F6542jgBkxrinKlneStpj4h_fO2wM2du-UH6lDDQ.jpg" loading="lazy" /> <div>Interactive Proof Implementation in Rust: A Deep Dive into the GKR Protocol</div> <div>Introduction<br /><br /><br />The GKR (Goldwasser–Kalai–Rothblum) protocol provides an efficient way to verify computations over arithmetic circuits, avoiding re-execution and reducing the verifier’s work. In our previous post, GKR protocol: a step-by-step example, we explored…</div> </a>https://www.web3list.xyz/posts/2043https://www.web3list.xyz/posts/2043Wed, 20 Aug 2025 08:58:12 GMT<a href="https://github.com/Quillhash/Zero-Knowledge-Mastery" target="_blank">https://github.com/Quillhash/Zero-Knowledge-Mastery</a><br /><a href="/search/%23zk">#zk</a> 资料汇总<a href="https://github.com/Quillhash/Zero-Knowledge-Mastery" target="_blank"> <div>GitHub</div> <img class="link_preview_image" alt="GitHub - Quillhash/Zero-Knowledge-Mastery: This repository contains list of resources to aid your journey of mastering Zero Knowledge…" src="/static/https://cdn4.telesco.pe/file/QbcobYjG1QFgB4h3p2_jFzIqTHdg8Xq7YOrMAdgwcM9heCzuzQrDW2Af212nGql79r2Xg4fROOOcSZEzRo3o3R9A5drFdiFPr7YN-73XZ2_FghoFvqXHD0PtPvNX7RNs0A59sS7iaphuomFYXLhqrxzxNWougCb97ubxNNgp-OMGyGMww4vgofh2LrTMthkiJs_AC0rjryt-lYrA62EoGgTLNxH5E8WVcI8HAHgEbEw9a83lyUjqPBKwCeifm2uSJYt7pciz7EyCGoC36GeaEW_XEzkLTFUIshurnbC4afVCkplnzSgML0RacF4x0SaWyjJTvQH9obD9bXYjdNe1Uw.jpg" loading="lazy" /> <div>GitHub - Quillhash/Zero-Knowledge-Mastery: This repository contains list of resources to aid your journey of mastering Zero Knowledge…</div> <div>This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the projec...</div> </a>https://www.web3list.xyz/posts/2033https://www.web3list.xyz/posts/2033Tue, 05 Aug 2025 17:09:53 GMT<a href="http://plonk.zksecurity.xyz/" target="_blank">http://plonk.zksecurity.xyz/</a><br />Plonk <a href="/search/%23zk">#zk</a> 教程<a href="https://plonk.zksecurity.xyz/" target="_blank"> <div>plonk.zksecurity.xyz</div> <div>How to 𝒫𝔩𝔬𝔫𝒦</div> <div>Interactive 𝒫𝔩𝔬𝔫𝒦 Zero-Knowledge Proof Tutorial</div> </a>https://www.web3list.xyz/posts/1999https://www.web3list.xyz/posts/1999Thu, 05 Jun 2025 02:19:20 GMT<a href="/posts/1710"><blockquote><small> <div> <span>Web3ReadList</span> </div> <div>https://github.com/mratsim/constantine 一个使用 nim 构建的高效的的密码学库</div> </small></blockquote></a><a href="https://dev.ingonyama.com/" target="_blank">https://dev.ingonyama.com/</a><br />ICICLE 高性能 <a href="/search/%23zk">#zk</a> 密码学库，支持 GPU 等<a href="https://dev.ingonyama.com/" target="_blank"> <div>Ingonyama</div> <img class="link_preview_image" alt="Ingonyama Developer Documentation" src="/static/https://cdn4.telesco.pe/file/afRL8teuMzvyzM4iG9pxxdlqyVoO3NEXLeTepizuH0AP53n9Mcc801ShDSvlRqKdorKMkoBH2dRt3IHj8jfH5W9F3talu-LXiiueJTRfx5a-dSGx7MLSHeWl31paL67D4hoVG7PjcKLaa4WVjmJ3W8QbGSl-3V2nrMuMi7cdzBzgElDqXHMHSAhK0BD_eSHso4siIIZ30l5HqNegEihM0IByGvbRBHOR_vJh5gxAfiA0oqVjklsCaUVafd2WI6jUoNBDp08ovTAraT2iIRfP-Jzhsyw9r5KLy3s8gzVtbgY9-j-DEq_jlxzpAJoe_n62QaLM4spCR98Q1j-iUaYqxg.jpg" loading="lazy" /> <div>Ingonyama Developer Documentation</div> <div>Ingonyama is a next-generation semiconductor company focusing on Zero-Knowledge Proof hardware acceleration...</div> </a>https://www.web3list.xyz/posts/1995https://www.web3list.xyz/posts/1995Sun, 01 Jun 2025 03:14:38 GMT<a href="https://zkmesh.substack.com/p/zk-mesh-may-2025-recap" target="_blank">https://zkmesh.substack.com/p/zk-mesh-may-2025-recap</a><br /><a href="/search/%23zk">#zk</a> 月刊<a href="https://zkmesh.substack.com/p/zk-mesh-may-2025-recap" target="_blank"> <div>Substack</div> <img class="link_preview_image" alt="ZK Mesh: May 2025 Recap" src="/static/https://cdn4.telesco.pe/file/kK707ZbKhNsnZzFJ5RjB9pxetOgRt8QdjXqmmMkUNvXswW90T6sQTogO-XBGvTkPJrYzP3M-Cc9M74jSuT-b9FgHm-niD_JnRaNy8nVsXkWA0uxpQDbnGK6gHfj4jrEFcWHhSWUTZYqqzq7IgDu7_q9ubgBNDoPfBQbEfy0FNoQPnlcJXZJimCAQ62TakCVsYO3Hpw_nyv_-LwBHR0wsJSeBP2x9CSyiouKO9diFyVCSbEWu_pCTLLMrxWOYkGU_NrPo86qJTrvu3CGFofs89OATlHPDW5cPb83gMgfT1sXFSjFRCE0RJpQnkjOZRasV8pN0LJ_0QnH0_0-bfmym-A.jpg" loading="lazy" /> <div><mark>ZK</mark> Mesh: May 2025 Recap</div> <div>Welcome to <mark>ZK</mark> Mesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.</div> </a>https://www.web3list.xyz/posts/1992https://www.web3list.xyz/posts/1992Fri, 30 May 2025 04:28:25 GMT<a href="https://blog.electisec.com/sumcheck" target="_blank">https://blog.electisec.com/sumcheck</a><br /><a href="/search/%23zk">#zk</a> sumcheck 协议解析<a href="https://blog.electisec.com/sumcheck" target="_blank"> <div>Electisec</div> <div><mark>ZK</mark> &amp; Smart Contract Security</div> </a>https://www.web3list.xyz/posts/1988https://www.web3list.xyz/posts/1988Fri, 23 May 2025 12:47:43 GMT<a href="https://x.com/zkv_xyz/status/1925871925588267459" target="_blank">https://x.com/zkv_xyz/status/1925871925588267459</a><br />季度 <a href="/search/%23zk">#zk</a> paper 汇总<a href="https://x.com/zkv_xyz/status/1925871925588267459" target="_blank"> <i></i> <div>X (formerly Twitter)</div> <div>ZKV (@zkv_xyz) on X</div> <div>A curated list of <mark>ZK</mark> research papers from last quarter worth reviewing.</div> </a>https://www.web3list.xyz/posts/1982https://www.web3list.xyz/posts/1982Tue, 20 May 2025 02:11:07 GMT<a href="https://lmao.bearblog.dev/minimal-abstractions/" target="_blank">https://lmao.bearblog.dev/minimal-abstractions/</a><br />使用 <a href="/search/%23zk">#zk</a> 和凸函数优化问题介绍了合理的抽象<a href="https://lmao.bearblog.dev/minimal-abstractions" target="_blank"> <i></i> <div>Longest path search</div> <div>The minimal amount necessary, but no less</div> <div>An interesting question I bump into is "what is the right level of abstraction for X" where, "X" takes on values from {theorems, papers, ideas, observations,...</div> </a>https://www.web3list.xyz/posts/1964https://www.web3list.xyz/posts/1964Tue, 06 May 2025 13:13:43 GMT<a href="https://zkdl-camp.github.io/" target="_blank">https://zkdl-camp.github.io/</a><br /><a href="/search/%23zk">#zk</a> 课程及其教材<a href="https://zkdl-camp.github.io/" target="_blank"> <div>ZKDL Camp</div> <img class="link_preview_image" alt="ZKDL Camp" src="/static/https://cdn4.telesco.pe/file/b-MdDjqhgbWQ9Cog9HsV454PyG9LVHgvsbhJaL6H1_DalvTqxVYV5xZIyL2qz-Ai_LFqSRXCEtmLdQwkbRwNaSyCxmQsml_BPMp2moIB4Hd6vm0zDiJ4iyNYhW0xIKLNi7uVFm31XTv6tMS064We-kV5JUyT5q4BMMnzluubA9g23r2xNkmDQ-uHiyrfVHOjw-YeurcDsxIAOc_CwVuMg8UVK4vsKyF3RTNIPsGkTdTo7f5KWcDmSo_J3FDEtdOfpA-E-_gc8vTKIgRIObklhc7Xz9XPOh6vdiriHf9XErpwe-5H2_IRpNLPKiYRtMxSVQZ6UC7IuKKxqlxYbJ2iWQ.jpg" loading="lazy" /> <div>Internal Lectures on Zero-Knowledge Proving Systems at Distributed Lab</div> </a>