disco
disco copied to clipboard
Disco Whitepaper
I think a whitepaper containing:
- the rational behind Disco
- benchmark and codesize results in different implementations (especially in C)
- some tamarin symbolic proof
would be great. If anyone wants to collaborate :)