監査

2023年5月13日読了時間: 17分

セキュアなスマートコントラクト開発ライフサイクルの最新情報

セキュアなスマートコントラクト開発ライフサイクルの最新情報 2023年にREKTされないための考察とベストプラクティス Tom Lindeman（トム・リンデマン、 CEO、5thnode LTD 本書には、スマートコントラクトのセキュリティに関する最新の開発モデルが含まれ...

2022年6月9日読了時間: 4分

EXA Financeプロトコルの紹介

EXA Financeプロトコルの紹介昨年来のNFTの成功により、ますます多くのNFTマーケットプレイスが出現しています。OpenSea、Rarible、LooksRare、Coinbase NFTなどのプラットフォームが市場シェアを獲得するために競い合っています。現在、...

2021年12月13日読了時間: 2分

Runtime Verificationがアルゴランド財団のセキュリティ・パートナーに

Runtime Verificationがアルゴランド財団のセキュリティ・パートナーに by Runtime Verification Runtime Verificationは、アルゴランド財団との新たなパートナーシップを発表することを光栄に思います。このパートナーシップ...

2021年12月9日読了時間: 2分

Runtime Verification、アルゴランド財団のセキュリティ・パートナーに就任

Runtime Verification、アルゴランド財団のセキュリティ・パートナーに就任投稿日: 2021年12月9日投稿者: Silvia Barredo Runtime Verificationは、アルゴランド財団との新しいパートナーシップを発表することを光栄に思...

2021年10月11日読了時間: 6分

Runtime Verification、アルゴランド・コミュニティ・ガバナンスの報酬契約を監査

Runtime Verification、アルゴランド・コミュニティ・ガバナンスの報酬契約を監査投稿日: 2021年10月11日投稿者: Silvia Barredo Runtime Verificationは、アルゴランド・コミュニティ・ガバナンスの一部である報酬契約...

2020年7月28日読了時間: 3分

Runtime Verificationとアルゴランド、アルゴランドのスマートコントラクト・エコシステムのためのフォーマル・ツール構築のための新たなエンゲージメントを発表

Runtime Verificationとアルゴランド、アルゴランドのスマートコントラクト・エコシステムのためのフォーマル・ツール構築のための新たなエンゲージメントを発表投稿日: 2020年7月28日投稿者: Musab Alturki この度、Runtime...

2019年6月18日読了時間: 5分

アルゴランドをフォーマルに検証：鋼鉄のチェーンを補強（モデリングと安全性） by Runtime Verification

アルゴランドをフォーマルに検証：鋼鉄のチェーンを補強（モデリングと安全性） by Runtime Verification 投稿日: 2019年6月18日投稿者: Musab Alturki, Brandon Moore, Karl Palmskog, Lucas...