https://ryanorban.com/categories/snarks/Recent content in Snarks on Ryan OrbanHugoen-usme@ryanorban.com (Ryan Orban)me@ryanorban.com (Ryan Orban)Ryan OrbanMon, 30 May 2022 00:00:00 +0000https://ryanorban.com/notes/proofs-arguments-and-zero-knowledge/Mon, 30 May 2022 00:00:00 +0000me@ryanorban.com (Ryan Orban)https://ryanorban.com/notes/proofs-arguments-and-zero-knowledge/<h3 id="summary" class="scroll-mt-8 group"> Summary <a href="#summary" class="no-underline hidden opacity-50 hover:opacity-100 !text-inherit group-hover:inline-block" aria-hidden="true" title="Link to this heading" tabindex="-1"> <svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="2" class="lucide lucide-link w-4 h-4 block" viewBox="0 0 24 24" > <path d="M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71" /> <path d="M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71" /> </svg> </a> </h3> <p><em>Proofs, Arguments, and Zero-Knowledge</em> by Justin Thaler (Georgetown University) is the standard graduate-level textbook for interactive proof systems, argument systems, and zero-knowledge proofs. It is freely available and has become the canonical reference for anyone entering the ZK ecosystem from a theoretical computer science background. The book covers the material that practitioners working on SNARKs and STARKs need to understand — not just how to use the tools, but why they work.</p>