Que sont les Verichains ? Détails dune plate-forme de sécurité potentielle

• Que sont les Verichains ?
• Objectifs, orientation
• Les principaux produits
• Principaux services
• Prestations d'audit et de sécurité
• Service de chaîne de blocs
• Equipe projet et partenaires
• Équipe de développement
• Partenaire du projet

C'est aussi la raison pour laquelle Verichains, une plateforme d'audit au Vietnam, est née. Dans l'article suivant, nous allons apprendre ensemble ce qu'est Verichains et quelles sont les activités et produits que propose cette plateforme ?

Que sont les Verichains ?

Audit Verichains est une entreprise dotée d'une équipe de classe mondiale, spécialisée dans la recherche et le développement approfondis dans les domaines de la sécurité, de l'IA et de la blockchain.

L'entreprise se spécialise dans la coopération avec des projets potentiels pour fournir les services suivants :

• Audit de sécurité Smart Contract et blockchain .
• Évaluation de la sécurité du matériel et des logiciels
• Protéger la sécurité des applications
• Vérification d'identité et KYC

Objectifs, orientation

Verichains est né dans le but de contribuer à faire avancer la technologie, en apportant de grandes expériences aux utilisateurs individuels et aux entreprises.

Les principaux produits

• Le produit de portefeuille crypto intègre des fonctionnalités pour les utilisateurs personnels et professionnels.
• Données de marché en temps réel : suivez les données de marché en temps réel telles que la capitalisation, les graphiques, les prix, les transactions et les volumes.
• Portefeuille multi-signatures : prend en charge la création et la gestion de portefeuilles nécessitant des signatures multi-facteurs.
• Intégration de Metamask : l'application Wallet agit comme un portefeuille matériel pour autoriser et signer des transactions, des appels de contrat et des interactions dApps.
• Testez RK87. RK87 est une plate-forme emblématique pour les contrats intelligents Solidity. Les utilisateurs peuvent ajouter des assertions et des hypothèses à une base de code Solidity existante pour permettre au moteur de symboles de rechercher des contre-exemples et des exemples vérifiés. RK87 est la seule plate-forme qui permet aux utilisateurs d'effectuer la vérification des symboles en utilisant uniquement le langage Solidity et quelques directives de support mineures.
• Apollo - Place de marché décentralisée pour les actifs tokenisés.
• TESCA – Plateforme de collecte de fonds ICO/STO en chaîne.

Principaux services

Prestations d'audit et de sécurité

Verichains fournit des audits de sécurité et des audits formellement vérifiés pour les implémentations de blockchain, les protocoles de consensus, les contrats intelligents et les DApps en utilisant des modèles de sécurité standard de l'industrie et les meilleures pratiques selon la norme RK87. La société d'audit a été sélectionnée comme partenaire d'audit pour divers projets de blockchain réussis tels que Kyber Network , Request Network , QuarkChain, Sentinel Protocol, Joyso, Tomochain.

Processus d'audit :

• Accord de portée : Obtenez le code source et la documentation pour l'audit. Accord sur l'étendue de l'audit.
• Audit : Verichains pour auditer le projet et fournir des rapports détaillés sur les problèmes de sécurité et des recommandations.
• Corrections de bogues : le client doit examiner et résoudre les problèmes signalés.
• Vérification : Verichains pour vérifier tous les correctifs, les atténuations liées aux problèmes signalés.
• Rapport d'audit final : Fournissez le rapport d'audit final. Selon l'accord, le rapport final sera rendu public ou confidentiel.

Service de chaîne de blocs

Verichains fournit des produits et des API en marque blanche pour les transactions blockchain, les prix des crypto-monnaies et les données historiques, les portefeuilles multi-signatures, les marchés de garde, d'échange et de crypto OTC pour les entreprises et les particuliers. Verichains prend en charge la conception et la mise en œuvre de DApps, de contrats intelligents, de chaînes de blocs privées ou publiques et de technologies basées sur la cryptographie pour stocker des données immuables dans des produits, des organisations ou des entreprises.

Equipe projet et partenaires

Équipe de développement

Thanh Nguyen – CO-fondateur

Thanh Nguyen est CSO chez VNG Corp et fondateur de VNSecurity. C'est un chercheur de renom avec 20 ans d'expérience en sécurité axée sur les applications à grande échelle, les micrologiciels, les chipsets et la microarchitecture. En outre, il est architecte de sécurité CPU chez Intel Corporation pour sécuriser un certain nombre de technologies Intel, notamment la plate-forme Mobile & SoC, vPro & Management Engine, Ivybridge et la microarchitecture Haswell.

Il est également membre du comité d'examen de nombreuses conférences et événements dans le monde, notamment la conférence HITB, Qihoo 360 WCTF, le département de l'industrie de l'Université des technologies de l'information (UIT), Defcon AIVillage.

Tran Huu Duc – CO-fondateur

M. Duc est titulaire d'une maîtrise en informatique de l'Université de technologie de Hanoï et d'un MBA de la Hanoi Business School. Il travaille chez FPT depuis 2001 avec les rôles suivants : Directeur des logiciels pour les marchés américain et japonais, Directeur général adjoint de FPT Mobile Applications, CTO de FPT Trading Group. Depuis 2015, il dirige FPT Ventures, une société de capital-risque qui investit dans des startups technologiques. En 2016, il a été PDG de Vietnam Innovation Startup Accelerator (VIISA), un fonds de démarrage créé par FPT, Dragon Capital et Hanwha Investment.

Il est également co-fondateur et vice-président exécutif du Vietnam Fintech Club, une organisation à but non lucratif opérant sous l'égide de l'Association des banques du Vietnam.

Anh Quynh Nguyen – CO-fondatrice et responsable du LAB, Verichains LAB

Le Dr Nguyen Anh Quynh dirige le laboratoire de recherche Verichains. Il est un chercheur en sécurité internationalement reconnu. Après avoir obtenu un doctorat en informatique de l'Université Keio, au Japon, il a passé plusieurs années au Japan Advanced Institute of Industrial Science & Technology, recherchant des domaines de pointe tels que l'hyperviseur, l'informatique de confiance et le cloud. Il est chercheur principal à l'Université technologique de Nanyang. Certains de ses travaux, tels que les outils Unicorn, Capstone et Keystone, sont largement utilisés et cités dans la communauté de la sécurité, ouvrant la voie aux produits de nouvelle génération, à la recherche et au développement.

Kaijern Lau – Chercheur, Verichains LAB

KaiJern (xwings), est le directeur du laboratoire de The ShepherdLab, de JD.com Security. Ses sujets de recherche sont principalement les dispositifs embarqués, la sécurité matérielle, la sécurité blockchain, la rétro-ingénierie et divers sujets de sécurité. Il a présenté ses conclusions dans diverses conférences internationales sur la sécurité telles que Defcon, HITB, Codegate, QCon, KCon, Brucon, H2HC… Il a animé des cours de Hardware Hacking dans divers endroits du monde. En outre, il est également propriétaire de hackerbadge.com, activement impliqué dans le développement de Unicorn (https://unicorn-engine.org) et fondateur de Qiling Framework (https://qiling.io).

Hai Dinh – Directeur général, Verichains Vietnam

Hai Dinh est le directeur général de Verichains Vietnam Technology Joint Stock Company. En outre, il est également PDG de Vzota Technology, une société d'externalisation qui a ensuite été fusionnée avec le groupe Verichains sous le nom de Verichains Vietnam. Avant cela, il était responsable des ventes et des projets chez Vietnam National Petroleum Group (Petrolimex). Il a étudié la finance d'entreprise et un MBA à l'Académie des finances.

Thuan Le – Chef de projet, Verichains Vietnam

Il est actuellement chargé de cours à l'Université de technologie de Ho Chi Minh-Ville. Il a obtenu son baccalauréat et sa maîtrise en informatique à HCMUT. Il était l'entraîneur de l'équipe de programmation compétitive de HCMUT, qui a remporté les premiers prix dans des compétitions de programmation compétitives telles que l'ACM ICPC et d'autres compétitions nationales.

Partenaire du projet

Synthèse TraderH4