Skip to content

Latest commit

 

History

History

impl

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

cardano-ledger

This package contains the validation rules for the Cardano Ledger. The rules define state transition systems that describe how to validate new blocks and transaction, and how to extend the ledger. They are an implementation of the formal specification defined in cardano-ledger.