⛓️ Blockchain + Smart contracts from scratch
Blockchain, Smart Contract, and Database implementation in ATS
The CLI is currently to be used in the following way:
The full report is online. Part 1 is @galletti94/functional-blockchain">here and part 2 is @galletti94/functional-blockchain-part-2">here.
Currently only supported on Linux. After installing ATS and cloning the repo, simply run
cd ATS-blockchain
git clone https://github.com/ashalkhakov/colorado.git
make regress
Pull requests are welcome!