CertiKは世界最先端のブロックチェーンサイバーセキュリティ企業

CertiKは、最先端の正式な検証テクノロジーを使用して、スマートコントラクトとブロックチェーンエコシステムがバグやハッカーに耐性があるかどうかを数学的に証明する、世界最先端のブロックチェーンサイバーセキュリティ企業です。TEAMZはCertiKのパートナーとして日本ブロックチェーンエコシステム成長のためにセキュリティサービスを提供します。

株式会社TEAMZは東京を拠点とするブロックチェーンソリューションカンパニーです。様々なソリューションをブロックチェーン関連企業へ提供する一環として、CertiKと業務提携をしTEAMZがCertiKのセキュリティサービスを日本市場へ提供していくことが決まりました。

◆ CertiK(サーティック)とは?
CertiKは、2017年末にニューヨークとシリコンバレーにて設立され、2019年初頭から北京事務所を設立しました。メンバーの構成はイェール大学とコロンビア大学の研究チームになっています。数十年に及ぶ研究結果とともに、Formal Verification(フォーマル・ベリフィケーション)という技術を使い、スマートコントラクト検証、スマートコントラクト監査を提供します。今まで約62億ドル相当の暗号資産に対してセキュリティソリューションを提供しています。
CertiK HP : https://certik.org

実績
CertiKは、Binance(バイナンス)、KuCoin、OKEx、Huobiなどの世界クラスの仮想通貨取引所、およびNEO、ICON、Terra、QuarkChainなどと戦略的パートナーシップを確立しています。 また、Binance Labs、DHVC、Matrix、FBG、Bitmain、Lightspeed、Ceyuanなどの主要なグローバルトークンファンドと共同出資も行なっています。

また、CertiKは、MYKEY、Terra、Building Blocks、Gongxinbao、ステーブルコイン Binance GBP、TUSD、USDK、Celerなどを含む250以上のプロジェク支援も行いました。

サービス
スマートコントラクト監査、取引所およびウォレットセキュリティサービス、パブリックチェーンセキュリティのカスタマイズなどを提供しています。
(クライアント例:取引所、ウォレット、スマートコントラクト開発者、パブリックチェーン、DAPPなど)

技術
従来のスマートコントラクトを検証する方法として、プログラムのテストや手動での監査の方法がありましたが、それらでは、脆弱性の存在を100%検出することが難しかったり、コストが高いなど課題がありました。
CertiKでは、Formal Verification(フォーマル・ベリフィケーション)という方法を用い、提出されたソースコードをプラットフォームのスマートラベリングシステム(ディープラーニングを使ったシステム)が自動で検証箇所ごとに分解し、ラベルを貼ります。それぞれの箇所を分解し、ラベルを貼った上で、CertiKプラットフォームの参加者が監査を行います。プログラムを検証する単位ごとに分解する事により、検証作業の効率を高めます。

検証作業をブロックチェーンのインセンティブベースのプラットフォームに組み込む事で、検証担当者、検証リソース提供者(演算資源を提供)、検証システム開発者を世界中から集め、それぞれにインセンティブを与え、プログラムの検証を行います。

日本市場開発
TEAMZが日本のブロックチェーン関連企業へCertiKのセキュリティサービス提供を行います。
CertiKのサービスは既に中国と韓国市場でこの領域において実績も豊富です。今後は日本市場のポテンシャルに期待しスムーズな顧客獲得チャネルの確立、日本のブロックチェーン市場の拡大、ブランドの影響力の拡大を目的とし、TEAMZと共にサービスを提供していきます。
ご質問・お問い合わせは下記【本件に関するお問合せ先】からご連絡ください。

【本件に関するお問合せ先】
株式会社TEAMZ 広報担当:森園
電話:03-6675-4952 メールアドレス:[email protected]
会社HP : https://www.teamz.co.jp

企業プレスリリース詳細へ

執筆者情報
仮想通貨部 かそ部 編集部

名前。 はじめまして。本サイトの執筆を担当している、「仮想通貨部 かそ部」編集部です。本サイトは、仮想通貨の総合情報サイト「仮想通貨部 かそ部」の運営や、各種Web情報メディア事業を展開するドットメディア株式会社により運営されております。編集部一同、正確な論拠に基づいた調査のもと、読者(ユーザー)様にとって正確かつ最新の情報をお届けできるよう努めてまいりますので、どうぞよろしくお願い致します。

PR
暗号資産アプリDL数No.1!取引量・ユーザー数ともに日本最大級の取引所!

BTC (ビットコイン) などの主要な通貨はもちろん、MONA (モナコイン)、XLM (ステラルーメン) など珍しい計13種類の豊富な暗号資産を取り扱っています。また初心者にもかんたんに操作できるスマホアプリも魅力的で、iOSアプリ・Androidアプリでの使いやすさはピカイチです。さらに2018年4月マネックスグループ株式会社が主要株主になり、経営体制・内部管理体制などの抜本的な改革を実行。万全のセキュリティ体制で初心者でも安心してはじめられます。

初心者向け取引所の決定版!