- スマートコントラクトセキュリティに関する書籍を初めて出版しました。
- 当社は形式検証における深い専門知識を活用し、お客様が安全なコードを出荷できるよう支援しています。
- 私たちは博士号取得者とセキュリティの専門家で構成されたトップチームを擁しており、合計で1000件以上のGoogle Scholarの被引用数を誇っています。
- Plasmaのような難しい課題を解決する際のパートナーとしても私たちは信頼されています。
ご依頼の際にお客様のチームとプロジェクトの詳細情報をご共有ください。
キックオフミーティングを行い、お見積りをさせていただきます。
お客様のスマートコントラクトのセキュリティを監査いたします。
お客様のチームに詳細な監査報告書をお送りします。
発見された問題の修正とベストプラクティスの反映を行っていただきます。
監査が無事完了した後、報告書並びに証明書を発行します。
私たちはお客様のブロックチェーンシステムが意図した通りに動作することを確認します。私たちのチームは、お客様のシステムの脆弱性を特定するだけでなく、その脆弱性を解決するプロセスにおいても並走させていただきます。私たちはプロジェクトのライフサイクル全体に渡ってセキュリティを提供しています。
私たちは特定のブロックチェーンに対象を絞らず、Ethereum、Hyperledger、Binance Chain、EOS、Polkadot、Cardano、AVA Labs、Cordaなど様々なチェーンにおけるクライアントシステムを監査してきました。また、コンセンサスメカニズム、オフチェーンサービスのコード、ネットワーク関連スタック、複雑なスマートコントラクトシステムなど機能面においても領域を絞らず監査してきました。私たちは、最も挑戦的なプロジェクトに興味を持っています。一般的でない言語やプラットフォームで分散型システムを構築していますか?是非私たちにお話を聴かせてください。
見積もりおよび監査終了までの所要時間は、コードベースの長さや複雑さに応じて異なります。
プロジェクトのウェブサイト、ソースコードへのリンク、および仕様ドキュメントを含む詳細情報をaudit@quantstamp.comまでご送付ください。見積もりを開始させていただきます。
初期の監査レポートは極秘資料としてご提供させていただきますが、その後の修正を踏まえた最終的な証明書は関係者各位との共有がしやすいようオンライン上で公開したものをご用意いたします。また、コンプライアンス当局に対して監査結果を保証する公的な書類も作成いたします。