CertiKがハイダラースマートコントラクトの監査を成功させる

[PR –シンガポール、シンガポール、28年2021月XNUMX日]

のメンバーシップトークンであるhiDollar（HI） hi革新的な非営利金融サービスプロバイダーである、は、1年2021月XNUMX日までの立ち上げに備えて、主要なフォーマル検証プラットフォームであるCertiKからスマートコントラクト監査に成功しました。 hi サイバーセキュリティ内のセキュリティ、透明性、革新に重点を置いているため、CertiKを使用してネイティブトークンの監査を実施することを選択しました。

こんにちはドルはメンバーシップトークンであり、その主な機能は内のユーティリティを駆動することです hi メンバーの利益のためのエコシステム。 この監査は、コンプライアンスとセキュリティの基本的な柱がトークン内にしっかりと配置されていることを確認するために実施されました。 hiリスクを管理および軽減するための継続的な取り組みにおける、の「多層防御」文化。

CertiKは、形式的検証を通じてブロックチェーンエコシステムとスマートコントラクトを監査します。これは、厳密な数学的定理を通じて特定のプログラムのソースコードを評価するプロセスです。 500以上の企業が、CertiKと提携しているか、CertiKから監査を受けています。

金融サービス会社として、 hi 650,000人以上のメンバーのセキュリティを何よりも優先します。 CertiKでフォーマル検証を実施することにより、両社はデジタル資産業界の保護を促進しています。 レポートはで見つけることができます www.certik.org.

CertiKについて

CertiKは、従来の監査人とは異なる方法でテストに取り組むブロックチェーンおよびスマートコントラクト検証プラットフォームです。 主題がハッカーに耐性があり、バグがないことを数学的に証明することにより、既存の問題を単にチェックするのではなく、CertiKは業界の主要な監査人になりました。

私たちについて hi

hi ブロックチェーンテクノロジーを活用して、コミュニティを活用したサービスを構築しています。 hiのメンバーは、このエコシステムの主要な利害関係者であり、ビジネスは、利益ではなくメンバーシップの価値を最大化することに取り組んでいます。 私たちの最初の製品は、ソーシャルメッセンジャー（最初はTelegramとWhatsApp、次のLINE、Facebook Messengerなど）を介してメンバーに最もシームレスな支払い体験を提供するデジタルウォレットです。 詳細については、次のWebサイトをご覧ください。 ハイドットコム.