New on the blog: a primer on Cardano's extended transaction output model – how it works, why transaction validation stays predictable, and how the Agda formal ledger specification turns those properties into machine-checked proofs.
Learn more:
Show more
