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