Cardanoのスマートコントラクトの中には、高価値トランザクションを伴うものもある。多くの開発者は今でも従来のソフトウェア開発で一般的に使われているセキュリティ対策に依存している。手動でのコードレビュー、ユニットテスト、外部監査はバグやその他の問題を特定するのに効果的であるが、スマートコントラクトは新たな固有の課題を提起する。例えば、誤った、または悪意のあるスマートコントラクトコードは、不可逆的な損失につながる可能性がある。

…

数学的基礎と形式的検証アプローチによって、Cardanoはブロックチェーンのセキュリティと信頼性の第一人者としての地位を確立した。しかし、卓越したセキュリティを保証するこれらのアーキテクチャーの選択は、専門知識、ツール、インフラへの多額の先行投資を必要とする開発者エクスペリエンスを生み出した。その結果、技術的に最高レベルの堅牢性を誇るブロックチェーンは、多くの開発者にとって構築が困難であり、その強力な技術的優位性にもかかわらず、エコシステムの成長が妨げられている。

これを受けて、Input | Output (IO)は現在Project Acropolisに取り組んでいる。これはCardanoノードアーキテクチャーの根本的な再構築である。Acropolis…