Tag: ocaml

The second of an epic 4 part Tezos tech talk given by Tezos founder Arthur Breitman in Menlo Park in late August 2017. Links: www.tezos.community forums.tezos.community tezos.com michelson-lang.com

Tezos in 2 Minutes Website: https://www.tezos.com Whitepaper: https://tezos.com/pdf/position_paper.pdf GitHub: https://github.com/tezos/tezos Michelson (Smart Contract Language): https://tezos.com/static/papers/language.pdf Nomic (Basis for Tezos' Democracy): http://legacy.earlham.edu/~peters/writing/nomic.htm

We present Tezos, a generic and self-amending crypto-ledger which can instantiate any blockchain based ledger. The operations of a regular blockchain are implemented as a purely functional module abstracted …