1,000チェーンを並列実行するPoWパブリックチェーンKadenaのハードコアな分解

こんにちは、みんな

私はバゴットです

仮想通貨界のバフェットになりたいネギ

最近、準拠プラットフォームCoinlistで公開されたKadenaがメインネットを立ち上げました。 Kadena は非常に特徴的なプロジェクトであり、これまでに Multicoin Capital、Metastable、SVangel、Scalar Capital など多くの有名なファンドから投資を受けています。

Kadena が現在のすべてのパブリック チェーンと異なる点は、単なるパブリック チェーンではなく、パブリック チェーンとコンソーシアム チェーン/プライベート チェーンを相互接続できるブロックチェーン ネットワークであることです。

さらに、Kadena は PoW コンセンサスを採用しており、初期段階では CPU マイニングとなります。メインネットワークが立ち上がったばかりなので、パソコンでもマイニングに参加して KDA を獲得できるはずです。

疑問を抱きながら、ホワイトペーパーやソーシャル情報などを読んで、この記事を書きました。

嘉手納って何ですか？

Kadena は、コンソーシアム チェーン/プライベート チェーンと他のパブリック チェーンを相互接続できるブロックチェーン ネットワークです。これらを相互接続するために、Kadena はPoW コンセンサスに基づく並列チェーン プルーフ オブ ワーク アーキテクチャ Chainweb と、ScalableBFT コンセンサス プロトコルに基づくエンタープライズ プライベート チェーン Kuroを設計し、チューリング不完全でシンプルで読みやすいスマート コントラクト言語 Pactを開発しました。

これらはすべて非常に革新的なデザインのようです。現在、主流のパブリックチェーンのほとんどは PoS コンセンサスを使用していますが、Kadena は Nervos や Conflux と同様のコンセプトと機能を持つと思われる PoW を選択しました。 ?

チューリング不完全なPactスマートコントラクト言語は人々の関心を呼んでいます。当局者は、これは人間が読める契約言語だと述べた。

人間が読める形式ですか? ?

Chainweb と Pact を通じて、 Kadena はコンソーシアム チェーンとパブリック チェーンを接続し、相互呼び出しをサポートし、コンソーシアム チェーンをクロスチェーン システムに組み込む先駆者となります。

Chainwebとは何ですか?

出典: Chainweb プロトコル セキュリティ計算ホワイトペーパー

Chainweb は、個別にマイニングされた数百または数千の並列チェーンを単一のネットワークに統合できる、新しい並列チェーン プルーフ オブ ワーク アーキテクチャです。並列チェーンは、他の並列チェーンの Merkle ツリー ルートと相互作用して、スーパー チェーンを強制できます。

ホワイトペーパーの説明によると、Chainweb はスケーラブルです。並列チェーンの数が増えると、1秒あたりの処理能力も増加します。このようなアーキテクチャにより、Chainweb は少なくとも1,250チェーンまで成長する可能性があり、TPS は10,000以上に達する可能性があります。

Chainweb はどのようにして高い TPS を実現するのでしょうか?

Chainweb の設計は、ビットコインの簡易支払い検証(SPV ) に基づいています。ネットワーク内の各並列チェーンは同じ暗号通貨 (KDA) をマイニングします。この暗号通貨は、スマート コントラクト レベルでの信頼性のないシンプルな支払い検証 (SPV) を通じて転送およびリンクできます。

SPV とは何ですか? 簡単に説明してください。

ビットコインのホワイトペーパーには次のように記されている。

完全なネットワークノードを実行しなくても支払いを検証できます。ユーザーは、最長のプルーフ・オブ・ワーク チェーンのブロック ヘッダーのコピーを保持する必要があり、最長のチェーンを持っていることが確実になるまでネットワークにクエリを続け、タイムスタンプが付けられてブロックに含まれたトランザクションへのマークル ブランチをたどることができます。

出典: ビットコインホワイトペーパー

Chainweb ネットワークでは、並列チェーンのノードは他の並列チェーンのブロック ヘッダー情報を同期して確認するだけで済みます。各チェーンは、他の並列チェーンの Merkle ツリー ルートのサブセットを独自のブロック ハッシュに統合し、特定のワークロードが完了したことを検証することで、Kadena のスケーラビリティを実現します。

この絵はその論理を非常に鮮明に表現できるかもしれない。

ソース：

https://explorer.chainweb.com/mainnet

この写真を例にとると、ブロックの高さが「145676」のChain4のトランザクションをキャプチャしました。デフォルトでは、自身のチェーンの 1 つと 3 つの並列チェーンを含む、以前のブロック Chian1、Chain2、Chain4、Chain9 の情報が同期されました。他の 3 つの並列チェーンは、それぞれ前のブロックの 4 つの並列チェーンのブロック ヘッダー情報を同期しました。このように、10 個の並列チェーンのブロック ヘッダー情報は検証に相当します。

おそらく、Chianweb は、ここに 10 個の Bitcoin ネットワークがあり、それぞれが独立してブロックを生成することで、ネットワーク全体のブロック生成速度が向上し、その後、SPV のアイデアを通じてそれらを相互接続して検証することに相当すると理解できるでしょう。

もちろん、各チェーンにはノードがいくつあるのかなど、いくつか質問もありました。並列ブロック生成によって各チェーンのセキュリティがどのようにして確保されるのでしょうか? ?

チューリング不完全なスマートコントラクト言語 Pact

Kadena は、チェーン上で直接実行できる解釈型言語である新しいスマート コントラクト言語 Pact をリリースしました。 Pact コードは人間が読めるスマート コントラクトになります。  

出典: https://pact.kadena.io/

Pact はパブリック チェーンに適用できるだけでなく、企業にも開放され、ブロックチェーン上でスマート コントラクトを安全に、直接かつ明確に記述できるようになります。

関係者によると、Pact の設計は、ビットコインやイーサリアムなどの既存のスマート コントラクト、およびストアド プロシージャ言語である SQL や LISP を活用しているという。彼らは、チューリング完全性は、イーサリアムのDaoハッキング事件のような多くの潜在的なリスクをもたらすと考えています。

Pact はチューリング不完全であるため、再帰バグや関連する不適切な使用パターンを防ぐのに役立ちます。 Pact では、再帰が検出されるとすぐに失敗が発生し、実行中のすべてのコードが終了します。この機能により、スマート コントラクトに存在する可能性のある潜在的な攻撃を大幅に軽減できます。

現在、Pact は Tendermint プロトコルに基づいてCosmos用のPact バージョン Kadenamint を構築しており、これは将来 Kadena と Cosmos の架け橋となる予定です。同時に、Web3 Foundation と Pact を Polkadot エコシステムに統合することを検討するための契約が締結されました。

興味深いことに、Kadena のアーキテクチャ全体は主に Haskell プログラミング言語で書かれています。 Haskell は比較的ニッチな言語ですが、それを使用した多くのエンジニアがそれを強く推奨しています。

数か月前、ブロックチェーン プロジェクトのシニア エンジニアである友人とチャットをして、彼の好きなプログラミング言語は何かと尋ねました。彼は私に「 Haskell は最も素晴らしい言語だ」と言っていました。それが私に Haskell について深い印象を残しました。

私が Kadena プロジェクトについて彼に話すと、彼は Kadena が Haskell 言語を使用していることを知って非常に興奮し、また Kadena が非常に強力なはずの Z3 定理証明器を導入したとも教えてくれました。 (注: Z3 は Microsoft Research が開発した高性能な定理証明プログラムです)

嘉手納トークン経済モデル

Kadena のトークン経済モデルと使用方法は Ethereum と似ており、送金、スマート コントラクトの作成、契約実行手数料の支払いにも使用されます。

ソース：

https://www.theblockbeats.com/news/4450

これは公開された情報に基づいてBlockRhythmが作成したトークン配布モデルです。 KDAの総額は10億で、そのうち7億は採掘出力を通じてマイナーに割り当てられます。残りのトークンの半分は20年ごとにリリースされます。 2021年初頭には約2億KDAが流通すると推定されています。

同プラットフォームは将来のエコシステム発展のために2億トークンを確保しており、関係者によると、このうち2～5トークンはロック解除されないという。

その他のロック解除情報は以下の通りです。  

ソース：

https://www.theblockbeats.com/news/4450

嘉手納の評価は低くない。公募価格0.5ドルと1ドルに基づくと、評価額は5億～10億ドルとなる。現在、KDA は取引所に上場されておらず、流通していません。来年初めには3億KDAが流通し、流通市場価値も約3億ドルになると予想されています。

どのような機会がありますか?

嘉手納の解決策は非常に革新的です。並列チェーンのプルーフ・オブ・ワーク・アーキテクチャ Chainweb を通じてブロックチェーンの 1 秒あたりのトランザクション量を増加させると同時に、SPV アプローチを使用してクロスチェーン検証を実現します。

Kadena は新しいスマート コントラクト言語 Pact も開発しており、これは現在コンソーシアム チェーンで使用されており、Cosmos や Polkadot とも連携しています。

現時点ではプロジェクト全体の評価額は高いかもしれませんが、資金調達の割合はそれほど高くなく、総額は一定の割合でマイニングを通じて放出されます。

早い段階でマイニングに参加するのは良いことかもしれませんし、後からマイニングファームが必ず登場するでしょう。二次市場については現時点では不明だが、関係者はまずCoinlistの取引プラットフォームで開始されると述べた。

福祉

明日午前11時に、 Kadena の創設者である Will Martino 氏を Bajuet コミュニティに招待できることを光栄に思います。嘉手納にご興味がございましたら、ぜひ詳細を知り、ご質問ください。

例えば：

1. Kadena は、パブリック チェーンとコンソーシアム チェーンを相互接続するための独自の技術アーキテクチャをどのように設計していますか?

2. PoW コンセンサス メカニズムを選択する理由と、TPS を向上させる方法を教えてください。

3. どのようなマイニングアルゴリズムが使用されていますか?今すぐPCでマイニングできますか？

4. Pact 言語がチューリング不完全であるのはなぜですか?

...

他にもたくさんの質問をお待ちしています〜