“You: on the corner of 3rd & Howard yesterday, red overcoat and sunglasses. Me: the tall, lanky guy in a hoodie. I was just diagnosed with COVID-19, but the app says you're already immune. Coffee Saturday?”
New blog post by my PhD student @ArchitaAgarwa18 on her work on end-to-end encrypted distributed storage systems; specifically encrypted DHTs and encrypted off-chain networks. https://twitter.com/browncsdept/status/1248360722561740802
My children on day 47 of quarantine.
In today's cryptography news
Lol imagine waking up to find a fuzzer has filed 435 github issues with your project https://rainoftime.bitbucket.io/
Hey I know we're all supposed to be like "hmmm hmmm maybe COVID isn't as lethal as we thought"
but for recent weeks, deaths in western Europe were kind of super high.
My cousin won the virtual Seder by creating a burner Elijah account and making us let him in the zoom halfway through.
It should also have a language that can support subroutines. So if I want to prove knowledge of a signature, I can write a subroutine for signature verification: then I can just assert that that subroutine outputs True. 4/
Any such tool should handle a diversity of statement types. It shouldn’t be locked into a particular execution environment (ie, it should output pseudocode for people who just want the protocol) and it should support multiple group settings, including pairing groups. 3/
A few people have tried this in the past. Typically the result was an academic research paper about a tool that supported a few common statement types, which is then abandoned to entropy once the paper is done. 2/
The serious point here is that there is a huge need for a good ZK statement compiler that can take in the weird equations that cryptographers like to jam into papers, and output (at least) the protocols, and ideally, output prover and verifier code. 1/ https://twitter.com/isislovecruft/status/1248083682776297474
6.6 million new unemployment claims. Stock futures are up. What is happening here.
lately I've realized that I have no idea how multiparty video conferencing actually works. like, it doesn't seem to make too much sense for my zoom client to have a socket open to every other participant...
academic crypto papers be like "and then you just prove the following very complex systems of equations in zero-knowledge! *hand waving* the details of how to do this are left as an exercise to the reader! *hand waving* it's probably possible to create this proof! *hand waving*"
The technical documentation of the anonymization process used in the COVID-19 Community Mobility Reports was published on arXiv today.
To everyone who asked for it: thanks for your patience and your understanding https://arxiv.org/abs/2004.04145
The evil folks at @Twitter are capitalizing on everyone refreshing their feeds. Y'all got that "We changed our Terms" popup, right? Well, they just sold all non EU/EUFTA/UK users (even more) to advertisers. Capitalizing on a isolation seems…skeezy? https://www.theverge.com/2020/4/8/21213593/twitter-data-sharing-pop-up-mobile-app-advertising-settings
Oh no, Comcast is down.
A new private contact tracing protocol called PACT. https://pact.mit.edu/wp-content/uploads/2020/04/The-PACT-protocol-specification-ver-0.1.pdf
Musk just bought a Japanese toilet. https://twitter.com/elonmusk/status/1247991689018404864
One of the things you find spending a lot of time on Twitter is that there are a lot of stupid humans in the world. Said with love, of course.