==コンセプト==
Tezosとは、公益を目的として組織され、管理するコミュニティーを確立することによって、それ自体を支配する新しい分散型ブロックチェーンです。Tezosとは、公益を目的として組織され、管理するコミュニティーを確立することによってそれ自体を支配する新しい分散型ブロックチェーンです。
Tezosは正規な検証を容易にするように作られています。また、プロトコルを進化させる合意形成メカニズムを組み込んでいます。Tezosは正規な検証を容易にするように作られています。またプロトコルを進化させる合意形成メカニズムを組み込んでいます。
取引を管理するコードの正確性を数学的に証明し、最も慎重に、または経済的に重視されるスマートコントラクトのセキュリティを高める正式な検証を容易にします。