🎯 Zero-knowledge proofs

The items that name it 5

• The cryptography behind electronic voting (and why paper ballots are still essential)
  articleas techniques2026-11-03

  Show an encrypted ballot holds a permitted value, which stops a compromised client from encrypting 1,000,000 to vote many times. They also show the final aggregate ciphertext was decrypted correctly.

• For Thirty Pieces of Silver: Overcoming Non-IID via ZKP Sample-Level Auditing and Forcing Attackers into Traitors in Federated Learning
  paperas tools2026-10-23It is written here as Zero-knowledge proofs (ZKP): used to inspect clients' local datasets at sample level and to commit that training gradients are generated from the same locked data.

  ZKP

• Trail of Bits (@trailofbits) on X
  threadas tools2026-10-20It is written here as Zero-knowledge proofs: Google used them to try to keep a quantum attack secret; the secrecy lasted 63 days, per Trail of Bits.
• How Zero-Knowledge Proofs Were Invented (ft. Co-Inventor and Turing Award Winner Shafi Goldwasser)
  talkas techniques2026-08-07

  A prover convinces a verifier that a statement is true while revealing no additional information; originated from the problem of playing poker securely over the telephone; developed by Shafi Goldwasser, Silvio Micali, and Charles Rackoff

• ZEE200: Zero Knowledge for Everything and Everyone @ 200 KHz
  paperas techniques2026-04-28

  Cryptographic protocols allowing a prover to demonstrate knowledge of a statement (e.g., a program bug) without revealing underlying private data; used to prove execution of ANSI C programs