Can Noir/ProveKit verify an EMV tap without leaking PAN, expiry, or CVV? This repo tries.
trending57
01 02 Who is Zooko Wilcox, and why does this profile also wander into PQ crypto, AI hash testing, and Crosslink?03 StateSync-GKR: Machine-Checking the Trust Chain from Sparse-Merkle State Transitions to GKR Verification arxiv.orgIsabelle/HOL proves sparse-Merkle transitions line up with GKR soundness, then tallies the leftover Fiat-Shamir handwaving.04 Hekate v0.37.0 release notes: one-commitment-per-proof-table aggregation, v7 wire format, and verifier speedups.05 Can a binary code really do correlation generation and polynomial commitments faster, while keeping distance and Lean proofs?06 Audit write-up on Ironwood's formal verification, where Lean proofs meet Rust and the usual “proved” still needs checking.07 Separates Fiat-Shamir PoW into grinding vs diagonalization, then shows one PoW can’t do both when verifiers are cheaper.08 Can a zkVM prove MIPS32r2 user-mode execution succinctly? This paper says yes, with GPU scaling, Lean proofs, and the usual soup.09 ZK proofs are being sold for 2026 identity/compliance workflows, with device-side proving and selective disclosure.10 Zcash's rally turns into a jobs post, with Halo 2, Orchard, Zebra and ZIP 209 as the real interview filter.11 ZeroJ is a Java ZK stack for Groth16/BLS12-381 proofs, JVM verification, and Cardano/Plutus V3 examples.12 Docs for ZKdesk's client-proved finance stack on Robinhood Chain, because wallets apparently needed HR.13 It revokes users without deanonymizing them, via zk proofs and signature-based blocklists that prune repeated work.14 FROST-GKR folds many Poseidon2b perms into one trace plus two sumchecks, instead of hand-checking each round like it’s 2021.15 Can private payments stay fast without validator state exploding? Bonsai bets on commitments, MMR receipts, and nullifiers.16 A ZK roadmap repo that starts with discrete math and ends at zkVMs, with source lists and self-checks for the apparently patient.17 Monthly ZK/privacy/crypto roundup, covering commitments, Fiat-Shamir, signatures, apps, and ecosystem news, because why not.18 Real-world GKR got a Fiat-Shamir attack, and this podcast spends the rest of its time on SP1, Flock, Blaze, and snark.fast.19 zkAPI swaps API keys for ZK-checked onchain credits, so usage can be metered without the usual identity leak.20 What does zkML actually buy you here, a verifiable AI stack or just more crypto theater?21 What gets proven in zkML is mostly inference bookkeeping, with sumcheck/GKR, quantization, KV caches, and prover hacks.22 X thread linking Zcash’s shielded txs to zkSNARKs and crypto tribe dynamics, with SNARKSTR as the tokenized side quest.23 Upflam is building a Canton payment privacy pool with Groth16 and an open key ceremony, because tracing money is apparently optional.24 Four high-severity bugs in a Noir to Gnark to Solana pipeline, because circuit semantics and backend glue still like to drift apart.25 Rotor paper: a SNARK for Z_{2^k} rings via multi-precision soundness and tensor-query proximity tests, because fields were too easy.26 Paper on Argo, a randomized encoding that turns invalid Groth16 proofs into secret leaks, because cryptography needs villains.27 Seal, Then Sample: Sampled Layerwise Proofs for Verifiable LLM Inference from GPT-2 to 70B arxiv.orgPaper on SLP, a verifiable LLM inference protocol that samples layer proofs after committing activations, because full proofs are hard.28 Physics-Attested Federated Learning: Securing Collaborative Anomaly Detection in Critical Water Infrastructure arxiv.orgFederated anomaly detection where zk-SNARKs prove water-system invariants, so poisoning needs more than vibes.29 The Cost of Rewinding for Succinct Arguments: Strict-Time Barriers and Expected-Time Security eprint.iacr.orgCan commit-and-open succinct arguments be secured in the standard model? Strict-time black-box extraction hits a wall; expected-time works.30 iO-based IVC without extraction, with fully succinct deterministic computation and a two-hop NP variant.