securityProof

URI: https://gptkb.org/prop/securityProof

3 triples

GPTKB property

Subject	Object
gptkb:Ouroboros_protocol	formal mathematical proof
gptkb:Luby-Rackoff_construction	based on pseudorandom functions
gptkb:MuSig2	proven under discrete logarithm assumption