Coq development of a theory of lightweight cryptographic ledgers
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
Addrs.v
Assets.v
Blocks.v
CTreeGrafting.v
CTrees.v
CryptoHashes.v
CryptoSignatures.v
LICENSE
LedgerStates.v
MTrees.v
Make
Prelude.v
README.md
Transactions.v
configure.sh
lightcrypto.pdf

README.md

Ledger Theory

This repository contains a Coq development of a theory of lightweight cryptographic ledgers.

./configure.sh
make

White Paper

There is also a white paper lightcrypto.pdf providing a high level description and overview of what is here. More detailed descriptions of the various parts will hopefully be written soon.

License

This is all being released as open source under the MIT/X11 software license. See http://www.opensource.org/licenses/mit-license.php This is also in the file LICENSE along with a bitcoin signature of the license.