qarterd's comments

qarterd | 11 years ago | on: A Coq development of a theory of lightweight cryptographic ledgers

It's nice to see a formal proof of lightweight ledgers, but this concept of account states in a merkle tree with merkle path verified state deltas is nothing new.

As the author states, lightweight ledgers are well suited to proof of stake. I'm working on such a crypto 2.0 that also uses the Python VM for smart contracts and is multichain scalable with cross-chain contracts.

See Qointum: https://qointum.com