Cardanoコミュニティはブロックチェーン業界で真に注目すべきことを達成した。過去3年間で、ADA保有者は、独自の憲法、選出された代表、完全に自律的な意思決定システムを備えた、クリプト界で最も野心的な分散型ガバナンスプログラムの構築を支援してきた。このタイムラインでは、コンセプトから現実へ至るまでの、この稀有な旅における重要なマイルストーンを辿る。

基盤形成期（2022年～2023年）

2022年11月：始まり

エディンバラで開催されたScotFestは、Cardanoが分散型ガバナンスへと移行するVoltaire期の幕開けとなった。同月、 CIP-1694の初期バージョンが公開されたが、ここで、ブロックチェーンの意志決定方法を変革することになる最小限のガバナンス原則が概説された。

2023年2月～7月：グローバルコミュニティのエンゲージメント

コロラドCIP-1694ワークショップ…

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

…

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

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

On Cardano, smart contracts are written in powerful surface languages, such as Plinth, Aiken, and Plu–ts, among others. These contracts control real, valuable assets. If they fail, funds could be stolen or permanently locked.

Input | Output (IO) is developing a new tool to bring formal verification to Cardano smart contracts. While existing tools in the ecosystem – based on…

ブロックチェーン研究開発の最前線を探る月例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…