IOGはブログで、比類のないレベルのセキュリティ、スケーラビリティ、プログラマビリティをカルダノにもたらすKEVMとIELEについて解説しており、KEVM/IELEの実装は、カルダノの到達範囲と相互運用性を拡大し、「correct by construction」環境の文脈で、新しいアイデア、コンセプト、技術開発の探求につながる新たな協力の道筋を作ると述べています。 下記の記事はIOGブログの記事「Runtime Verification & IELE – from interoperability to universality」を翻訳したものです。 Runtime VerificationとIELE – 相互運用性から普…