ブロックチェーン企業《 TEAMZとCertiK 》が業務提携を締結！

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

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



株式会社TEAMZは東京を拠点とするブロックチェーンソリューションカンパニーです。様々なソリューションをブロックチェーン関連企業へ提供する一環として、CertiKと業務提携をしTEAMZがCertiKのソリューションサービスを日本市場へ提供していくことが決まりました。
[画像1: https://prtimes.jp/i/31083/30/resize/d31083-30-879237-1.png ]



◆ 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プラットフォームの参加者が監査を行います。プログラムを検証する単位ごとに分解する事により、検証作業の効率を高めます。

検証作業をブロックチェーンのインセンティブベースのプラットフォームに組み込む事で、検証担当者、検証リソース提供者（演算資源を提供）、検証システム開発者を世界中から集め、それぞれにインセンティブを与え、プログラムの検証を行います。
[画像2: https://prtimes.jp/i/31083/30/resize/d31083-30-881915-2.png ]


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


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

企業プレスリリース詳細へ
PR TIMESトップへ