Skip to main content

Cardanoガバナンスの道程:分散型民主主義までのタイムライン

コミュニティワークショップから世界初のブロックチェーン憲法まで、Cardanoはブロックチェーンの最も野心的なガバナンスシステムを構築した。2025年に完全に自律的な民主的意思決定を達成した3年間のコラボレーションの軌跡を辿る

2025年 8月 4日 Ivan Irakoze 19 分で読めます

Cardanoガバナンスの道程:分散型民主主義までのタイムライン

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

基盤形成期(2022年~2023年)

2022年11月:始まり

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

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

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

Cardanoエコシステムにおけるセキュリティの民主化:完全な開発ライフサイクル

Input | Output Engineeringが、すべてのCardano開発者が高保証の開発を利用できるようにするための統合ツールスイートを構築中

2025年 7月 30日 Joseph Fajen 10 分で読めます

Cardanoエコシステムにおけるセキュリティの民主化:完全な開発ライフサイクル

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

ビットコインでスマートコントラクト

表現力豊かなスマートコントラクトと分散型アプリケーションを新しいツールセットでビットコインに導入

2025年 7月 19日 Riley Kilgore 7 分で読めます

ビットコインでスマートコントラクト

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

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

A new era of smart contract verification on Cardano

Security matters. Learn more about a new tool that makes automated formal verification of Cardano contracts easier, faster, and more accessible than ever

2025年 7月 17日 Romain Soulat 7 分で読めます

A new era of smart contract verification on Cardano

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トークノミクス:設計、インセンティブ、ステーブルコイン

2025年7月のCardano R&Dセッションでは、研究者、ビルダー、ガバナンスリーダーが一堂に会し、Cardanoにおけるトークノミクスの未来を探求。バリデーターのインセンティブからステーブルコインの設計まで、経済メカニズムがサステナブルな成長を促進し、分散性を深め、エコシステムの回復力を強化する方法が議論により明らかに

2025年 7月 9日 Fergie Miller 14 分で読めます

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