Site: log and ledger links in nav and footer

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

proto-vdf/src/main.rs

@@ -439,7 +439,9 @@ fn demo(args: &[String]) {
     let mut badp = proof.clone();
     badp.t += 1;
     println!("verify with T+1 claimed: {}", seed::verify_epoch_seed(&h, &seed1, &badp));
-    println!("proof: t={} y={}... pi={}...", proof.t, hex(&proof.y[..16]), hex(&proof.pi[..16]));
+    let n = proof.y.len();
+    println!("proof: t={} y=...{} pi=...{} ({} bytes each, a and b of the reduced form, sign byte + fixed width)",
+        proof.t, hex(&proof.y[n - 12..]), hex(&proof.pi[n - 12..]), n);
 }
 
 // ---------------------------------------------------------------- grind

site/index.html

@@ -192,6 +192,7 @@ footer .wrap{padding-block:48px 32px}
       <a href="#journey">Journey</a>
       <a href="#economics">Economics</a>
       <a href="/litepaper">Litepaper</a>
+      <a href="/bench">Log</a>
       <a href="#mine" class="btn primary">Get the miner</a>
     </div>
   </div>
@@ -411,6 +412,8 @@ footer .wrap{padding-block:48px 32px}
         <a href="/litepaper">Litepaper</a>
         <a href="/litepaper#limits">What Igneum does not claim</a>
         <a href="/litepaper#randomx">Igneum vs RandomX</a>
+        <a href="/bench">Engineering log</a>
+        <a href="/ledger">FUD ledger</a>
       </nav>
       <nav class="foot-col" aria-label="Follow">
         <div class="eyebrow">Follow</div>