Stoffel 0.1.0: so what does this MPC stack actually ship, language, VM, bytecode, Rust SDK?

What does Groth16 actually buy you? David Wong works backward from the verifier equation in Session 10.

For payments, is privacy about the amount, the counterparty, or the graph, and which crypto actually gives it?

What does Cardano actually have for ZK on-chain? A dev office hour on Plutus V3, Powers of Tau, and tooling.

StarkWare says Starknet privacy is in Stage 2 now, after STRK20s brought protocol-level privacy pools to mainnet.

Aleo’s case study on USAD, a private USD stablecoin on-chain, with the usual ZK promise: payroll without public receipts.

AI agents are accelerating PQC migration, since machine-to-machine trust and shadow agents turn crypto-agility into a fire drill.

Fhenix acquires SunscreenTech, and its founder joins as research lead for the usual FHE-for-blockchains/compiler stuff.

Can property law plus ZK make digital privacy work, or is this just another Fourth Amendment essay with crypto on the side?

Vitalik walks through diamond iO from ABE, FHE, and trapdoors, then adds new LWE assumptions, because ordinary obfuscation was too easy.

Aleo's USDCx case study, a private USDC-backed stablecoin writeup with CCTP and Leo contracts, because payments needed more secrecy.

Google Wallet is open-sourcing ZKP libs for age and attribute proofs, so maybe IDs can finally stop oversharing.

One month in, what broke in Stoffel 0.1.0, what got adopted, and what MPC backends still need work?

zkSecurity tweet: zkGolf now has BLAKE3, plus a nod to Vin DSL, so another hash finally joined the club.

Quarterly ZK/SEC roundup: PST multilinear commitments, a CGGMP threshold ECDSA walkthrough, and why Groth16's verifier looks that way.

TEEs, not ZKPs, are Circle's privacy bet for Arc L1, and this podcast walks through the trade-offs.

X post on Project Eleven and Binius maintainer Jim Poitras, talking ZK wallet recovery for the post-Q-day panic.

Lean proof now covers Zcash Ironwood’s shielded pool, so undetectable counterfeits are off the table, in theory.

Alex Ozdemir talks theorem provers, ZK DSLs, ZKVMs, CirC, SMT, Lean, and zkPi, the SNARK for Lean theorems.

zkSecurity teases zkGolf, a contest to build the fastest circuit and proof, because apparently speed needs a leaderboard.