ブロックチェーン企業《 TEAMZとCertiK 》が業務提携を締結!
配信日時: 2019-09-24 19:07:26
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 広報担当:森園
電話:03-6675-4952 メールアドレス:info@teamz.co.jp
会社HP : https://www.teamz.co.jp
PR TIMESプレスリリース詳細へ
スポンサードリンク
「株式会社TEAMZ」のプレスリリース
スポンサードリンク
最新のプレスリリース
- ノジマTリーグ 2024-2025シーズン 公式戦 12月28日開催 静岡ジェード vs 金沢ポート 試合結果12/28 17:45
- J-WAVE『RADIO SAKAMOTO extension “長電話”』1984年に発行された坂本龍一と高橋悠治の名著『長電話』をトリビュートするラジオ番組第3弾を12/29にオンエア!12/28 17:45
- 業界を牽引するトップリーダー約50名の”成功の共通項”とは?12/28 17:00
- まぐろ問屋の看板メニュー「まぐろの恵」【ジャパン・フード・セレクション グランプリ受賞!】食の専門家が認めたひと皿。12/28 17:00
- 【京町湯屋SOKOTOTO】お風呂好き必見『新春 大抽選会』1/3(金)~1/5(日)ハズレなしで豪華景品が当たる!12/28 17:00
- 最新のプレスリリースをもっと見る