They want C2PA-style provenance without the provenance, using ZK proofs over locations, faces, and pHashes in seconds.

XRPL wants ZK-encrypted transfer amounts with auditability, because apparently privacy is finally a feature.

Chainquiry’s Zcash profile, a neat recap of zk-SNARK privacy, 21M cap, and Equihash mining for the usual coin people claim is optional.

Umbra Privacy V2 pitches Solana private transfers with shared pools, faster swaps, and user exits, less bolt-on, more product.

Video argues ZK proofs can sidestep SWIFT sanctions screening, which is reassuring if you enjoy cryptography and regulators sweating.

Zero-knowledge started with mental poker, not blockchains, in a talk with Shafi Goldwasser.

Reference design for x402 payments that only settle if an on-chain ZK proof says the pinned circuit ran and produced the output.

So how do you migrate to PQC, Zero Trust, and AI governance without turning ops into a compliance zoo?

Paper on Unicity's aggregation layer: Radix SMTs, AIR over Plonky3, no trusted setup, and the usual millisecond claims.

Attacks on signature and code-based schemes share space with the usual zk/FHE roundup, because apparently chaos is a feature.

Post-quantum Ethereum DAS with RS, Merkle, Poseidon, and LeanVM proofs, plus benchmark sweeps for the inevitable paper trail.

A paper on replacing Keccak grinding in MPC-in-the-head signatures with AES, then proving the constant factor isn't folklore.

Users can force an exit if the MPC committee ghosts them, by proving notes, nullifiers, and openings onchain.

Not another mixer, a payroll app that hides salaries, batches payments, and still leaves an audit log on Starknet.

Tutorial docs for Starknet privacy apps, with examples for pools, notes, nullifiers, viewing keys, wallets, and SDK flows.

USA₮ lands on Celo, the first non-Ethereum host, with fee abstraction for gas and a zk-proof faucet stunt.

Docs for HoodPrivate's confidential transfers: client-side ZK proofs, on-chain checks, encrypted balances, and ~100ms indexing.

Chunked zkSNARKs for fair-lending metrics on HMDA, plus a control-language map from SR 11-7 to statements.

Zero-knowledge video provenance survives resizing and transforms, courtesy of a SNARK-friendly C2PA pipeline.

Poseidon for Ethereum may be undercooked, and the thread haggles over preimage margins, widths, rounds, and Keccak.

Ashlar builds an AO hash from chained field squarings, trying to out-Poseidon Poseidon and begging for attacks.

RNG failure doesn't brick the wallet, it becomes a ZK recovery ceremony bound to an incident, nonce, expiry, and new address.

Can an open-source skill actually spot Circom soundness, completeness, and privacy bugs, or is this just another judge pipeline?

Does Zcash's Action circuit check out? Lean 4/Mathlib proofs for Orchard and Ironwood soundness live here.

Overview of exotic evaluation domains in ZK, from Binius’ binary extension fields to Circle STARKs’ circle groups.

Argues Ethereum needs decentralized state distribution, since stateless clients, AA, and FOCIL still need the state somewhere.

How much collateral leakage is “minimal”? This paper turns AI verification into conditional mutual information and Groth16.

Avi Wigderson talks math, complexity, and ZK, with the usual dose of optimism required to keep theory moving.

ArXiv paper on an on-chain identity primitive for autonomous agents, binding weights to a key in ZK, because humans love referees.

Formalizes a STARK in Isabelle/HOL, with executable prover/verifier models and staged soundness bounds, because math wasn't enough.