README
¶
banking-rules
An experimental application to impose transaction rules on a banking account with hyperledger sawtooth as record-keeping blockchain. Uses z3 to check for consistency in rules.
Directories
Click to show internal directories.
Click to hide internal directories.