Joanna Rutkowska @rootkovska
Strikes me how we continuously fall victims of various "ultimate truth" or "formally proven" systems... only to be later shown how they are not really so. Newtonian physics, Russell's Principia Mathematica, formally verified microkernels, safe languages, quantum crypto, etc. — PolitiTweet.org
Matthew Green @matthew_d_green
The @swisspost system deals with this by using a zero-knowledge proof that the shuffle was correct, and no votes we… https://t.co/iwpb628xPs
