crypto-lab-zk-proof-lab/index.html at main · systemslibrarian/crypto-lab-zk-proof-lab · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
<!doctype html>
<html lang="en">
<head>
  <meta charset="UTF-8">
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
  <meta name="description" content="Interactive zero-knowledge proof exhibits explaining the Ali Baba cave, graph coloring, Schnorr identification, and SHA-256 commit-reveal.">
  <meta name="theme-color" content="#070b12">
  <title>ZK Proof Lab</title>
  <script>
    (function () {
      const saved = localStorage.getItem('theme');
      document.documentElement.setAttribute('data-theme', saved ?? 'dark');
    })();
  </script>
  <link rel="stylesheet" href="css/style.css">
</head>
<body>
  <div class="site-shell">
    <header class="site-header">
      <div>
        <div class="brand-kicker">Cipher Museum Style Protocol Gallery</div>
        <h1 class="brand-title">ZK Proof Lab</h1>
        <p class="brand-sub">Interactive exhibits on proving knowledge without revealing secrets.</p>
      </div>
      <nav class="top-nav" aria-label="Primary">
        <a class="nav-link active" href="index.html">Lobby</a>
        <a class="nav-link" href="exhibits/cave.html">Exhibit 01</a>
        <a class="nav-link" href="exhibits/graph-coloring.html">Exhibit 02</a>
        <a class="nav-link" href="exhibits/schnorr.html">Exhibit 03</a>
        <a class="nav-link" href="exhibits/commit-reveal.html">Exhibit 04</a>
        <a class="nav-link" href="exhibits/fiat-shamir.html">Exhibit 05</a>
        <a class="nav-link" href="exhibits/snark.html">Exhibit 06</a>
        <a class="nav-link" href="exhibits/scenario-presets.html">Scenarios</a>
      </nav>
    </header>

    <main>
      <section class="hero-panel" aria-label="Why zero-knowledge matters">
        <p class="hero-lead">Zero-knowledge proofs power private blockchain transactions, identity checks, and verifiable computation without leaking sensitive data.</p>
        <p class="hero-note">This lab starts with intuitive stories, then graduates into real browser-side arithmetic and hashing so the jump from idea to implementation is visible in one sitting.</p>
        <div class="hero-actions" aria-label="Project resources">
          <a class="resource-link" href="https://github.com/systemslibrarian/zk-proof-lab" target="_blank" rel="noopener noreferrer">Repository</a>
          <a class="resource-link" href="https://github.com/systemslibrarian/zk-proof-lab/blob/main/docs/zkp-primer.md" target="_blank" rel="noopener noreferrer">ZK Primer</a>
          <a class="resource-link" href="tests/logic-smoke.html">Run Smoke Tests</a>
          <a class="resource-link" href="tests/quality-gates.html">Run Quality Gates</a>
          <a class="resource-link" href="exhibits/transcript-lab.html">Transcript Replay Lab</a>
          <a class="resource-link" href="exhibits/scenario-presets.html">Scenario Presets</a>
          <a class="resource-link" href="https://github.com/systemslibrarian/zk-proof-lab/tree/main" target="_blank" rel="noopener noreferrer">View Source</a>
        </div>
      </section>

      <section class="lab-tools" aria-label="Lab tools">
        <div class="panel">
          <div class="ph">LAB TOOLS</div>
          <div class="pb" style="display:flex;gap:8px;flex-wrap:wrap">
            <a class="resource-link" href="exhibits/transcript-lab.html">Transcript Replay Lab</a>
            <a class="resource-link" href="exhibits/scenario-presets.html">Scenario Presets</a>
            <a class="resource-link" href="tests/logic-smoke.html">Run Tests</a>
            <a class="resource-link" href="https://github.com/systemslibrarian/zk-proof-lab/blob/main/docs/zkp-primer.md" target="_blank" rel="noopener noreferrer">ZK Primer</a>
            <a class="resource-link" href="https://github.com/systemslibrarian/zk-proof-lab" target="_blank" rel="noopener noreferrer">View on GitHub</a>
          </div>
        </div>
      </section>

      <div class="trust-banner trust-real global-honesty"><strong>Cryptographic honesty:</strong> the math checks and Web Crypto primitives in Exhibits 03 and 04 are real. Parameters are intentionally small for educational clarity and browser performance, not production security levels.</div>

      <section class="lobby-grid" aria-label="Exhibit selector">
        <a class="card" href="exhibits/cave.html">
          <div class="ex-row"><span class="ex-num">EXHIBIT 01</span><span class="badge badge-sim">⬡ CONCEPTUAL MODEL</span></div>
          <h2 class="card-title">The Ali Baba Cave Protocol</h2>
          <p class="card-desc">Someone proves they know the secret word for the cave door without ever saying the word.</p>
        </a>

        <a class="card" href="exhibits/graph-coloring.html">
          <div class="ex-row"><span class="ex-num">EXHIBIT 02</span><span class="badge badge-sim">⬡ COMMITMENTS SIMPLIFIED</span></div>
          <h2 class="card-title">Graph 3-Coloring ZKP</h2>
          <p class="card-desc">Someone shows a map is colored correctly without revealing the full color pattern.</p>
        </a>

        <a class="card" href="exhibits/schnorr.html">
          <div class="ex-row"><span class="ex-num">EXHIBIT 03</span><span class="badge badge-real">● REAL MODULAR ARITHMETIC</span></div>
          <h2 class="card-title">Schnorr Identification Protocol</h2>
          <p class="card-desc">Someone proves they know a secret number by passing a math check without revealing it.</p>
        </a>

        <a class="card" href="exhibits/commit-reveal.html">
          <div class="ex-row"><span class="ex-num">EXHIBIT 04</span><span class="badge badge-real">● REAL SHA-256 · window.crypto.subtle</span></div>
          <h2 class="card-title">Hash Commit-Reveal</h2>
          <p class="card-desc">Someone locks in a hidden bid first, then reveals it later to prove they never changed it.</p>
        </a>

        <a class="card" href="exhibits/fiat-shamir.html">
          <div class="ex-row"><span class="ex-num">EXHIBIT 05</span><span class="badge badge-real">● REAL HASH-DERIVED CHALLENGE</span></div>
          <h2 class="card-title">Fiat-Shamir (Non-Interactive)</h2>
          <p class="card-desc">Convert challenge-response into a single verifiable proof by deriving the challenge from a hash.</p>
        </a>

        <a class="card" href="exhibits/snark.html">
          <div class="ex-row"><span class="ex-num">EXHIBIT 06</span><span class="badge badge-sim">⬡ PEDAGOGICAL SNARK MODEL</span></div>
          <h2 class="card-title">zk-SNARK Intuition</h2>
          <p class="card-desc">See setup, proving, and verification flow with public/private input separation in one toy pipeline.</p>
        </a>
      </section>
    </main>

    <footer class="footer">
      <a href="https://github.com/systemslibrarian/zk-proof-lab" target="_blank" rel="noopener noreferrer">View on GitHub</a> · <a href="tests/logic-smoke.html">Run Tests</a> · v1.0 · ZK Proof Lab by <a href="https://github.com/systemslibrarian" target="_blank" rel="noopener noreferrer">systemslibrarian</a> · 1 Corinthians 10:31
    </footer>
  </div>

  <script type="module" src="js/main.js"></script>
</body>
</html>