「Tezos」の版間の差分

提供: tezos-wiki
移動先: 案内検索
4行目: 4行目:
 
取引を管理するコードの正確性を数学的に証明し、最も慎重に、または経済的に重視されるスマートコントラクトのセキュリティを高める正式な検証を容易にします。
 
取引を管理するコードの正確性を数学的に証明し、最も慎重に、または経済的に重視されるスマートコントラクトのセキュリティを高める正式な検証を容易にします。
  
[[OCaml]]を利用しています。
 
  
2017年7月に[[ICO]]を実施し、261億円(65,703[[XBT]]、361,122[[ETH]])を調達しました。
+
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月前後になるものと思われます。

2018年4月8日 (日) 03:37時点における版

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

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


ICOはイーサリアムのトークン(ERC20)で行われることが多いですが、Tezosの場合、プロトコルから独自に開発しています。

開発チームには元Goldman SachsArthur 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,703XBT、361,122ETH)を調達しました。

2018年4月現在、alphanetの試験運用を始めています。 また、公式サイトから2018年2Qにbetanet、3Qにmainnetでの運用開始が発表されました。 そのため、取引所での取り扱いは2018年の7月前後になるものと思われます。