Basho(バショウ)開発期を通じて、需要の高まりに応じた台帳の最適化とスケーリングが続けられます。パラメーターの調整とノードのアップグレードとともに、Plutusの機能は堅調に開発が続けられています。
Plutusは生きた、進化するスマートコントラクト言語です。この進化において、CIP(Cardano改善提案)が重要な役割を果たします。CIPメカニズムを通じて、誰もがCardanoの改善案を提案することができます。CIPはコミュニティによるエンゲージメントと提案のレビューを促します。改善案はCardano財団のGitHubリポジトリで継続的に維持されます。
このうち2つの詳細を見てみましょう。参照インプット(CIP-31)と参照スクリプト(CIP-33)の各CIPはすべてCardanoに実装されるべく提出され、6月のVasilハードフォークで実装予定に含まれています。他のスケーラビリティ向上の手段とともに、こうしたPlutusの強化は、Cardanoにおける分散型アプリケーション(DApp)、分散型金融(DeFi)、リアルFi…
IOGの新部門、開発者エクスペリエンスが開発アジリティを改善
社内プロセスを皮切りに、より優れたソリューションの構築とCardano開発エクスペリエンスの最適化に取り組む
2022年 1月 13日 5 分で読めます
グローバルリーチを意図して設計され、機能を強化したCardanoは、今やコア機能から生きたスマートコントラクトプラットフォームへと移行しています。Cardanoの成長と成熟をけん引しているのは、段階的な最適化と、科学的に検証されたシステム改良です。
「性急に動いて物事を破壊する」のは、Cardanoの構築方法ではありません。テクノロジーの最前線で、その中心にリサーチアジェンダを据えて取り組むなか、私たちは、数学的仕様記述やプロパティベースのテスト、高保証性ソフトウェアシステム配信の証明といった形式手法を使用し、ユーザーが安心してデジタル資産を管理できるように努めています。
プログラム可能性
コアシステムコンポーネントが正しく機能することを確実に保証するために、プログラミング言語の基礎としてHaskell…
ADAユーザーとCardanoブロックチェーンのソフトウェア開発者の数は拡大し続けています。いくつものプロジェクトが最終テスト段階にあり、またはデプロイを始めている中、Cardano Cube、 Built on Cardano、Building On Cardano、Essential Cardano、Developers.cardano.orgなどのサイトは、既存エコシステムのマッピングに追われています。Cardanoは、ブロックチェーンベースの製品、サービス、システムを構築するための、安全で堅牢なプラットフォームとして作成されました。堅実に開発していくための明確なロードマップで示されているように、現在はグローバルな規模で利用するためのスケーリング段階にあります。
DeFi…
ブロックチェーンにより多くの機能を着実に追加しているCardanoは、勢いを増し続けています。先日紹介したように、スループットを拡大し、より多くのトランザクションをより素早く処理し、分散型アプリケーション(DApp)やスマートコントラクトの作成や使用の効率を上げるために、ネットワークを最適化しています。今週は、新たなP2Pテストネット立ち上げにより、完全な分散化に向けた継続的な推進をサポートするための重要な新イニシアチブを開始しました。
Cardanoは、Ouroborosアルゴリズムを介したプルーフオブステークコンセンサスを使用して、分散型の環境における信用と安全性を確保します。この中心にはおよそ300…
夏の初めにお届けした記事 では、Cardanoが、どのようにイーサリアムからのERC20トークン移転をサポートするかについて紹介しました。これはまず、SingularityNETとそのトークンAGIXから始まります。本日、AGIX ERC20コンバーターテストネットが公開され、いよいよコミュニティから評価を受ける準備が整いました。
SingularityNETは、このイニシアチブにおける最初のパートナーであり、コンバーターはSingularityNETコミュニティとのより深いコラボレーションに向けた旅の重要な一歩となります。
SingularityNETのCEOにしてチーフサイエンティストのBen Goertzel博士は次のように述べています。
AGIX-ADA/AGIX-ETHコンバーターの登場に非常に興奮しています。これはCardano…
最新の記事
Input | Output chief scientist receives prestigious Lovelace computing award 筆者: Fergie Miller
3 December 2024
Delivering change in Ethiopia: lessons and reflections 筆者: Staff Writer
28 November 2024
Applying formal methods at Input | Output: real-world examples 筆者: James Chapman
26 November 2024