Swiss National Bank: How to issue a central bank digital currencysnb.ch4 points·by FloDo·há 5 anos·0 comments
It’s 255:19AM. Do you know what your validation criteria are?hdevalence.ca199 points·by FloDo·há 6 anos·28 comments
Verifpal: New software for verifying the security of cryptographic protocolsverifpal.com3 points·by FloDo·há 7 anos·0 comments
FloDo·há 5 anos·discussRelated, 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·há 9 anos·discussOnce 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·há 9 anos·discuss> 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