Skip to content

Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.

Notifications You must be signed in to change notification settings

omelkonian/formal-utxo

Repository files navigation

A formal model of the Extended UTxO model in Agda CI

Based on:

Joachim Zahnentferner, 2018, May. "An Abstract Model of UTxO-based Cryptocurrencies with Scripts"

and

Joachim Zahnentferner, 2018, March. "Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies"

and

IOHK, 2019. "The Extended UTXO Ledger Model"

HTML

Browse the Agda code in HTML here.

About

Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.

Resources

Stars

Watchers

Forks

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages