miyatake氏より「Goodbye Bugs? How Formal Verification Could Fortify Smart Contracts」にて、カルダノの事が掲載されていました。抜粋を転載します。「バグよさらば?」正式な検証がスマートコントラクトを強化する。CardanoはHaskellで書かれているので、プロトコルの変 ...
tomkelly氏からのアナウンスです。原文は英語でしたのでGoogle翻訳で転載いたします。CARDANO COMMUNITY SLACKの更新スラックコミュニティを再開する際の進捗状況についてご報告します。SlackはCardanoコミュニティワークスペースの招待状を再び有効にしましたが、招待状は管 ...