Can Noir/ProveKit verify an EMV tap without leaking PAN, expiry, or CVV? This repo tries.
trending22
01 02 Bitcoin privacy, the part everyone handwaves, gets a Q&A on Shielded Bitcoin with Clara Shik and btcinsider.03 04 Invites a Tuesday chat on Bitcoin PIPEs v2, AADP WE, and Shielded Bitcoin, plus a link to the event page.05 06 07 Monthly ZK/privacy/crypto roundup, covering commitments, Fiat-Shamir, signatures, apps, and ecosystem news, because why not.08 fix(fri,merkle-tree): release the hiding rng lock before parallel work by tcoratger · Pull Request #2368 · Plonky3/Plonky3 github.comFixes a Plonky3 deadlock by dropping the shared hiding RNG lock before rayon kicks off parallel FRI and Merkle work.09 Project Eleven’s CUTS post introduces a few-time hash signature scheme, plus the usual size/security tradeoffs for signing twice.10 X post announcing Project Eleven acquired Riva Labs for PQ crypto work, because apparently research now needs a cap table.11 So, does this Lean repo actually prove Logjumps’ Montgomery reduction matches the spec, or just wave at it?12 Four high-severity bugs in a Noir to Gnark to Solana pipeline, because circuit semantics and backend glue still like to drift apart.13 Plonky3's zk mode can deadlock when Rayon re-enters a spin::Mutex RNG, so the post shows the bug, repro, and two boring fixes.14 ZK Podcast episode with Soubhik Deb on Yukon, quantum attacks on secp256k1, and turning AI-assisted research into chores.15 X post on Google Cloud backing Puffer's preconf and execution infra for Ethereum, so transactions get preconfirmations, apparently.16 Caracal7 is an experimental GPU SNARK prover over field 127, with a claimed top-5 spot on @eth_proofs client-side benches.17 Private Bitcoin on L1, because apparently the base layer wasn't noisy enough, now with shielded transfers.18 Vendor breach exposed driver’s licenses, and the obvious fix is less KYC hoarding, more zero-knowledge proofs.19 ZK Whiteboard Sessions - S3M1: How to Build Hash Functions, with Jean-Philippe (JP) Aumasson — by Zero Knowledge youtube.comZero Knowledge video with JP Aumasson on hash design, construction, and the usual cryptographic footguns.20 Nethermind tweet on TCC 2026 outstanding paper award for “A Simplified Round-by-round Soundness Proof of FRI” x.comNethermind's tweet congratulates a FRI soundness paper for a TCC 2026 award, because STARKs need proofs about proofs.21 Curated cryptography statements and open problems with status notes and paper links, because theorem graveyards need indexing too.22 Payy's own prover and validator keys allegedly signed the batch that drained $1.83M USDC from its rollup bridge.