Stoffel 0.1.1 release notes for the MPC stack, with SDK/runner PATH tweaks and runtime fixes, because local dev wasn't hard enough.

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

What would it actually take to make iO practical, and why are FHE, ZKP, and MPC people all involved?

Lean PR proving Halo2 permutation/lookup soundness and union-find permutation construction, because papers enjoy grand products.

A sparse-circuit break via low-rank commutators, then a pufferfish patch for the witness-encryption construction.

Trimmed ICICLE repo for MSM, NTT, and ECNTT on BN254/BLS12-381, with CPU/CUDA backends and C++, Rust, Go bindings.

Podcast episode on ICMEPreflight and ZK guardrails for AI, plus folding schemes. Apparently ML needed a hall monitor.

Polygon zkEVM is getting shut down July 1, after the team reportedly stopped touching it 18 months ago.

Need a Rust MPC toolkit where the same protocol runs in simulation or over mTLS? This repo does that, for research.

Tweet announcing Confidential USDC yield via Morpho, Zama's privacy push for public chains, because finance needed another veil.

Talk on making recursion efficient for Jolt zkVM, covering proof composition and the usual performance pain.

Plonky3 gets a hiding polynomial commitment scheme via HVZK-WHIR, plus simulator, rejection tests, and overhead numbers.

A Ligero verifier demo, showing the app-facing side of ZK instead of the usual proof-system nostalgia.

Project page for ZK Ligero, a lightweight framework for building ZK apps, in case you needed yet another framework.