ベリチェーンとは何ですか? 潜在的なセキュリティ プラットフォームの詳細

• ベリチェーンとは何ですか?
• 目標、方向性
• 主な製品
• 主なサービス
• 監査およびセキュリティサービス
• ブロックチェーンサービス
• プロジェクトチームとパートナー
• 開発チーム
• プロジェクトパートナー

これが、ベトナムの監査プラットフォームである Verichains が誕生した理由でもあります。次の記事では、Verichains とは何なのか、このプラットフォームが提供するアクティビティや製品とは何なのかを一緒に学びましょう。

ベリチェーンとは何ですか?

Audit Verichains は、セキュリティ、AI、ブロックチェーンの分野における広範な研究開発を専門とする世界クラスのチームを擁する企業です。

同社は、潜在的なプロジェクトと協力して次のサービスを提供することに特化しています。

• スマート コントラクトとブロックチェーンのセキュリティ監査。
• ハードウェアとソフトウェアのセキュリティ評価
• アプリケーションのセキュリティを保護する
• 本人確認とKYC

目標、方向性

Verichains は、テクノロジーの進歩に貢献し、個人ユーザーと企業の両方に素晴らしいエクスペリエンスをもたらすことを目的として誕生しました。

主な製品

• この暗号ウォレット製品には、個人ユーザーとビジネス ユーザーの両方のための機能が統合されています。
• リアルタイムの市場データ: 時価総額、チャート、価格、取引、出来高などのリアルタイムの市場データを追跡します。
• マルチ署名ウォレット: 多要素署名を必要とするウォレットの作成と管理をサポートします。
• メタマスクの統合: ウォレット アプリは、トランザクションの承認と署名、契約の呼び出し、および dApps インタラクションのためのハードウェア ウォレットのように機能します。
• RK87をテストします。RK87 は、Solidity スマート コントラクトの象徴的なプラットフォームです。ユーザーは既存の Solidity コードベースにアサーションと仮定を追加して、シンボル エンジンが反例や検証済みの例を検索できるようにすることができます。RK87 は、ユーザーが Solidity 言語といくつかのマイナー サポート ディレクティブのみを使用してシンボル検証を実行できる唯一のプラットフォームです。
• Apollo – トークン化された資産の分散型マーケットプレイス。
• TESCA – オンチェーン ICO/STO 資金調達プラットフォーム。

主なサービス

監査およびセキュリティサービス

Verichains は、RK87 標準に従って、業界標準のセキュリティ パターンとベスト プラクティスを使用して、ブロックチェーン実装、コンセンサス プロトコル、スマート コントラクト、DApps のセキュリティ監査と正式に検証された監査を提供します。この監査会社は、Kyber Network、Request Network 、QuarkChain、Sentinel Protoco l、Joyso、Tomochainなど、成功を収めているさまざまなブロックチェーン プロジェクトの監査パートナーとして選ばれています。

監査プロセス:

• 範囲合意: 監査用のソース コードとドキュメントを入手します。監査範囲に関する合意。
• 監査: Verichains はプロジェクトを監査し、セキュリティの問題と推奨事項に関する詳細なレポートを提供します。
• バグ修正: お客様は報告された問題を確認して修正します。
• 検証: 報告された問題に関連するすべての修正と緩和策を検証するための Verichains。
• 最終監査レポート: 最終監査レポートを提供します。合意に応じて、最終報告書は公開または非公開となります。

ブロックチェーンサービス

Verichains は、企業と個人の両方に、ブロックチェーン取引、暗号通貨の価格と履歴データ、マルチシグ ウォレット、カストディアル、取引所、暗号 OTC 市場向けのホワイト ラベル製品と API を提供します。Verichains は、DApps、スマート コントラクト、プライベートまたはパブリック ブロックチェーン、製品、組織、企業に不変データを保存するための暗号ベースのテクノロジーの設計と実装をサポートします。

プロジェクトチームとパートナー

開発チーム

タイン・グエン – 共同創設者

Thanh Nguyen は VNG Corp の CSO であり、VNSecurity の創設者です。彼は、大規模なアプリケーション、ファームウェア、チップセット、マイクロアーキテクチャに重点を置いた 20 年のセキュリティ経験を持つ著名な研究者です。さらに、インテル コーポレーションの CPU セキュリティ アーキテクトとして、モバイルおよび SoC プラットフォーム、vPro および管理エンジン、Ivybridge、Haswell マイクロアーキテクチャなどの多数のインテル テクノロジーを保護しています。

また、HITB カンファレンス、Qihoo 360 WCTF、情報技術大学 (UIT) 産業学部、Defcon AIVillage など、世界中の多くのカンファレンスやイベントの審査委員会のメンバーでもあります。

Tran Huu Duc – 共同創設者

Duc 氏は、ハノイ工科大学でコンピュータ サイエンスの修士号を取得し、ハノイ ビジネス スクールで MBA を取得しました。彼は 2001 年から FPT に勤務し、米国および日本市場向けソフトウェア ディレクター、FPT モバイル アプリケーション副本部長、FPT Trading Group の CTO を歴任しました。2015 年以来、テクノロジー関連の新興企業に投資するベンチャー キャピタル会社である FPT Ventures を率いています。2016 年には、FPT、ドラゴン キャピタル、ハンファ インベストメントによって設立された初期段階のファンドであるベトナム イノベーション スタートアップ アクセラレーター (VIISA) の CEO を務めました。

彼は、ベトナム銀行協会の下で運営されている非営利団体であるベトナム フィンテック クラブの共同創設者兼執行副社長でもあります。

Anh Quynh Nguyen – Verichains LAB 共同創設者兼 LAB 責任者

Nguyen Anh Quynh 博士は Verichains Research Laboratory を率いています。彼は国際的に認められたセキュリティ研究者です。慶応義塾大学でコンピュータ サイエンスの博士号を取得した後、北陸先端科学技術大学院大学で数年間、ハイパーバイザ、トラステッド コンピューティング、クラウドなどの最先端分野を研究しました。彼は南洋理工大学の上級研究員です。Unicorn、Capstone、Keystone ツールなどの彼の作品の一部は、セキュリティ コミュニティで広く使用および引用されており、次世代の製品、研究、開発の準備を整えています。

Kaijern Lau – Verichains LAB 研究員

KaiJern (xwings) は、JD.com Security の The ShepherdLab のラボ ディレクターです。彼の研究テーマは主に組み込みデバイス、ハードウェアセキュリティ、ブロックチェーンセキュリティ、リバースエンジニアリング、およびさまざまなセキュリティトピックです。彼は、Defcon、HITB、Codegate、QCon、KCon、Brucon、H2HC などのさまざまな国際セキュリティ会議で研究結果を発表しており、世界中のさまざまな場所でハードウェア ハッキング コースを実施しています。さらに、彼は hackerbadge.com のオーナーでもあり、Unicorn (https://unicorn-engine.org) の開発に積極的に関与し、Qiling Framework (https://qiling.io) の創設者でもあります。

ハイ ディン – Verichains Vietnam マネージング ディレクター

ハイ ディン氏は、Verichains Vietnam Technology Joint Stock Company のマネージング ディレクターです。さらに、彼は後に Verichains Vietnam という名前で Verichains グループに合併されたアウトソーシング会社である Vzota Technology の CEO でもあります。それ以前は、ベトナム国営石油グループ (ペトロリメックス) で営業およびプロジェクトの責任者を務めていました。彼はファイナンスアカデミーでコーポレートファイナンスとMBAを学びました。

Thuan Le – プロジェクトマネージャー、Verichains Vietnam

彼は現在、ホーチミン市工科大学で講師を務めています。彼は HCMUT でコンピューター サイエンスの学士号と修士号を取得しました。彼は以前、HCMUT の競技プログラミング チームのコーチであり、ACM ICPC やその他の国内競技会などの競技プログラミング コンテストで上位入賞を果たしています。

プロジェクトパートナー

TraderH4 合成