Alur Kerja UTXO Multi-langkah Bertahap melalui Invarian Rekursif

Eksekusi bergaya UTXO tanpa state memvalidasi transaksi hanya menggunakan data lokal dan data yang dirujuk, yang memungkinkan validasi paralel dan penghitungan ukuran/berat terserialisasi yang dapat diprediksi. Alur kerja multi-langkah, bagaimanapun, harus merangkai state melintasi output. Ketika transaksi langkah berikutnya yang telah disiapkan menjadi usang karena pengeluaran valid lain dikonfirmasi lebih dulu, perangkaian state secara eksplisit memindahkan pemeliharaan konsistensi, pelacakan off-chain, dan pembangunan ulang transaksi ke batas protokol, sehingga meningkatkan biaya koordinasi dan latensi.

Invarian Rekursif (RI) diusulkan sebagai logika tingkat transaksi dan toolchain untuk mengatasi celah ini. Gagasan utamanya adalah mengekspresikan aturan alur kerja sebagai predikat tingkat transaksi atas input suatu transaksi dan posisi penerus terindeks yang dirujuk oleh RI. Transaksi yang diterima yang mewujudkan posisi penerus semacam itu memeriksa ulang RI pendahulunya satu langkah kemudian, meneruskan aturan alur kerja tanpa state aplikasi mutabel bersama atau logika output yang dapat dieksekusi. Akibatnya, aturan protokol multi-langkah mempertahankan lokalitas pada waktu

Prototipe interpreter RI dan toolchain benchmarking dievaluasi pada enam beban kerja. Enam studi kasus yang dimotivasi praktik menunjukkan pertumbuhan proksi biaya validasi kumulatif yang kira-kira linear. Studi kasus tersebut mengilustrasikan batasan alur kerja bertahap tanpa membangun terlebih dahulu setiap penerus, menunjukkan bahwa aturan multi-langkah dapat diekspresikan sambil mempertahankan lokalitas pada waktu validasi. Kerangka kerja ini memformalkan validasi UTXO dan perluasan ledger, mengidentifikasi fragmen satu langkah yang dapat dievaluasi pada waktu validasi, dan membuktikan sistem deduksi sound terhadap semantik bernilai tiga. Algoritma validasi dan perluasan ledger disediakan untuk model ini.

Hasil menunjukkan bahwa penghitungan biaya eksplisit dimungkinkan dalam pendekatan RI, dan bahwa jaminan lintas transaksi muncul dari pemeriksaan satu langkah yang berulang, bukan dari state aplikasi mutabel bersama atau logika output yang dapat dieksekusi. Semantik bernilai tiga berhasil menunda kewajiban yang bergantung pada masa depan sampai dapat diperiksa, yang diperlukan karena tidak semua klausa penerus dapat diperiksa pada waktu validasi.

Diagram Mermaid dari alur ke