クリプトコインポータル ~暗号資産・ブロックチェーンプロジェクト 総合情報サイト~

ICO:セルティクCERTIK

販売スケジュール1
10月1日~
販売スケジュール2
販売スケジュール3

ICO:セルティクCERTIKの概要

CertiKプラットフォームは、完全に信頼できるスマートコンタクトとブロックチェーンの生態系を構築するための正式な検証フレームワークであると考えられています。バグを検出するための従来のテスト手法とは異なり、CertiKプラットフォームはブロックチェーンエコシステムにバグがないことを数学的に証明しようとします。財団は、他の方法で禁止されている証明タスクを、分散型のスタイルで自動的に解決できる小さなものに分解するモジュラ検証技術を開発しました。これらの証明オブジェクトは、CertiKプラットフォームのトランザクションで構築およびエンコードされ、他の参加者によって検証されます。したがって、CertiKプラットフォームのブロックチェーンは、検証されたスマートコントラクト、分散アプリケーション(DApp)のライブラリ、エンドツーエンドの正確さとセキュリティを証明する証明書として機能することを意図しています。The CertiK platform is envisaged to be a formal verification framework for building fully trustworthy smart contacts and blockchain ecosystems. Different from the traditional testing approaches to detect bugs, the CertiK platform attempts to mathematically prove that blockchain ecosystems are bug-free. The Foundation has developed modular verification techniques to decompose such an otherwise prohibitive proof task into smaller ones that can be automatically solved in a decentralized style. These proof objects can be built and encoded in the CertiK platform’s transactions and will then be validated by other participants. Thus, the CertiK platform’s blockchain is intended to work as certificates to exhibit the end-to-end correctness and security of the verified smart contracts, libraries of decentralized applications (DApp), and the implementations of the blockchain itself.

ICO:セルティクCERTIKについて

公式URL

Home

シンボルティッカー
CTK
ホワイトペーパー

whitepaper

ブロックチェーンプラットフォーム
イーサリアム
参加出来る通貨
ETH
総発行枚数
売り出し枚数
為替レート
ハードキャップ
ソフトキャップ
情報提供元

https://www.trackico.io/ico/certik/

公開日:  最終更新日:2019/02/19

コメントを残す

入力エリアすべてが必須項目です。メールアドレスが公開されることはありません。

内容をご確認の上、送信してください。

検索

チャート

チャート一覧

Twitter