CertiKプラットフォームは、完全に信頼できるスマートコンタクトとブロックチェーンの生態系を構築するための正式な検証フレームワークであると考えられています。バグを検出するための従来のテスト手法とは異なり、CertiKプラットフォームはブロックチェーンエコシステムにバグがないことを数学的に証明しようとします。財団は、他の方法で禁止されている証明タスクを、分散型のスタイルで自動的に解決できる小さなものに分解するモジュラ検証技術を開発しました。これらの証明オブジェクトは、CertiKプラットフォームのトランザクションで構築およびエンコードされ、他の参加者によって検証されます。したがって、CertiKプラットフォームのブロックチェーンは、検証されたスマートコントラクト、分散アプリケーション(DApp)のライブラリ、エンドツーエンドの正確さとセキュリティを証明する証明書として機能することを意図しています。The CertiK platform is envisaged to be a formal verification framework for building fully trustworthy smart contacts and blockchain ecosystems. Different from the traditional testing approaches to detect bugs, the CertiK platform attempts to mathematically prove that blockchain ecosystems are bug-free. The Foundation has developed modular verification techniques to decompose such an otherwise prohibitive proof task into smaller ones that can be automatically solved in a decentralized style. These proof objects can be built and encoded in the CertiK platform’s transactions and will then be validated by other participants. Thus, the CertiK platform’s blockchain is intended to work as certificates to exhibit the end-to-end correctness and security of the verified smart contracts, libraries of decentralized applications (DApp), and the implementations of the blockchain itself.
コメントを残す