本稿では、スマートコントラクトの柔軟性を維持しながら、その複雑さやパフォーマンスの課題を克服するために、宣言型トランザクションモデルを導入し、ブロックチェーンにおけるユーザー定義トランザクションの新たな枠組みを提案しています。