ハードコアが1000の並列チェーンでPoWパブリックチェーン嘉手納を分解
編集者注: この記事は以下から引用しました編集者注: この記事は以下から引用しましたバジュートのディナー (ID: gh_b9d8f3e895ea)
、著者: Ba Jiute、Odaily の許可を得て転載。
最近、コンプライアンスプラットフォームCoinlistに公募されたKadenaがメインネットワークを立ち上げましたが、Kadenaは非常にユニークなプロジェクトであり、これまでにMulticoin Capital、Metastable、SVangel、Scalar Capitalなど多くの有名ファンドから出資を受けてきました。 。
嘉手納と現在のすべてのパブリックチェーンの違いは、嘉手納が単なるパブリックチェーンではなく、パブリックチェーンとアライアンスチェーン/プライベートチェーンを相互接続できるブロックチェーンネットワークであることです。
疑問を持ちながら、彼らのホワイトペーパーや社会情報を読み、この記事を書きました。
副題
嘉手納とは？
Kadenaは、アライアンスチェーン/プライベートチェーンとその他のパブリックチェーンを相互接続できるブロックチェーンネットワークであり、それらを相互接続するために、KadenaはPoWコンセンサスに基づく並列チェーンのProof-of-WorkアーキテクチャであるChainwebと、エンタープライズプライベートチェーンであるKuroを設計しました。 ScalableBFT コンセンサス プロトコルに基づいて、チューリングの不完全でシンプルで読みやすいスマート コントラクト言語 Pact を開発しました。
現在主流のパブリックチェーンのほとんどがPoSコンセンサスを採用している中、嘉手納氏はNervosやConfluxとコンセプトや特徴が似ていると思われるPoWを選択した。 🤔
Turing の不完全な Pact スマート コントラクト言語はさらに興味深いもので、関係者は、これは人間が読める契約言語であると述べました。
Chainweb と Pact を通じて、Kadena はアライアンス チェーンとパブリック チェーンを接続し、相互通話をサポートし、クロスチェーン システムへのアライアンス チェーンの統合の先駆けとなります。
チェーンウェブとは何ですか?
画像の説明
出典: Chainweb プロトコル セキュリティ コンピューティング ホワイト ペーパー
ホワイトペーパーの説明によると、Chainweb はスケーラブルです。並列チェーンの増加に伴い、1 秒あたりの処理能力も増加します。このようなアーキテクチャの Chainweb は少なくとも 1,250 チェーンまで成長する可能性があり、TPS はさらに多くのチェーンに到達することができます10,000以上。
副題
Chainweb はどのようにして高い TPS を達成するのでしょうか?
Chainweb の設計は、ビットコインの Simple Payment Verification (SPV、または Simplified Payment Verification) を利用しています。ネットワーク内の各並列チェーンは、同じ暗号通貨 (KDA) をマイニングします。この暗号通貨は、スマート コントラクト レベルを通じてトラストレスかつシンプルにすることができます。支払い検証 (SPV) ) は、資金を転送し、トランザクションを結び付けるために使用されます。
SPVとは何か簡単に説明してください。
完全なネットワーク ノードを実行せずに支払いを検証することもできます。ユーザーは最長のプルーフ・オブ・ワーク・チェーンのブロック・ヘッダーのコピーを保持する必要があり、そのチェーンが最長のチェーンであり、時間であるマークル・ブランチを介してそれにつながることができると確信するまで、ネットワークに要求し続けることができます。 -stamped およびブロックに含まれるトランザクション。
画像の説明
出典: ビットコインホワイトペーパー
画像の説明
ソース：https://explorer.chainweb.com/mainnet
ソース：
この写真を例にとると、ブロック高さ「145676」Chain4 のトランザクションをインターセプトしました。これにより、デフォルトで、独自のチェーンと 3 つの並列チェーンを含む、前のブロック Chian1、Chain2、Chain4、および Chain9 の情報が同期されます。 、他の３つの並列チェーンは前のブロックの４つの並列チェーンのブロックヘッダ情報を同期しているため、１０個の並列チェーンのブロックヘッダ情報が検証に相当する。
もちろん、各チェーンにはノードがいくつあるのかなど、いくつかの疑問もありました。並列ブロック生成により各チェーンのセキュリティがどのように確保されるのでしょうか? 🤔
副題
画像の説明
ソース：
Pact はパブリック チェーンに適用できるだけでなく、ブロックチェーン上にスマート コントラクトを直接かつ明確に安全に記述できる企業にも開放されます。
当局者らによると、Pactの設計は既存のスマートコントラクト、つまりビットコインやイーサリアム、さらにはストアドプロシージャル言語であるSQLやLISPの恩恵を受けているという。彼らは、チューリングの完全性がイーサリアムのDaoハッキングイベントなど、多くの潜在的なリスクをもたらすと信じている。
Pact はチューリング不完全であるため、再帰バグや関連する悪い使用パターンを防ぐのに役立ちます。 Pact では、再帰が検出されるとすぐに障害が発生し、実行中のコードがすべて終了します。この機能により、スマート コントラクトに存在する可能性のある潜在的な攻撃を大幅に軽減できます。
現在、PactはTendermintプロトコルに基づいたPactバージョンのKadenamint for Cosmosを構築しており、将来的には嘉手納とコスモスの架け橋となる。同時に、Pact を Polkadot エコシステムに統合することを研究するための契約が Web3 Foundation と締結されました。
興味深いことに、嘉手納のアーキテクチャ全体は主に Haskell プログラミング言語で書かれており、Haskell は比較的小規模な言語ですが、これを使用したことのある多くのエンジニアが強く推奨しています。
私が嘉手納プロジェクトのことを彼に話したとき、彼は嘉手納が Haskell 言語を使用していることを知って非常に興奮しており、嘉手納が Z3 定理証明器を導入しており、これは非常に強力であるはずだとも教えてくれました。 (注: Z3 は Microsoft Research が開発した高性能定理証明プログラムです)
副題
画像の説明
ソース：https://www.theblockbeats.com/news/4450
ソース：
これは公開情報を基にBlock Rhythm社が作成したトークン配布モデルであり、KDAの総額は10億、7億がマイナーに割り当てられ、マイニングにより生産され、残りの半分のトークンが20年ごとにリリースされるというものです。合計約2億KDAになると推定されています。
画像の説明
ソース：https://www.theblockbeats.com/news/4450
嘉手納の評価額は決して低くはなく、公募価格0.5ドルと1ドルを基準にすると500～10億ドルの評価に達するが、現在、KDAは取引所に上場して流通していない。来年初めには3億個が流通すると予想されており、流通市場価値は約3億ドルだ。
副題
どのようなチャンスがありますか？
Kadena のソリューションは非常に革新的で、パラレル チェーン ワークロード プルーフ アーキテクチャ Chainweb を使用してブロックチェーンの 1 秒あたりのトランザクション量を増加させると同時に、SPV から学習してクロスチェーン検証を実現します。
嘉手納は、現在アライアンスチェーンで使用されている新しいスマートコントラクト言語 Pact も開発しており、Cosmos および Polkadot とも協力しています。
プロジェクトの全体的な評価は現時点では高いかもしれませんが、資金調達の割合はそれほど高くなく、採掘の総量は一定です。
