2019年9月10日2 分セキュリタイズ(Securitize)がアルゴランド(Algorand)とのパートナーシップを発表、SecuritizeのDSプロトコルをサポートセキュリタイズ(Securitize)がアルゴランド(Algorand)とのパートナーシップを発表、SecuritizeのDSプロトコルをサポート
2019年6月18日5 分アルゴランドをフォーマルに検証:鋼鉄のチェーンを補強(モデリングと安全性) by Runtime Verificationアルゴランドをフォーマルに検証:鋼鉄のチェーンを補強(モデリングと安全性) by Runtime Verification 投稿日: 2019年6月18日 投稿者: Musab Alturki, Brandon Moore, Karl Palmskog, Lucas...