Midnight @infosec.pub demesisx @infosec.pub 2y ago Verifiable Random Functions 1 crossposts Formal Methods @programming.dev demesisx @infosec.pub 2y ago Verifiable Random Functions