TechFlowの報道によると、最近、Moveエコシステムの初期貢献者であるMoveBitとAptos Moveの責任者Wolfgang Grieskampが共同で、ブロックチェーンにおける形式手法に関する学術論文FMBC-24(Formal Methods for Blockchains)を発表した。この論文では、Aptosチェーンのスマートコントラクトの安全性を確保するための形式的検証手法について述べており、多様な応用シナリオにおいて高いセキュリティ性能を実現できることを示している。MoveBitのコア開発者であるLuis Loh氏とZorrot Chen氏は、本プロジェクトに深く関与し、Aptos Frameworkの安全性向上に顕著な貢献を行った。特に注目すべき点として、Wolfgangは今後開催されるETAPSカンファレンスにて、MoveBitが深く関与したAptosの形式的検証作業を発表する予定である。
Web3業界の深掘り報道に専念し潮流を洞察
投稿したい
取材依頼
リスク提示:本サイトのすべての内容は投資助言ではなく、いかなるシグナル配信・取引勧誘サービスも行いません。中国人民銀行など十部委の「仮想通貨取引投機リスクの防止と処置に関する通知」に基づき、リスク意識の向上をお願いいたします。お問い合わせ / support@techflowpost.com 琼ICP备2022009338号




