Tezos

Tezosとは、Tezosは公益を目的として組織され、管理するコミュニティーを確立することによって、それ自体を支配する新しい分散型ブロックチェーンです。 Tezosは正規な検証を容易にするように作られています。

取引を管理するコードの正確性を数学的に証明し、最も慎重に、または経済的に重視されるスマートコントラクトのセキュリティを高める正式な検証を容易にします。

OCamlを利用しています。