Comment Comment by ekiwi They verified the protocol, not the actual implementation: https://github.com/rosenpass/rosenpass#security-analysisThis is still a pretty neat result! End-to-end proofs from high level protocol to low level implementation are mostly still a research topic. parent ekiwi 3 years ago
This is still a pretty neat result! End-to-end proofs from high level protocol to low level implementation are mostly still a research topic.