Audit et sécurité des contrats intelligents

Blockchain offre une occasion unique de consensus distribué. Les applications de contrat intelligentes comportent des problèmes de sécurité uniques. Pour atténuer ces risques, Jobchain® effectue des audits de sécurité pour vos contrats intelligents.

Certik fichier et Quantstamp, deux des technologies de vérification formelles les plus avancées au monde pour les contrats intelligents et l'audit blockchain, ont donné le feu vert à Jobchain® pour poursuivre ses efforts visant à renforcer davantage la sécurité de la plateforme afin d'assurer la stabilité et la confiance de l'écosystème Jobchain®.

À propos de Certik

 : CertiK est un pionnier de la cybersécurité blockchain fondée par des professeurs d'informatique à l'Université Yale et à l'Université Columbia. En appliquant la rigueur de sa propre technologie de vérification formelle dans les contrats intelligents et les protocoles blockchain, CertiK a pu obtenir plus de 4,39 milliards de dollars en actifs, y compris un grand nombre des principaux projets blockchain au monde. Les efforts de recherche de CertiK ont reçu des subventions d'IBM et de la Fondation Ethereum, ainsi que d'investisseurs notables, notamment Binance Labs, Arrington XRP, Lightspeed China Partners, Matrix Partners China et NEO Global Capital, entre autres.

Contrairement aux approches traditionnelles de test, CertiK tente de démontrer mathématiquement que l'écosystème blockchain et les contrats intelligents sont résistants aux pirates et sans erreur. Avec la confiance du secteur de la sécurité, CertiK a établi des partenariats stratégiques avec les principaux échanges d'actifs numériques au monde tels que Binance OKEx, Kucoin et Huobi, ainsi que les protocoles blockchain tels que NEO, ICONN et QuarkChain.

Technologies clés Certik :

  • Vérification formelle - tests mathématiques pour vérifier toutes les possibilités de programmes critiques.
  • AutoScan - technologie évolutive pour identifier et corriger les vulnérabilités de sécurité
  • Deepsea-Blockchain - langage de programmation fonctionnel pour les contrats intelligents officiellement vérifiables

Avantages du noyau Certik :

  • Vérification formelle complète et personnalisable
  • Rapports d'audit détaillés et transparents
  • Examen du code par des experts en sécurité
  • Audits réalisés dans tous les principaux protocoles et langues
  • Contre-exemples auto-générés
  • Réaudits de code illimités
  • Test avancé de pénétration par des pirates expérimentés et éthiques

certik.io :

À propos de Quantstamp

 :

Quantstamp vise à résoudre l'impénétrabilité des contrats intelligents en créant le principal protocole décentralisé qui fournira un audit de sécurité pour les contrats intelligents basés sur le réseau Ethereum. Essentiellement, Quantstamp permet aux développeurs de contrats intelligents de soumettre leur travail à leur protocole, où de nombreux vérificateurs de sécurité peuvent revoir le contrat, afin de recevoir des jetons QSP en récompense. Le niveau d'audit requis est établi par le développeur initial, qui paie ces frais à toute personne qui décèle un problème dans le contrat intelligent.

quantstamp.com :