posted 3 weeks ago
I already wrote a lot about Disco:
- About Disco (again)
- Want To Implement Something Fun Today?
- Fed Up Getting Shattered and Log Jammed? A New Generation of Crypto Is Coming
- Introducing Disco
Today, I released the white paper that introduces the construction. Check it out on ePrint.
It's a combination of everything I've talked about, plus:
- some experimental results on embedded devices done by Matteo Bocchi and Ruggero Susella
- some preliminary results on formal verification with Tamarin Prover
I unfortunately did not have the time to complete the formal verification of several important lemmas. But I am hopping that I can achieve this in a later paper. The formal verification code is on github and anybody is welcome to help :)