Weekly development report as of 2025-05-16

ECOSYSTEM UPDATES

The information in this section is based on publicly available sources and is provided for informational purposes only. It does not constitute an endorsement or recommendation of any project, product, or service mentioned.

Cardano continues to show steady growth across ecosystem metrics. The number of projects building has reached 1,999, with delegated wallets holding steady at 1.33 million. On-chain activity also climbed, with 109.37 million transactions processed, and native assets reaching 10.79 million under 214,832 token policies.

Smart contract deployment remains strong, with 133,417 Plutus scripts and 6,640 Aiken scripts, showing a 0.49% increase in script activity since last week. Governance engagement has grown as well, with 1,305 DReps, including 954 active, up 1% from the previous count. Developer momentum is reflected in 224 GitHub commits, highlighting continued contributions across Cardano’s codebase.

In other news:

• The Cardano budget proposal has been submitted on-chain as an info action, encompassing 39 individual proposals

• Flow DeFi shared a sneak peek of their open-source lending protocol, with a public testnet expected in the coming weeks

• FluidTokens has launched Babel fees on mainnet, enabling users to pay transaction fees in CNTs, wBTC, and other supported assets.

CORE TECHNOLOGY

This week, the consensus team tackled Genesis‐related fixes and tooling improvements. They corrected an edge case in chain selection immediately after catch-up by merging an edge-case fix and ensured that ChainSync jumping is disabled once a node is caught up. In collaboration with the Cardano Foundation, they discussed bespoke Antithesis tooling for node testing — see the details in this Discord thread — and continued assisting the Leios research team with open design questions.

Progress on Cardano Blueprint CDDL validation continued. The team’s latest update, CDDL-spec validators, now confirms several golden CBOR files conform to the specification, with more tests on the way. To welcome new contributors, they also introduced an automatic code formatter for ouroboros-consensus, streamlining future development.

WALLETS AND SERVICES

Brave and IO are partnering to integrate Cardano, including native assets, into the Brave wallet. This collaboration with Brave CEO Brendan Eich and his team aims to create a more secure, accessible, and user-respecting Web3. IO founder Charles Hoskinson highlighted the partnership's role in expanding wallet functionality for Cardano users in the on-chain governance era, while also protecting privacy and fostering active participation. For more information, refer to the press release. 

SMART CONTRACTS

Over the past two weeks, the Plutus team enhanced the Cardano blueprint's Plutus section by adding new documentation to guide developers in implementing alternative Plutus Core evaluators. The team also continued improving the Plutus language itself, completing cost- and property-based testing for the modular-exponentiation primitive, as well as costing for new BuiltinArray functions. A bug in expModInteger was resolved, along with updates to its property tests and costing. The team is currently evaluating different methodologies for the Bool case analysis, and the built-in values CIP is in review.

Significant progress in formal methods includes the integration of the certifier with the Plinth compiler, making it accessible as a reusable library via plutus-metatheory, the generation of Agda certificates, and its integration into plutus-tx-plugin. These advancements were presented at the latest public Plutus working group meeting, which also featured demonstrations of the certifier and the new built-in arrays. Upcoming tasks involve developing conformance tests for modular exponentiation, creating landing-page and serialization documentation for the Blueprint, addressing two UPLC force/delay certifier tests, and incorporating an MSM primitive.

SCALING

This week, the Hydra team focused on deposit fixes and incremental-commit handling, alongside UX and documentation tweaks prompted by collaboration with Glacier Drop operators. Ongoing efforts include deeper Blockfrost integration, event-log rotation, and additional user-experience refinements.

The Mithril team advanced the DMQ node implementation by finalizing the delayer and retrier decorators, enabling support for multiple signature publishers in the signer. They also implemented the signature consumer and processor in the aggregator to handle incoming signatures continuously.

The team re-implemented the GCP file uploader using a more robust library and addressed the cleanup of unexpected immutable files downloaded in snapshot archives.

Finally, they improved Cardano node restoration tests to ensure reliable restarts and continued refactoring the STM cryptographic library for better clarity.

The Leios team focused on simulation analysis, security improvements, and protocol documentation. Using the Rust simulator, they executed the first high-throughput simulations of Leios at rates up to 1,000 TPS. Two new metrics were introduced to evaluate system performance temporal efficiency, which measures how many submitted transactions are included in the ledger (with near 100% considered optimal), and spatial efficiency, the ratio of transaction size to total ledger size (including IBs, EBs, and RBs), which reflects storage efficiency.

Recent revisions to Full and Short Leios configurations have led to notable improvements in both metrics. Simulations indicate an average transaction lifecycle of around 100 seconds from submission to ledger inclusion, highlighting the protocol’s progress toward scalable throughput and optimized resource use. 

For more detailed information about the simulations and analysis, please refer to the analysis documentation and the profitability analysis notebook.

VOLTAIRE 

The Cardano community answered the call in the 2025 Q1 committee elections, with 522 members (27% of eligible voters) casting a total of 11,839 ballots among 119 candidates competing for 36 seats across eight committees. 

Intersect hosted a series of X Spaces as a facilitator where candidates could introduce themselves, and electors could inform their decisions. This strong turnout was a great result for the progress of Cardano governance.

The full details, including the names of the successful candidates, are available on the Intersect website.

CATALYST

Catalyst town halls return to Zoom and are livestreamed on YouTube and X, focusing on the future of Catalyst voting with research findings on alternative voting methods. Continued technical development of the Catalyst platform is a key priority in anticipation of a potential Fund14 deployment. The Catalyst Horizons report is available in English and Japanese.

EDUCATION

The education team is gearing up for Cardano Days at the National Technical University of Athens next Tuesday and Wednesday (May 20-21). Registration is open for those interested in attending. Preparations are also underway for upcoming Cardano Days sessions at the Cardano community Azteca 2025 event in Mexico later this month. Furthermore, the team is updating the Cardano developer course and developing new educational materials focused on zero-knowledge proofs.

エコシステム

本セクションの情報は、一般に利用可能な情報源に基づいており、情報提供のみを目的として提供されています。言及されているプロジェクト、製品、サービスを推奨するものではありません。

Cardanoはエコシステム指標全体で着実に成長を続けています。構築中のプロジェクト数は1,999に達し、委任済みウォレットは133万で安定しています。オンチェーンの活動も増加しています。1億937万件のトランザクションが処理され、21万4,832件のトークンポリシーの下でネイティブアセットは1,079万に達しています。

スマートコントラクトのデプロイは堅調で、Plutusスクリプトが13万3,417、Aikenスクリプトが6,640と、スクリプトアクティビティが先週から0.49%増加していることを示しています。ガバナンスへのエンゲージメントも増加し、Drepが1,305人（うち954人がアクティブ）と、前回の集計から1%増加しました。開発者の勢いは、259というGitHubコミット数に反映されており、Cardanoコードベース全体への継続的な貢献が浮き彫りにされています。

その他のニュース： 

• Cardano予算案は、39の個別の提案を含む情報アクションとしてオンチェーンに提出

• Flow DeFiはオープンソースのレンディングプロトコルのプレビューを公開。パブリックテストネットは数週間以内に公開される見込み

• FluidTokensはメインネットでBabelフィーをローンチ。ユーザーはCNTやwBTCなど、サポートされている資産でトランザクション手数料の支払いが可能に

コアテクノロジー

コンセンサスチームはGenesis関連の修正とツール改良に取り組みました。エッジケース修正をマージしてキャッチアップ直後のチェーン選択におけるエッジケースを修正し、 ノードがキャッチアップされるとChainSyncジャンプが確実に無効になるようにしました。Cardano財団と協力してノードテストのためのオーダーメイドのアンチテーゼツールについて議論し（詳細はこのDiscordスレッドを参照）、設計に関するオープン質問でLeios研究チームの支援を続けました。

Cardano Blueprint CDDLの検証は順調に進んでいます。最新のCDDL-specバリデーターによって、複数のCBORゴールデンファイルが仕様に適合していることが確認されました。今後さらに多くのテストが予定されています。新たなコントリビューターを歓迎するために、ouroboros-consensus用の自動コードフォーマッターを導入し、将来の開発を合理化しました。

ウォレットとサービス

BraveとIOは、ネイティブアセットを含むCardanoをBraveウォレットに統合するために提携しています。Brave のBrendan Eich CEOが率いるチームとのコラボレーションは、より安全で、アクセスしやすく、ユーザーを尊重するWeb3の作成を目的としています。IO創立者のCharles Hoskinsonは、プライバシーを保護し、積極的な参加を促進しながら、オンチェーンガバナンス時代のCardanoユーザーのウォレット機能を拡大するこの提携の役割を強調しました。詳しくはプレスリリースを参照してください。 

スマートコントラクト

この2週間、PlutusチームはCardano BlueprintのPlutusセクション強化を目的に、開発者が代替のPlutus Core評価器を実装するのを支援するための新しいドキュメントを追加しました。Plutus言語自体の改善を続け、モジュラー指数演算プリミティブのコストベースおよびプロパティベースのテストを完了させました。同様に、新しいBuiltinArray関数のコスト評価も完了させました。expModIntegerのバグを修正し、その プロパティテストと コスト評価も更新しました。現在、ブールケース分析のためのさまざまな方法論を評価しており、組み込み値に関するCIPをレビューしています。

形式手法における重要な進捗には、証明器のPlinthコンパイラへーの統合（これによりplutus-metatheoryを通じて再利用可能なライブラリーとしてアクセス可能になったこと）、Agda証明書の生成、およびplutus-tx-pluginへの統合が含まれます。これらの進展は、最新の公開Plutusワーキンググループ会議で発表されました。この会議では、証明器と新しい組み込み配列のデモンストレーションも行われました。今後のタスクには、モジュラー指数演算の適合性テストの開発、Blueprintのランディングページとシリアル化に関するドキュメントの作成、2つのUPLC force/delay証明器テストへの対応、およびMSMプリミティブの組み込みが含まれます。

スケーリング

Hydraチームは、Glacier Dropオペレーターとの協力によって促されたUXとドキュメントの微調整と並行して、デポジットの修正とインクリメンタルコミットメントの処理に注力しました。継続中の取り組みには、Blockfrost統合の深化、イベントログのローテーション、追加のユーザーエクスペリエンス改善が含まれます。

Mithrilチームは、遅延処理と再試行処理のデコレーターを完成させてDMQノードの実装を進め、署名者においてマルチシグ発行者のサポートを可能にしました。アグリゲーターに署名コンシューマーとプロセッサーを実装し、受信する署名を継続的に処理できるようにしました。

堅牢なライブラリーを使用してGCPファイルアップローダーを再実装し、スナップショットアーカイブにダウンロードされた予期しない不変ファイルのクリーンアップに対処しました。

信頼性の高い再起動を保証するためにCardanoノードの復旧テストを改善し、明確性を高めるためのSTM暗号ライブラリーのリファクタリングを継続しました。

Leiosチームは、シミュレーション分析、セキュリティ向上、プロトコルドキュメントに重点を置きました。Rustシミュレーターを使用して、最大1000TPSの速度でLeios初の高スループットシミュレーションを実行しました。システムパフォーマンス評価のために、送信されたトランザクションのうち台帳に含まれる割合を測定した「時間効率」（ほぼ100%で最適と見なされる）、および、トランザクションサイズと総台帳サイズ（IB、EB、RBを含む）の比率でストレージ効率を示す「空間効率」という2つの新しい指標が導入されました。

Full LeiosとShort Leiosの構成に対する最近の改訂により、両方のメトリクスに著しい改善が見られました。シミュレーションでは、トランザクションが送信されてから台帳に含まれるまでの平均ライフサイクルが約100秒であることが示されており、スケーラブルなスループットと最適化されたリソース使用に向けたプロトコルの進捗が強調されています。 

シミュレーションや分析の詳細は、分析資料および収益性分析ノートを参照してください。

VOLTAIRE 

Cardanoコミュニティは2025年第1四半期の委員会選挙において呼びかけに応え、522名のメンバー（有権者の27%）が、8つの委員会にわたる36議席を争う119名の候補者に対して、合計11,839票を投じました。 

Intersectは、候補者が自己紹介を行い、有権者が意思決定の参考となる情報を得られる場として、一連のX Spacesを開催しました。この高い投票率は、Cardanoガバナンスの進展にとって素晴らしい結果となりました。

当選者の氏名を含む詳細情報は、Intersectウェブサイトで公開されています。

CATALYST

CatalystのタウンホールはZoomに戻り、YouTubeとXでライブ配信されます。代替投票方法に関する調査結果に焦点を当て、Catalyst投票の未来について議論します。潜在的なFund14の展開を見据え、Catalystプラットフォームの継続的な技術開発が重要な優先事項です。Catalyst Horizonsレポートは英語と日本語で公開されています。

教育

教育チームは、来週火曜日と水曜日（5月20～21日）にアテネ国立工科大学で開催されるCardano Daysに向けて準備を進めています。参加希望者の登録は受付中です。今月後半にメキシコで開催されるCardanoコミュニティのAzteca 2025でのCardano Daysセッションの準備も進めています。Cardano開発者コースを更新し、ゼロ知識証明に焦点を当てた新しい教材を開発しています。