https://rdxhd.org/digital-system-verification-ledger/