「Tezos」の版間の差分
(ページの作成:「Tezosとは、Tezosは公益を目的として組織され、管理するコミュニティーを確立することによって、それ自体を支配する新しい分...」) |
|||
3行目: | 3行目: | ||
取引を管理するコードの正確性を数学的に証明し、最も慎重に、または経済的に重視されるスマートコントラクトのセキュリティを高める正式な検証を容易にします。 | 取引を管理するコードの正確性を数学的に証明し、最も慎重に、または経済的に重視されるスマートコントラクトのセキュリティを高める正式な検証を容易にします。 | ||
+ | |||
+ | [[OCaml]]を利用しています。 | ||
+ | |||
+ | 2017年7月に[[ICO]]を実施し、286億(65,703[[XBT]]、361,122[[ETH]])を調達しました。 |