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

…

Python、TypeScript、Scalaなどのモダン言語で作成されたスマートコントラクトを、ビットコイン自体を変更することなくビットコインで実行できるとしたら。

Input | Output (IO)で開発されている新しいコンパイルパイプラインによって、そのアイデアは現実になりつつある。シリアル化されたスマートコントラクト形式（Untyped Plutus Core：UPLC）、洗練されたインタープリターアーキテクチャーであるCEK - Control（制御）Environment（環境）Kontinuation（継続）- マシン、広くサポートされているオープンソースのRISCセットアーキテクチャー（RISC-V）を組み合わせることで、IOは表現力豊かなCardanoスマートコントラクトの世界からビットコインの堅牢なベース層への接続を構築している。その中心にあるのが、RISC-Vを利用してオフチェーンロジックを安全に実行する、ビットコインのオプティミスティック検証システムBitVMX…

Cardanoでは、スマートコントラクトはPlinth、Aiken、Plu–tsなどの強力な表層言語で作成される。これらのコントラクトは現実の貴重な資産をコントロールする。失敗した場合、資金は盗まれたり永久にロックされたりする可能性がある。

Input | Output (IO)は、Cardanoスマートコントラクトに形式検証をもたらす新しいツールを開発している。AGDA、ROQ（旧Coq）、その他の証明支援系のようなシステムに基づくエコシステム内の既存のツールは強力な保証を提供しているが、一般的に使用するには専門知識が必要である。この新しいツールはLean4証明系とZ3のようなSMTソルバーを組み合わせて、コントラクトが意図したとおりに動作するかを自動的にチェックする。その目標は、開発者が自分で形式証明を記述する必要性をなくすことである。

…

ブロックチェーン研究開発の最前線を探る月例Cardano R&D Sessions第2弾で、Input | Output Research (IOR)はIntersect研究ワーキンググループと共同で、エコシステムで最も緊急かつ複雑なトピックの1つであるトークノミクスに関するダイナミックな議論を主催した。

7月のセッションでは、Cardanoエコシステム全体から一流の研究者と実務家が集まり、Cardanoの経済インフラを形作る基礎設計の問題に取り組んだ。IOR研究フェローのPaolo PennaとDRepのRyan Wiley（Cerkoryn）の発表のほか、IORのリサーチパートナーシップディレクターであるFergie Millerの司会により、Manvir Schneider（Cardano財団）とRaul Antonio（Fluid Tokens…

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

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