Hydra - 究極のレイヤー2スケーラビリティのためのCardanoのソリューション
Cardano開発ロードマップに欠かせないスケーラビリティ:Hydra登場
2021年 9月 17日 9 分で読めます
Alonzoアップグレードはスマートコントラクトや分散型アプリケーション(DApp)、その他のアプリケーションをCardano上で作成することを可能にします。
AlonzoはCardanoの旅における重要なマイルストンであり、基礎レベルのスクリプト機能がデプロイされ、これがさらなるイノベーションとネットワーク開発を可能にします。これはまた、トランザクションとトークンベースのブロックチェーンを、ダイナミックなクリエイティビティの融合、金融包摂、分散型開発へと変容させるプロセスの始まりでもあります。
Alonzoで可能となった新たな開発の中でも最もエキサイティングなものの1つがHydra(ハイドラ)です。これはCardanoのスケーラビリティをさらに向上させる主要なレイヤー2ソリューションであり、既存のレイヤー…
本日これから、HFC(ハードフォークコンビネーター)プロトコルアップグレードイベントにより、CardanoメインネットにPlutusスマートコントラクト機能が配信されます。
Alonzoアップグレードは、ブロックチェーンにPlutusスクリプトを統合することを通じて、Cardanoに待ち望まれた機能をもたらします。これで、Cardanoにスマートコントラクトが実装され、分散型アプリケーション(DApp)の新たなユースケースをホストすることが初めて可能となります。
これは始まりに過ぎません。それでも、今はお祝いの時です。コミュニティとして、私たちはともに驚くような旅を続けてきました。ここまで多くの人々によりなされてきた数えきれない努力を讃えるべき時でしょう。これはまた、私たちが一丸となって克服してきた課題を振り返るときでもあります。
…
並行性とそのすべて:CardanoスマートコントラクトとEUTXOモデル
CardanoのEUTXOモデルが、複数の操作をシステム障害なしに処理できるセキュアな多目的環境を提供
2021年 9月 10日 10 分で読めます
CardanoはUTXOベースのブロックチェーンであり、分散型アプリケーション(DApp)に、イーサリアムなどのアカウントベースのブロックチェーンとは異なるプログラミングパラダイムを活用します。Cardanoが使用する具体的なフレーバーは、Alonzoによって導入される拡張未使用トランザクションアウトプット(EUTXO)モデルです。EUTXOはより優れたセキュリティ、不快な驚きのないスマートコントラクトの実行コストの予測可能性、そしてその結果として、並列性への異なるアプローチを提供します。
EUTXOはUTXO(ビットコイン)モデルのブランチ(枝)設計を継承しています。ここでブランチは、定義上、一連の検証を必要とする一連のトランザクションです。異なるブランチにロジックを分割してより多くの並列処理を実行するためには、複数のUTXOを使用してDApp…
前稿では、トランザクションのオンチェーンへの適用とスクリプトの検証結果が、トランザクションを送信する前にローカルで正確に予測可能となることを保証する、Alonzo台帳におけるトランザクションおよびスクリプト検証の決定性について考察しました。
Alonzo台帳の決定性設計が提供する保証を前提に、私たちは独自の二段階検証スキームを実装しました。これは、ノードがネットワークのトランザクションを検証するために使用するリソースを最小化するとともに、ユーザーにとって予想外となるコストを排除することを意図して設計されています。本稿では、この二段階検証の仕組みについて掘り下げます。
Shelley期、Allegra期、そしてMary…
AlonzoハードフォークによりPlutusスマートコントラクトのコア機能がCardanoにもたらされるに連れ、ますます高まる分散型ソリューションデプロイのニーズに応えるために台帳も進化します。Cardano台帳の設計は、高保証性、セキュリティ、証明されたフォーマル検証に焦点を当てています。この戦略と併せて、トランザクション処理の決定性(determinism)、すなわち、トランザクションの実行前にユーザーがその影響と結果を予測できることも重要です。
トランザクションの実行コストを保証できる機能性、そして、トランザクションが台帳上でいかに動作するかを送信前に知ることの重要性は、スマートコントラクトサポートの導入とともにさらに高まっています。Cardanoのような未使用トランザクションアウトプット(UTXO)ベースのブロックチェーンは、このような機能性を提供します。イーサリアムなどのアカウントベースのブロックチェーンは非決定性…
最新の記事
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