ブロックチェーン企業《 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