cryptography

• A DarkFi Node on a Raspberry Pi — ARM Bring-Up Notes and the Circuits Underneath

  Notes from turning a Raspberry Pi 5 into a 24/7 DarkFi testnet node and miner: NVMe boot, self-hosted WireGuard, the ARM dependency trail for darkfid and xmrig, and a look at the ZK circuits the node deploys on startup — including the v3a exploit that sat on a Poseidon binding.

  6/2/2026 · 12 min

• Bytes, Bits, and Breaking XOR — Notes from Cryptopals in Rust

  Notes from implementing the first Cryptopals challenges in Rust without libraries: hex, base64, XOR, frequency analysis, Hamming distance, and breaking a repeating-key cipher.

  5/20/2026 · 11 min

• ZKML EZKL MNIST Lab: Verifiable Inference, Quantization, and the Prover Memory Wall

  A small, reproducible ZKML lab: train a CNN, export ONNX, compile an EZKL circuit, generate keys, prove & verify inference — then benchmark the practical tradeoff that matters on consumer hardware: numerical fidelity vs prover memory / PK size.

  1/10/2026 · 7 min

• Crescent Bench Lab: Measuring ZK Presentations for Real Credentials (JWT + mDL)

  A small Rust lab that vendors microsoft/crescent-credentials, generates Crescent test vectors, and benchmarks zksetup/prove/show/verify across several parameters — including proof sizes and selective disclosure variants.

  12/31/2025 · 8 min

• TEE Auction Coprocessor: Replay-Safe Attested Auction Receipt with Gramine SGX — Tutorial

  A Rust mini-lab that turns a Vickrey (second-price) auction into a TEE coprocessor: deterministic core, bid commitments, replay protection, and a policy-driven verifier—leaving full DCAP collateral/TCB verification (PCS chain, revocation, freshness rules) for a follow-up.

  12/20/2025 · 18 min

• Baby-Ligero: Three Tiny Tests for a Tiny Circuit — ZK Hack S3M5

  A mini Rust lab that implements a baby version of Ligero's three tests — proximity, multiplication, and linear — for a tiny arithmetic circuit, and uses them to see soundness amplification in action.

  12/8/2025 · 18 min

• Norm Blowup in Lattice Folding (LatticeFold Lab) — ZK Hack S3M4

  A hands-on Rust experiment exploring why folding causes norm blowup in lattice commitments, and how decomposition keeps the digits small — the core idea behind LatticeFold and LatticeFold+.

  12/1/2025 · 12 min

• SIS Labs — Commitments, PoK & MC soundness experiment (ZK Hack S3M3)

  From Vadim Lyubashevsky's lattice-based SNARKs whiteboard to a tiny Rust lab: SIS commitments, a proof of knowledge, and a soundness experiment.

  11/24/2025 · 16 min

• NTT Bench — BabyBear vs Goldilocks (ZK Hack S3M2)

  Hands-on NTT benchmarks over BabyBear and Goldilocks fields, connecting Jim Posen’s ZK Hack talk on high-performance SNARK/STARK engineering to real Rust code.

  11/16/2025 · 14 min

• Cryptography — What makes a Hash ZK-Friendly (ZK Hack S3M1)

  Practical Learnings from ZK Hack with JP Aumasson with hands-on benchmarks: SHA-256/512, BLAKE3, Poseidon. What does 'ZK-friendly' really mean?

  11/9/2025 · 5 min