PRÉSENTATION DE CERTIK ››
CertiK vise à développer une plateforme de vérification des smarts contracts et de l’écosystème des blockchains pour aider les personnes à les rendre résistants aux hackers ou tout simplement éviter des bugs. CertiK est un des projets qui à pu bénéficier de l’investissement de “Binance Labs” qui est un incubateur pour les projets de la Blockchain.
Beaucoup de sociétés axées sur la sécurité du code de la blockchain ou des smarts contracts se basent sur une révision manuelle du code et ne fournissent qu’une vérification limitée des propriétés automatisées. CertiK propose de créer une vérification formelle automatique et évolutive pour fournir les preuves d’exactitudes fonctionnelles sur les smarts contracts et la mise en œuvre des écosystèmes blockchain et s’assurer mathématiquement qu’ils sont résistants aux hacks et sans bugs.
Pour vous donnez un ordre d’idée du champ d’action possible de CertiK :
A la fin de l’année 2017 on enregistre 680 millions USD volés par des hackers via l’exploitation des faiblesses de certains smart contracts.
Fractionnement en couches indépendantes : Les tests les plus grands sont découpés en étapes plus petites, qui peuvent être testées indépendamment, au bon niveau d’abstraction. L’équipe CertiK a inventé un concept de “spécifications par niveau”, qui permet de décomposer une preuve complexe en tâches simples.
Système de tests modulaire : CertiK veut développer un protocole ouvert permettant à d’autres algorithmes d’être ajoutés.
Preuves vérifiables : CertiK génère des tests à partir des spécifications (étiquettes). N’importe qui sera en mesure de faire tourner ces tests sur son ordinateur, et ainsi de vérifier que le smart contract est vérifié. Ces tests décentralisés servent de certificats pour les programmes ainsi validés. Il s’agit d’un autre point important du système CertiK : les “mineurs” opérant le réseau de preuves/certificats sont récompensés en token CertiK.
Librairies certifiées : CertiK va mettre à disposition des développeurs des librairies de code et autres plugins, certifiés, afin d’améliorer la qualité générale des Dapps (cette partie est similaire aux efforts de OpenZeppelin).
Services de certification Custom : CertiK va aussi vendre ses propres services de certification, en particulier pour les projets ayant besoin d’un très haut niveau de sécurité, comme des wallets électroniques par exemple. Des experts feront le travail de spécification, vérifier les programmes, et produire un audit de sécurité.
Nous avons très peu d’informations concernant les tokens metrics de CertiK à ce stade.
Caractéristiques du tokens: Il sera utilisé comme le carburant de l'écosystème et sera utilisé lors de tous les interactions sur la plateforme que ce soit pour les paiements ou les récompenses. Il semblerait que le coin servira aussi à définir via le stacking qui aura le droit de miner le coin via l’utilisation de leur hardware pour le processus des “preuves vérifiables”. Il y aurait aussi une petite partie des tokens qui seraient “burn” à chaque fois que le token est utilisé comme paiement du service ce qui le rendrait rare avec le temps. Mais tout cela n’est pas encore officialisé, vous devez prendre ces informations avec des pincettes. 
Co-founder
Professeur assistant (avec possibilité de titularisation) pour la Columbia University à New York, il a un doctorat de l’université de Yale où il a reçu le prix de la meilleure dissertation. Il est un expert dans les systèmes de vérification de softwares.
Co-founder
Professeur d’informatique et membre du conseil à Yale University
Il a été un développeur clef du compilateur SML/NJ, son FLINT Group de Yale a développé le premier système d’exploitation résistant aux hackers dans le monde.
Research Scientist
Chercheur scientifique associé à Yale University, il est lui aussi expert dans les systèmes de vérification de softwares ainsi que dans les langages de programmation et système d’exploitation. Il a reçu le prix de l’ACM SIGPLAN John C. Reynolds de la meilleure dissertation (échelle nationale USA - award très prestigieux).
Ils veulent recruter 20 ingénieurs logiciels et chercheurs supplémentaires d’après cette source.
Les advisors et les différents partenaires devraient apparaître sous peu sur https://certik.org/
Les points positifs:
Pour les rumeurs non vérifiables on parle aussi d’un possible investissement / partenariat avec Vechain, même chose pour l’exchange Huobi mais les informations ne sont pas tangibles.
Les points négatifs:
Pour moi c’est un bon investissement court terme et long terme.
Court terme: parce que la hype se forme rapidement autour du projet et qu’il est très difficile pour les influencers de bien cerner la complexité de ce projet avec les informations actuelles qui sont plutôt destinées à des technophiles ainsi que le manque d’information concernant la token sale dans son ensemble. Une fois que tout sera dévoilé et que les informations seront mâchées pour les débutants je pense qu’on devrait voir un Telegram dans les 50.000 membres. Ensuite, nous avons une feuille de route très courte et agressive, un produit disponible rapidement.
Long terme: si les tokens metrics sont bonnes, je ne vois aucun problème pour HOLD un token comme CTK qui devrait bénéficier d’une forte demande dans les prochaines années car la sécurité des smart contracts - DApps et blockchain devient très préoccupant pour les utilisateurs de crypto et les entreprises évoluants dans le milieu.
Encore une fois notez bien que mon avis repose sur les informations auxquelles j’avais accès au moment de la création de cet article le 16/062018 et qui fait abstraction de tout ce qui est lié au token metrics.
Cet article à été crée en collaboration avec:
Merci à Jean et Matthieu pour leur aide!