A formal model for ledger management systems based on contracts and temporal logic
This episode discusses a paper presenting a formal model for ledger management systems using contracts and temporal logic. The hosts explore modeling smart contracts as finite-state automata, defining transactional bundles, and utilizing a powerful query language. The conclusion is that this approach aims to make blockchain systems safer and more reliable, preventing issues like the DAO hack.