demesisx@infosec.pubM to Midnight@infosec.pubEnglish · 9 months agoVerifiable Random Functionsyoutu.beexternal-linkmessage-square0fedilinkarrow-up12arrow-down10cross-posted to: formal_methods@programming.dev
arrow-up12arrow-down1external-linkVerifiable Random Functionsyoutu.bedemesisx@infosec.pubM to Midnight@infosec.pubEnglish · 9 months agomessage-square0fedilinkcross-posted to: formal_methods@programming.dev