什麼是 Verichain？潛在安全平台的詳細信息

• 什麼是 Verichain？
• 目標、方向
• 主要產品
• 主要服務
• 審計和安全服務
• 區塊鏈服務
• 項目團隊及合作夥伴
• 開發團隊
• 項目合作夥伴

這也是越南審計平台Verichains誕生的原因。在接下來的文章中，我們將一起了解什麼是Verichains，以及這個平台提供哪些活動和產品？

什麼是 Verichain？

Audit Verichains 是一家擁有世界一流團隊的公司，專門在安全、人工智能和區塊鏈領域進行廣泛的研究和開發。

公司專門為有潛力的項目合作提供以下服務：

• 智能合約和區塊鏈安全審計。
• 軟硬件安全評估
• 保護應用安全
• 身份驗證和 KYC

目標、方向

Verichains 誕生的目的是推動技術進步，為個人用戶和企業帶來卓越的體驗。

主要產品

• 該加密錢包產品集成了個人和企業用戶的功能。
• 實時市場數據：跟踪實時市場數據，例如資本、圖表、價格、交易和交易量。
• 多重簽名錢包：支持創建和管理需要多重簽名的錢包。
• Metamask 集成：錢包應用程序就像一個硬件錢包，用於授權和簽署交易、合約調用和 dApp 交互。
• 測試RK87。RK87 是 Solidity 智能合約的標誌性平台。用戶可以將斷言和假設添加到現有的 Solidity 代碼庫中，以允許符號引擎查找反例和經過驗證的示例。RK87 是唯一允許用戶僅使用 Solidity 語言和一些次要支持指令來執行符號驗證的平台。
• Apollo – 代幣化資產的去中心化市場。
• TESCA – 鏈上 ICO/STO 籌款平台。

主要服務

審計和安全服務

Verichains 根據 RK87 標準，使用行業標準安全模式和最佳實踐，為區塊鏈實施、共識協議、智能合約和 DApp 提供安全審計和正式驗證審計。該審計公司已被選為Kyber Network、Request Network、QuarkChain、Sentinel Protoco l、Joyso、Tomochain等多個成功區塊鏈項目的審計合作夥伴。

審核流程：

• 範圍協議：獲取審計的源代碼和文檔。就審計範圍達成一致。
• 審計：Verichains 審計項目並提供有關安全問題和建議的詳細報告。
• 錯誤修復：客戶查看並修復報告的問題。
• 驗證：Verichains 驗證與報告的問題相關的所有修復和緩解措施。
• 最終審核報告：提供最終審核報告。根據協議，最終報告將公開或保密。

區塊鏈服務

Verichains 為企業和個人提供用於區塊鏈交易、加密貨幣價格和歷史數據、多重簽名錢包、託管、交易所和加密貨幣場外交易市場的白標產品和 API。Verichains 支持 DApp、智能合約、私有或公共區塊鏈以及基於加密技術的設計和實施，用於在產品、組織或公司中存儲不可變數據。

項目團隊及合作夥伴

開發團隊

Thanh Nguyen – 聯合創始人

Thanh Nguyen 是 VNG Corp 的 CSO 和 VNSecurity 的創始人。他是一位著名的研究員，擁有 20 年的安全經驗，專注於大規模應用程序、固件、芯片組和微架構。此外，他還是英特爾公司的 CPU 安全架構師，負責保護多項英特爾技術，包括移動和 SoC 平台、vPro 和管理引擎、Ivybridge 和 Haswell 微架構。

他還是全球許多會議和活動的評審委員會成員，包括 HITB Conference、奇虎 360 WCTF、信息技術大學 (UIT) 工業系、Defcon AIVillage。

陳友德 – 聯合創始人

Duc 先生獲得河內工業大學計算機科學碩士學位和河內商學院 MBA 學位。他自 2001 年起在 FPT 工作，擔任過以下職務：美國和日本市場軟件總監、FPT 移動應用副總經理、FPT 貿易集團首席技術官。自 2015 年以來，他領導 FPT Ventures——一家投資科技初創企業的風險投資公司。2016年，他擔任越南創新創業加速器（VIISA）首席執行官，該基金是由FPT、Dragon Capital和韓華投資成立的早期基金。

他還是越南金融科技俱樂部的聯合創始人兼執行副總裁，該俱樂部是越南銀行協會旗下的非營利組織。

Anh Quynh Nguyen – Verichains LAB 聯合創始人兼實驗室負責人

Nguyen Anh Quynh 博士領導 Verichains 研究實驗室。他是國際公認的安全研究員。在日本慶應義塾大學獲得計算機科學博士學位後，他在日本先進工業科學技術研究所工作了幾年，研究虛擬機管理程序、可信計算和雲等前沿領域。他是南洋理工大學的高級研究員。他的一些作品，例如 Unicorn、Capstone 和 Keystone 工具在安全社區中被廣泛使用和引用，為下一代產品、研究和開發奠定了基礎。

Kaijern Lau – Verichains 實驗室研究員

KaiJern (xwings)，是京東安全 ShepherdLab 的實驗室主任。他的研究主題主要是嵌入式設備、硬件安全、區塊鏈安全、逆向工程和各種安全主題。他在各種國際安全會議上展示了他的發現，例如 Defcon、HITB、Codegate、QCon、KCon、Brucon、H2HC……他在全球各地舉辦了硬件黑客課程。此外，他還是hackerbadge.com的所有者，積極參與Unicorn（https://unicorn-engine.org）的開發以及Qiling Framework（https://qiling.io）的創始人。

Hai Dinh – Verichains 越南董事總經理

Hai Dinh 是 Verichains 越南技術股份公司的董事總經理。此外，他還是 Vzota Technology 的首席執行官，該公司是一家外包公司，後來併入 Verichains 集團，更名為 Verichains Vietnam。在此之前，他曾擔任越南國家石油集團 (Petrolimex) 的銷售和項目主管。他在金融學院學習了公司金融和 MBA。

Thuan Le – 項目經理，Verichains Vietnam

他目前是胡志明市科技大學的講師。他在 HCMUT 獲得了計算機科學學士和碩士學位。曾任胡志明市科技大學競技編程隊教練，曾在ACM ICPC等全國性競賽中榮獲最高獎項。

項目合作夥伴

TraderH4合成