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

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

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

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

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.

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

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.

Ethereum scaling essay on “lean execution”, stapling SNARKs, recursion, statelessness, and sharding into one ambitious roadmap.

Undetectable counterfeiting is the bug Zcash is trying to prove impossible, by formally verifying Ironwood's shielded pool.

Paper on Groth16-based private cross-chain verification for Substrate, with Circom/SnarkJS and XCM sims, because of course.

A field-choice taxonomy for SNARKs/STARKs, explaining why Plonky2/3, Stwo, and Binius ditched the usual big primes.

SoK on FRI lineage, from proximity gaps to Johnson bounds, with the usual transparent SNARK security footnotes.

Spain lets you prove approximate numerical computations directly, instead of pretending real numbers fit into exact constraints.

zk.golf turns circuit golf into a competition, with Lean proofs and a Clean-based submission pipeline.

Weekly privacy-news archive from Web3Privacy Now, with ZK/FHE/MPC/messaging/policy updates, because privacy never sleeps.

BeTrueCore mixes MACI, nullifiers, and read-only AI sentinels into a governance stack where bribery proofs are supposed to self-delete.

zkSecurity’s zkGolf challenge, a circuit-speed contest with proofs, because apparently golf needed recursion.

Monthly zk roundup, this one leans harder into lattice proofs and verification than the usual SNARK link salad.

Formalizes parallel LogJumps and maps them to hardware, cutting BLS12-377 modular mul latency below Montgomery's usual slog.

Folding schemes, hash-based proofs, and a non-interactive DKG, because apparently one podcast needed all the cryptography.

Flock is a hash-based SNARK for batched Boolean circuits, with new lincheck/zerocheck tricks and big hash-proof speedups.

How do you prove an off-chain asset qualifies for DeFi without doxxing the issuer? RQP says: WHA plus zk aggregation.

zkSecurity's zkao v1 is a deep-research bug finder for crypto codebases, still KYB-gated because apparently scanners need adult supervision.

Lean's ArkLib post, formal verification for SNARKs and arguments of knowledge, for people who enjoy proving proofs.

Explains ZK rollups, batching, validity proofs, data availability, and the usual SNARK vs STARK arguments. Standard L2 tourism.

Docs for binius demo circuits, with CLI examples for build/prove/verify and profiling, because benchmarks need babysitting.

What breaks first when you push proof systems past SNARK comfort? Benedikt Bünz talks limits, recursion, and tradeoffs.

Tweet on Ironwood circuit verification and Zcash upgrade timing, with the usual reminder that consensus waits for nobody.