securityProof

3 triples
GPTKB property

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