取引を管理するコードの正確性を数学的に証明し、最も慎重に、または経済的に重視されるスマートコントラクトのセキュリティを高める正式な検証を容易にします。
[[OCaml]]を利用しています。
2017年7月にICOはイーサリアムのトークン（[[ERC20]]）で行われることが多いですが、Tezosの場合、プロトコルから独自に開発しています。 開発チームには元[[Goldman Sachs]]の[[Arthur Breitman]]を始めとして、Accenture、Morgan Stanleyでの職務経験を持つメンバーが集まっています。 Tezosはデリゲート・プルーフ・オブ・ステーク（[[D-PoS]]）を採用しています。[[PoS]]は、コインの保有者が取引の承認権利を保つ仕組みです。 D-POS（Delegated-Proof of Stake）では、投票権利を代理人に委任できます。※D-POSはLiskやBitsharesで採用されている技術です。 Tezosは開発言語に[[OCaml]]を採用しています。OCamlの特徴は、C++と同じ程度の高速処理が可能であることです。 OCamlは東京大学理学部情報科学科で学術的研究で用いられている言語で、フランスの研究所、[[INRIA]]で開発されました。 Tezosは2017年7月に[[ICO]]を実施し、261億円（65,703[[XBT]]、361,122[[ETH]]）を調達しました。 2018年4月現在、alphanetの試験運用を始めています。また、公式サイトから2018年2Qに[[betanet]]、3Qに[[mainnet]]での運用開始が発表されました。そのため、取引所での取り扱いは2018年の7月前後になるものと思われます。
