What are Verichains? Details of a potential security platform

• What are Verichains?
• Goals, direction
• The main products
• Main services
• Audit and security services
• Blockchain service
• Project team and partners
• Development team
• Project partner

This is also the reason why Verichains, an auditing platform in Vietnam, was born. In the following article, we will learn together what is Verichains and what are the activities and products that this platform provides?

What are Verichains?

Audit Verichains is a company with a world-class team, specializing in extensive research and development in the fields of security, AI and blockchain.

The company specializes in cooperating with potential projects to provide the following services:

• Smart Contract and blockchain security audit .
• Security assessment of hardware and software
• Protect application security
• Identity Verification and KYC

Goals, direction

Verichains was born with the purpose of contributing to pushing technology forward, bringing great experiences to both individual users and businesses.

The main products

• The crypto wallet product integrates features for both personal and business users.
• Real-time market data: Track real-time market data such as capitalization, charts, prices, trades, and volumes.
• Multi-Signature Wallet: Supports creation and management of wallets that require multi-factor signatures.
• Metamask integration: The Wallet app acts like a hardware wallet for authorizing and signing transactions, contract calls, and dApps interactions.
• Test RK87. RK87 is an iconic platform for Solidity smart contracts. Users can add assertions and assumptions to an existing Solidity codebase to allow the symbol engine to look for counter- and verified examples. RK87 is the only platform that allows users to perform symbol verification using only Solidity language and some minor support directives.
• Apollo – Decentralized marketplace for tokenized assets.
• TESCA – On-chain ICO/STO fundraising platform.

Main services

Audit and security services

Verichains provides security audits and formally verified audits for blockchain implementations, consensus protocols, smart contracts, and DApps using industry standard security patterns and best practices. according to RK87 standard. The audit company has been selected as an audit partner for various successful blockchain projects such as Kyber Network , Request Network , QuarkChain, Sentinel Protoco l, Joyso, Tomochain.

Audit process:

• Scope Agreement: Get the source code and documentation for the audit. Agreement on audit scope.
• Audit: Verichains to audit the project and provide detailed reports on security issues and recommendations.
• Bug Fixes: Customer to review and fix reported issues.
• Verification: Verichains to verify all fixes, mitigations related to reported issues.
• Final Audit Report: Provide the final audit report. Depending on the agreement, the final report will be made public or confidential.

Blockchain service

Verichains provides white label products and APIs for blockchain transactions, cryptocurrency prices and historical data, multi-sig wallets, custodial, exchange and crypto OTC markets for both businesses and individuals. Verichains supports the design and implementation of DApps, smart contracts, private or public blockchain, and cryptographic-based technologies for storing immutable data in products, organizations or companies.

Project team and partners

Development team

Thanh Nguyen – CO-Founder

Thanh Nguyen is CSO at VNG Corp and founder of VNSecurity. He is a renowned researcher with 20 years of security experience focusing on large scale application, firmware, chipset and microarchitecture. Additionally, he is a CPU Security Architect at Intel Corporation to secure a number of Intel technologies including the Mobile & SoC platform, vPro & Management Engine, Ivybridge, and the Haswell microarchitecture.

He is also a member of the review board of many conferences and events worldwide, including HITB Conference, Qihoo 360 WCTF, Industry Department at University of Information Technology (UIT), Defcon AIVillage.

Tran Huu Duc – CO-Founder

Mr. Duc received a master's degree in computer science from Hanoi University of Technology and an MBA from Hanoi Business School. He has worked at FPT since 2001 in the following roles: Director of software for the US and Japanese markets, Deputy General Director of FPT Mobile Applications, CTO of FPT Trading Group. Since 2015, he has led FPT Ventures – a venture capital firm that invests in technology startups. In 2016, he served as CEO of Vietnam Innovation Startup Accelerator (VIISA), an early-stage fund established by FPT, Dragon Capital and Hanwha Investment.

He is also the co-founder and Executive Vice President of Vietnam Fintech Club, a non-profit organization operating under the Vietnam Banks Association.

Anh Quynh Nguyen – CO-Founder & Head of LAB, Verichains LAB

Dr. Nguyen Anh Quynh leads the Verichains Research Laboratory. He is an internationally recognized security researcher. After earning a PhD in Computer Science from Keio University, Japan, he spent several years at the Japan Advanced Institute of Industrial Science & Technology, researching cutting-edge fields such as Hypervisor, Trusted Computing & Cloud. He is a Senior Research Fellow at Nanyang Technological University. Some of his works, such as Unicorn, Capstone and Keystone tools are widely used and cited in the security community, setting the stage for next generation products, research and development.

Kaijern Lau – Researcher, Verichains LAB

KaiJern (xwings), is the Lab Director of The ShepherdLab, of JD.com Security. His research topics are mainly embedded devices, hardware security, blockchain security, reverse engineering and various security topics. He has presented his findings in various international security conferences such as Defcon, HITB, Codegate, QCon, KCon, Brucon, H2HC… He has conducted Hardware Hacking courses in various places around the world. Global. In addition, he is also the owner of hackerbadge.com, actively involved in the development of Unicorn (https://unicorn-engine.org) and the founder of Qiling Framework (https://qiling.io).

Hai Dinh – Managing Director, Verichains Vietnam

Hai Dinh is the Managing Director at Verichains Vietnam Technology Joint Stock Company. In addition, he is also the CEO of Vzota Technology, an outsourcing company that was later merged into Verichains group under the name Verichains Vietnam. Before that, he was the Head of Sales and Projects at Vietnam National Petroleum Group (Petrolimex). He studied Corporate Finance and MBA at the Academy of Finance.

Thuan Le – Project Manager, Verichains Vietnam

He is currently a lecturer at Ho Chi Minh City University of Technology. He obtained his Bachelor's and Master's degrees in Computer Science from HCMUT. He used to be the coach of HCMUT's Competitive Programming Team, which has won top prizes in competitive programming competitions such as ACM ICPC and other national competitions.

Project partner

TraderH4 synthesis