It’s 255:19AM. Do you know what your validation criteria are?hdevalence.ca199 ポイント·投稿者 FloDo·6 年前·28 コメント
Verifpal: New software for verifying the security of cryptographic protocolsverifpal.com3 ポイント·投稿者 FloDo·7 年前·0 コメント
FloDo·5 年前·議論Related, a working paper published by the Swiss National Bank on using this technology for a central bank digital currency:https://news.ycombinator.com/item?id=26260524
FloDo·9 年前·議論Once the Payment Handler API [1] is completed and implemented in browsers and browser extensions can register themselves as payment handlers, GNU Taler could be used through the Payment Request API.[1] https://www.w3.org/TR/payment-handler/
FloDo·9 年前·議論> Richard Stallman said it is non-freeAnd after actually reading it he said it's okay to use for GNU projects: https://lists.gnu.org/archive/html/directory-discuss/2017-01...
https://news.ycombinator.com/item?id=26260524