OKExChain&CertiKチェーンパートナーシップの提案

CertiKについて

CertiK は、イェール大学とコロンビア大学のコンピュータサイエンスの教授によって設立された先駆的なブロックチェーンサイバーセキュリティ企業です。 CertiKは、スマートコントラクトとブロックチェーンプロトコルに独自のフォーマル検証テクノロジーの厳密さを適用することで、60億ドルを超える資産を確保し、Binance、OKEx、Coinone、 PAXOS、Reserve、Universal Protocol、InfStonesなど。従来のテストアプローチとは異なり、CertiKは、ブロックチェーンプロトコル、スーパーノード、スマートコントラクトがハッカーに耐性がありバグがないことを数学的に証明しようとします。.

OKExChainとCertiKチェーン間の相乗効果とクロスチェーン

CertiKチェーンとOKExChainは、いくつかの設計コンセプトと開発計画を共有しています

これは将来の相乗効果を明らかにする可能性があります。 CertiKチェーンはOKExChainに価値を付加します

これらのユニークな視点での同盟:

1.CVMを介したOKExChainへの電力供給

OKExChainと同様に、CertiKチェーンはTendermint-BFTコンセンサスに基づいており、独自のCertiK仮想マシン(CVM)と 深海 プログラミング言語.

CertiK VM(CVM)は、CertiKチェーン用に開発されたスマートコントラクトプラットフォームです。バージョン1.0の場合、セキュリティ関連の拡張機能を追加しながら、完全なEVM互換性を提供することを目的としています。将来のバージョンでは、WASMと一般的なネイティブコードのサポートが提供される予定です。 CVMはCosmosキーパーとして出荷され、OKExChainで簡単に使用できます。.

CVMはSolidityなどのレガシー言語をサポートしていますが、そのような言語はフォーマル検証の最適なサポートを提供していません。このため、CertiKDeepSEA言語をCVM経由でOKExChainにターゲティングします.

2.DeepSEAを介したOKExChainへの電力供給

大きな金銭的価値が危機に瀕しており、複数の異なる当事者によって作成された契約間の微妙な相互作用でバグが発生する可能性があるため、分散型金融アプリケーションは特にセキュリティを要求します。現在、ほとんどの既存のフォーマル検証ソリューションは、証明を目的としています プロパティ 単一の契約を分離して(たとえば、契約の各メソッドに事前条件と事後条件で注釈を付けることによって)このような検証プロセスは、従来のソフトウェア開発環境のように、リアルタイムの許可制御や検出フィードバックのないオフチェーンプロセスです。また、検証ツールには、バグがある可能性のある信頼できるコードが含まれていることがよくあります。これは、データ、資産、価値の円滑な循環を備えたボーダレスなパブリックチェーンエコシステムの構築を目指すOKExChainにとって有望なセキュリティレベルではありません。.

DeepSEAプログラミング言語は、 Coqインタラクティブプルーフアシスタント ギャップのない契約の正しさを検証します。 DeepSEAシステムは、新しいプログラミング言語、検証済みのコンパイラ、およびコントラクトコードをCoqプルーフアシスタントにロードできる正式なモデルに変換するメカニズムで構成されています。.

プログラミング言語の部分は、契約書の作成に適した小さな命令型言語です。元々は検証済みシステムの研究に触発され、以下に詳述するようにCertiKOSオペレーティングシステムの開発から学んだ教訓の一部が含まれています。


  • まず、スマートコントラクトとまったく同じように、外部メソッドのインターフェイス間で状態をカプセル化するオブジェクトを中心に構造化されています.
  • 第二に、この言語は、証明アシスタントで推論しやすい純粋関数に翻訳できるように設計されています。.
  • 最後に、特許取得済みの認定抽象化レイヤー手法を利用して、複雑なシステムを複数のレイヤーに分割します。これにより、独立して正しいことが証明できます。.

CertiKは、DeepSEA言語をバイトコードに変換する検証済みコンパイラを開発しています。コンパイラ自体がCoqで検証されているという事実により、コントラクトのセキュリティプロパティに違反する可能性のあるバグがないことが保証されます。言い換えれば、ソースコードレベルでプログラムのセキュリティを証明し、バイトコード言語の正式な仕様を使用して直接推論する場合と同様に厳密な保証を得ることができますが、証明が乱雑にならないため、はるかに便利です。データ表現または制御フローの問題。コンパイラが検証されているという事実は、コンパイルされたすべてのプログラムが特定のランタイム安全性プロパティを確実に満たしていることも意味します。それらは型安全であり、整数オーバーフローがないなどです。.

DeepSEAシステムはモジュール式であるため、DeepSEA言語をいくつかの異なるターゲットアーキテクチャにコンパイルでき、検証済みのコンパイラバックエンドをいくつかの異なる入力言語で再利用できます。特に、将来的には、ドメイン固有言語のバックエンドを再利用する可能性があります。同じ正確性を保証する、金融契約の作成に固有.

DeepSEAコンパイラは、コントラクトをライブラリに変換します。ライブラリは、高度な正確性プロパティを検証するために証明アシスタントにロードできます。フル機能のインタラクティブな証明アシスタントを使用しているという事実は、ツール自体による制限なしに、任意に複雑な定理ステートメントとモデルを定義できることを意味します。たとえば、金融アプリケーションを検証するときに、ゲーム理論の定義を(数学の教科書に表示される標準的な方法で)書き留めて、意図したプロトコルが実際に支配的な戦略であることを証明することができます。.

証明アシスタントの力が特に役立つもう1つの例は次のとおりです。 クロスチェーンアプリケーション, これには、別々のチェーン上に存在し、非同期で通信するいくつかの契約が含まれます。これは、DeepSEAがOKExChainエコシステムを強化するもう1つの優れた方法です。この設定では、DeepSEAツールは個々の契約の検証済みモデルを自動的に生成でき、プログラマーは証明アシスタントを使用して、契約が相互に通信する方法、レイテンシーについてどのような仮定が行われるかなどを定義できます。 DeepSEAは、複数のチェーン(CertiKチェーン、OKExChain、Ethereumなど)で実行するようにコンパイルできます。また、一連の標準ブリッジコントラクトを記述し、それらすべてを単一のDeepSEA開発で認証できるため、チェーン.

DeepSEAの研究記事がOOPSLA’19シンポジウムに掲載されました(もっと詳しく知る)。ザ・

深海 言語ホワイトペーパーv0.9 そして DeepSEAコンパイラプレビューバージョン またです

一般に公開されています。詳細と例については、詳細を参照してください。

包括的な紹介 ここに.

3.OKExChainのエクスプローラー

CertiKチェーンエクスプローラーは、チェーンユーザーがトランザクションを追跡し、ブロックチェーンプラットフォーム情報全体を探索するために大きく依存しているCertiKチェーンのWebフロントエンドです。 BTC、ETH、BCHなどの従来のブロックチェーンでは、ブロックエクスプローラーは独自の指定されたチェーンに対してのみ機能します。たとえば、ユーザーはBTC情報にETHブロックチェーンエクスプローラーを使用することはできません.

OKExChainチームとCertiKチームは、資産、データ、価値の透明性と効率的な循環を高めるためにボーダレスブロックチェーンエコシステムを作成するという共通のビジョンを持って、チェーンフロントエンドとその後のdappsの高レベルの統合を設計しています。 CertiKチームは現在、CertiK Explorerを介してOKExChainの相互サポートを開発しており、セキュリティが強化されたデータソースとして信頼できるクロスチェックおよびデータ検証機能を使用してOKExChainを強化しています。 OKExChainは、複数のエクスプローラーオプションを備えており、将来のチェーンユーザーがオンチェーンアクティビティにさらに柔軟にアクセスして利用できるようにします。.

4.OKExChain用のDeepWallet

使いやすい分散型のWebベースのウォレットであるDeepWalletは、有名なコスモスベースのブロックチェーンに接続するマルチアセットを可能にします.

DeepWalletは、ユーザーに対して次の機能をサポートすることを目的としています。

  • パートナーシップコスモスベースのプロトコル間の簡単なマルチアセット管理
  • 履歴トランザクショントラッカー
  • アセットの送受信が簡単
  • オンウォレットステーキング。サポートされているプルーフオブステーク(POS)トークンでユーザーが報酬を獲得できるようにします。
  • 堅牢性 & DeepSEAブラウザーベースのコンパイラ、スマートコントラクトの展開、およびコントラクトの相互作用

5.OKExChainのNoOps

NoOpsは、CertiKによって設計されたInfrastructure-as-a-Serviceプラットフォームであり、エンタープライズグレードのインフラストラクチャでブロックチェーンノードを提供および運用します。 NoOpsを使用するブロックチェーン参加者は、高いオーバーヘッドコストを節約できるため、ビジネスの見通しにより集中できます。 NoOpsは、広く知られているブロックチェーンプロトコルのインフラストラクチャのセットアップと構成のリストをオンボーディングしているため、対応するエコシステムを促進します.

NoOpsプラットフォームは、OKExChainとの統合を追加するため、ユーザーは次のことができます。

  1. OKExChainステーキングに参加している場合は、独自のバリデーターノードをホストします。
  2. OKExChainのデータをクエリして、CertiKによってホストされている共有ノードを介して洞察を取得します.
  3. NoOpsは、OKExChainのDEXオンチェーンデータの重要性を理解しており、ブロックチェーンとスマートコントラクトの監視システムに関する深い知識と専門知識により、チームはNoOpsプラットフォームがOKExChainデータへの高可用性、安全、安定したアクセスを提供すると考えています。.

機能のハイライト:

  • ユーザーのニーズに合うインフラストラクチャ

スケーラブルなインフラストラクチャスタックは、業界標準を犠牲にすることなく、要件に合わせて構築されます。スタックは、主要なクラウドプロバイダーとローカルデータセンターを通じて展開およびホストされ、ユーザーとユーザーの顧客がどこにいても最適なサービスを提供します。.

  • 悪意のある人物を締め出すためのセキュリティ

コンポーネントは、潜在的な危険な攻撃を防ぐために、物理的および論理的にエンクレーブと分離で設計されています。 NoOpsは、ユーザーのインフラストラクチャに対するガードとして機能し、ユーザーが独自の管理者として機能するため、資産が完全に安全であることを確認します。.

  • パフォーマンスデータを提供するための監視

すべてのノードクラスターにはスタンドアロンのモニターインスタンスが付属しており、最大1秒の粒度でメトリックを収集してイベントをログに記録します。リアルタイムの分析とレポートは、運用の可視性と洞察を提供するために、コンセンサスレベルとマシンレベルで提供されます.

  • ノードを補完するマーケットプレイス

NoOps仮想マーケットプレイスには、継続的な更新と新しくリリースされたプロトコルのサポートにより、ユーザーが選択できる幅広い主要なブロックチェーンプロトコルがリストされています。アドオンとテストネット構成も利用可能で、簡単な拡張性を保証します.

技術的なハイライト:

  • ハッキングできないOS

NoOpsは、サイバー攻撃から保護する世界初の完全に検証されたマルチコアオペレーティングシステムであるCertiKOSを誇らしげにサポートし、より厳格なセキュリティ対策に対応します。ノード用の強化されたOSは、脆弱性が少なく、運用専用のリソースが多いことを意味します.

  • 階層化された保護

設計から実装まで、ネットワークの分離とセグメンテーションは慎重に評価され、セキュリティ第一の考え方で選択されます。ファイアウォール、DDoS保護、トラフィック制御などのシステムは、ハッカーが最初からアクセスするのを防ぐためにすでに導入されています。.

  • 自動化された手順

人間の介入の必要性を制限するために、ユーザーの機密性の高い操作を維持するために、展開と操作を完全に自動化しました。アクセスは明示的にホワイトリストに登録され、イベントはログに記録されて記録され、インテリジェントな脅威の検出とさらなる監査が行われます。.

  • エキスパートチーム

私たちのプラットフォームはCertiKを利用しており、さまざまな専門分野を持つ経験豊富なエンジニアのチームを擁しています。 NoOpsは厳格なQAプロセスを経ており、ユーザーが利用できるようにする前に、高いセキュリティと品質基準を満たしていることを確認しています。.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me
Like this post? Please share to your friends:
Adblock
detector
map