監査

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

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

EXA Financeプロトコルの紹介

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

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

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

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

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

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

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

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

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

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

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