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...
FloDo·10年前·讨论Do you even realize that these two loops are not equivalent? One of them starts at 8, then other one starts at 9 ...
https://news.ycombinator.com/item?id=26260524