証明書 – 分散型アプリケーションとブロックチェーンのための包括的なソリューションの使用を可能にするエコシステム。 10 月 24 日に、CertiK メインネットが開始され、エコシステムのすべての主要コンポーネントがそれに統合されますが、他のブロックチェーンと対話する機能も備えています。このプロジェクトの主な理由は、誰もが利用できる実証済みの信用インフラです。
CTK – CertiK プラットフォーム上の参加者間の交換手段として使用される機能ユーティリティ トークン。 2020年10月23日よりご利用いただけます 農場 とプラットフォーム バイナンス ラウチプールでは12〜16日間。サポートされているプール: BNB、BUSD、CTK。
ご紹介 翻訳者 $CTK の上 #バイナンス プールを打ち上げよう！
投稿でCTKを獲得 $BNB, $BUSD そして $CTK！💥詳細:https://t.co/E7ZClsAoY4 pic.twitter.com/Ji0dcwQ5ci
– BinanceRusso (@BinanceRusso) 2020年10月22日
私たちの編集者は、CertiK プロジェクトとその機能的特徴をレビューしました。
リアルタイムの価格/通貨相場
一般情報
| 指定 | 証明書 |
|---|---|
| クロック | CTK |
| トークンの種類 | BEP-20、CertiK Chainのネイティブトークンロゴ |
| ブロックチェーン | Binance Smart Chain、デポジット CertiK Chain (2020/10/24 より) |
| 総排出量 | 100,000,000 CTK |
| 公式サイト | https://www.certik.foundation/ |
| 会計士 | https://explorer.certik.foundation/ |
| ポートフォリオ | https://wallet.certik.foundation/ |
| ブログ | https://medium.com/certik-foundation |
| ホワイトペーパー | https://www.certik.foundation/whitepaper |
| ツイッター | https://twitter.com/certikorg |
| 交換 | バイナンス |
| Binance Launchpoolでの配信開始日 | 23.10.2020 |
| Binance Launchpool のトークンの総数 | 1,500,000 CTK (発行総額の1.50%) |
技術的ソリューション
CertiK は、DeepSEA プログラミング言語、CertiKOS オペレーティング システム カーネル、および CertiKVM 仮想マシンを含むインフラストラクチャです。これらのツールを使用すると、開発者は安全で透過的なシステムを作成できます。実際、CertiK Security Oracle は非常に関連性が高く、オペレーターが提供する基準に基づいて分散ネットワークのセキュリティを評価するオラクルです。このプロセスではソース コードの信頼性が評価され、評価に参加した人には CertiK チェーンのネイティブ トークンである CTK で報酬が与えられます。
CertiKOS OS
CertiKOS オペレーティング システム カーネルは、セキュリティ、ハッカー攻撃に対する耐性、および機能の正しいパフォーマンスに重点を置いています。プログラムが正しく機能することを検証するために、OS には正式な検証メカニズムが組み込まれています。
CertiKOS は並列処理をサポートしています。つまり、複数の CPU コアで複数のスレッドを同時に動作させることができます。このアーキテクチャは拡張可能であり、ブロックチェーンだけでなくさまざまなアプリケーションに使用できます。
ソフトウェア コードを記述するとき、開発者はプログラムの動作を正確に指定する仕様も書きます。次に、コードがこれらの仕様をどの程度実装しているかを評価します。スコアリング システムはケースバイケースで作成され、一度だけ適用されます。その後は、コードを参照することなく、テスト済みの仕様を使用してすべての作業を実行できます。
CertiK仮想マシン(CVM)
CVM は、仮想マシン コードのスマート コントラクトとブロックチェーン セキュリティ情報を提供し、幅広いオプションを提供します。
- 近似;
- 小切手;
- 依存症;
- ブロックチェーンとスマートコントラクトのセキュリティを動的に確立します。
ディープシー
DeepSEA プログラミング言語は、スマート コントラクトのグラフ化に使用され、最も複雑なコードでも処理できるようにし、Coq 証明ツールを使用して検証します。
この言語は、スマート コントラクトと Coq を組み合わせて、あらゆる複雑な問題に対して検証を活用するのに役立つ最適化されたソリューションです。 DeepSEA の 4 つの主要な原則は、等式推論 (各コンポーネントを対応する機能仕様に変換する)、レイヤーベースの仕様、複雑な問題を個別のステップに構造化するための統合された抽象改良、レイヤー 1 の正確さを検証するためのカプセル化と構成です。すぐに。
サーティKシールド
ブロックチェーン ネットワーク上のセキュリティ問題の結果として紛失または盗難された暗号通貨資産を再構築するための分散型ソリューションとして設計された新しいツールです。オラクルはリアルタイムでセキュリティを評価し、その後、分散型ネットワークの参加者は担保を提供し、報酬を受け取り、ブロックチェーンコミュニティの保護に関する提案に投票することができます。
CertiK 用ディープウォレット (CTK)
Web ブラウザを通じて実行できる DeepWallet では、次のことが可能になります。
- CertiK (CTK) トークンの残高を表示します。
- トークンの送受信。
- 報酬委任システムを使用します。
多くの従来のウォレットとは異なり、DeepWallet には、ユーザーが独自のスマート コントラクトを展開するのと同じように、保有資産を委任できる追加の高度な機能があります。
CTKトークンとBinance Launchpoolでの受け取り
暗号的に安全な CertiK Platform Utility Token (CTK) は、プラットフォーム プロトコルで指定された機能の転送可能なフレーズとして機能します。これはエコシステム全体の機能において重要な役割を果たし、プロジェクトの唯一のユーティリティ トークンです。
CTK トークンの特徴:
- 参加者間の安全な支払いおよび決済方法。
- ユーザーにエコシステムへの貢献とサポートを奨励するために保存されたインセンティブ。
- トランザクション (ステーキング) を確認するためのリソースを提供するノードの分散コミュニティを奨励するためのガス料金の支払い。
- プールの担保として使用できるユーティリティ トークン。
総排出量 – 100,000,000 CTKLaunchpool の配布元 1 500 000 (1,5%)つまり:
- 1,050,000 CTK (BNB プールなし)
- 225,000 CTK が BUSD にプールされます
- 225,000 CTK プール CTK なし
ファームの開始日は 10 月 23 日 (CTK プールの場合は 10 月 27 日) です。終了日は11月8日。参加するにはアカウント認証は必要ありません。
提案されたプールの 1 つにリソースをデポジットし、配布が終了するのを待つだけです。たとえば、 BNNB 最小プール値 0.1 BNB:
メリットとデメリット
結論
現時点では、CertiK エコシステムの一部はすでに稼働しており、パートナーシップと統合が積極的に締結されています。計画には、担保プロバイダー向けのCTKトークン報酬システムの導入、大規模なハッカソンの開催、CoinMarketCapや他のアグリゲーターとの提携などが含まれる。これらすべてが適切に実装されれば、プロジェクトの発展に貢献します。