トランザクションおよびコントラクト管理における複雑性

eUTxOモデルは、Ethereumのようなアカウントベースのモデルと比較して、トランザクションおよびコントラクトの管理により高い複雑性をもたらします。この複雑性は、特に高度な状態管理を必要とするアプリケーションの開発や調整において、開発者に課題をもたらします。このトレードオフは、ユーザー体験とブロックチェーン全体の有効性に影響を及ぼします。

Leviathanプロトコルは、Guaranteed Transactions（保証付きトランザクション）を導入することで、これらの問題に対処します。これらのトランザクションは決定論的であり、その入力に対する排他的な権利を保持するため、決済台帳のスループット容量に制約されることなく、一連の状態変更を可能にします。

Guaranteed Transactionsを用いて動作することで、このプロトコルは、台帳のライブネスを前提として、即時ファイナリティを保証します。これらのトランザクションは一連の状態変更を促進し、決済台帳のスループット制限を回避します。たとえば、N番目のトランザクションの出力は、N+1番目のトランザクションの入力として機能し、N番目のトランザクションについて台帳上の確認を必要としません。このプロセスは、Leviathan Chain Extension（Leviathanチェーン拡張）として知られています。

トランザクションがGuaranteed Transactionとして認められるためには、プロトコルはユーザーをアクションから切り離し、ユーザーをトランザクションの決定論的な性質から実質的に分離する必要があります。この分離は、アカウント抽象化レイヤーによって実現されます。これにより、ユーザーの同意、すなわち署名付きメッセージまたはインテントによって示される同意に基づき、ユーザーに代わってトランザクションを実行できます。共有シーケンサーネットワークが確立され、このネットワークは、スマートコントラクトで定義されたコンセンサスを通じて、Transaction Chain（トランザクションチェーン）を作成します。