Cardano's weekly dev dump, with Leios/Dijkstra, recursive SNARKs, Hydra fixes, and the usual backlog.

ForkLog on Lean Ethereum, a from-scratch-ish roadmap swapping in recursive STARKs, PQ crypto, and new consensus toys.

Adaptor signatures, now for BLS too, so the usual atomic-swap and ZK-contingent-payment tricks can stop special-casing Schnorr.

APN permutations over GR(4,2) get classified, and the paper drags differential uniformity beyond prime fields into ring land.

Docs hub for the EU Digital Identity Wallet ARF, with architecture, trust model, annexes, and the usual privacy/ZK footnotes.

Can an LLM write EasyCrypt proofs, and this repo ships the MCP workflow, benchmarks, and replay logs to find out.

Need the docs for PODs, GPCs, and ZApps, aka programmable cryptography over user-owned data?

Need a machine-checked PCS spec and KZG proofs in Isabelle, or just the games and assumptions? This AFP entry has both.

ProVerif finds CVE-2026-33697, a relay attack that breaks attested TLS binding, so the last trust boundary wasn't.

Live Zcash stats and anomaly alerts, for the usual mix of hashrate, shielded txs, deshielding, and pool milestones.

Noir circuit repo for Merkle membership proofs with Poseidon2, plus tests for valid and invalid paths.

The gateway moves into the client, which then proves it deserves access in a zkVM; RISC Zero demo for XACML and JWTs.

Docs for Midnight, a ZK privacy chain with selective disclosure, plus runtime, proving, tx semantics, and operator guides.

ePrint preprint on lookup-based zkML costs, showing activation structure won't cut per-lookup proving work, because tables win.

An interview with Claude Crépau, less textbook ZK history, more the quantum teleportation and MPC bits people skip.

Real-time Starknet staking dashboard for validators, APR, epochs, and attestations, because spreadsheets were too fast.

Hybrid CPU-GPU sumcheck backend for Spartan provers, keeps polynomial state on GPU until it stops paying rent.

Can a Halo2 zkVM prove synthesized hardware is power-side-channel safe without leaking the netlist? Apparently, yes.

Cointelegraph on Bitcoin's post-quantum fork in the road: bigger blocks or STARKs, because apparently one crisis wasn't enough.

Can you split a zkML inference proof into independent layer chunks and get real prover speedups? zkComposer says yes.

Transcript of a convo on privacy-preserving blockchains, with the usual ZK pitch plus stablecoins, sanctions, and geopolitics.

Does AMD ROCm/HIP finally do Goldilocks STARK proving? The post includes qingming-stark-g64, CLI flow, and SCALE20-27 benchmarks.

Proves better proximity gaps for random linear, RS, and LDPC codes by extending LCL to handle curve-decoding directly.

Paper on zk-ScalHard, a PUF plus ZK auth scheme for OTA updates in ECU-heavy SDVs, with recursive aggregation to keep the bytes down.

zkGolf is a competition for building the cheapest zero-knowledge circuits, with correctness proved in Lean 4.

A zkML explainer on proving inference ran correctly, with circuits, quantization, and the usual proof-generation pain.

Can a causally ordered DAG turn supply-chain lies into self-verifying contradiction proofs? This paper says maybe.

Zero-knowledge, FHE, MPC, and TEEs are now product infra in 2026, so the real choice is which trust model you can stomach.

CCN writeup on Vitalik's lean Ethereum proposal, shrinking Beacon Chain state and adding ZK validator privacy, because why not.

Can you verify a blind watermark without leaking the params? TIM says yes, using Nova+Spartan for the ZK plumbing.