CertiK – un écosystème qui permet l’utilisation de solutions complètes pour les applications décentralisées et les blockchains. Le 24 octobre, le réseau principal CertiK sera lancé et tous les principaux composants de l'écosystème y seront intégrés, mais avec la possibilité d'interagir avec d'autres blockchains. La raison principale du projet est une infrastructure de crédit éprouvée pour tous.
CTK – un token utilitaire fonctionnel qui servira de moyen d’échange entre les participants sur la plateforme CertiK. A partir du 23 octobre 2020 disponible pour ferme et plateforme Binance Lauchpool pour 12 à 16 jours. Pools pris en charge : BNB, BUSD, CTK.
Présentation @certikorg $CTK sur #Binance Lancez la piscine !
Gagnez des CTK en publiant $BNB, $BUSD et $CTK! 💥Plus de détails :https://t.co/E7ZClsAoY4 pic.twitter.com/Ji0dcwQ5ci
– BinanceRusso (@BinanceRusso) 22 octobre 2020
Nos rédacteurs ont passé en revue le projet CertiK et ses fonctionnalités.
Devis prix/devise en temps réel
informations générales
| Designação | CertiK |
|---|---|
| Horloge | CTK |
| Type de jeton | BEP-20, le logo du jeton natif de CertiK Chain |
| Blockchain | Binance Smart Chain, depois CertiK Chain (a partir de 24/10/2020) |
| Emissões totais | 100 000 000 CTK |
| Site officiel | https://www.certik.foundation/ |
| Comptable | https://explorer.certik.foundation/ |
| Portefeuille | https://wallet.certik.foundation/ |
| Blogue | https://medium.com/certik-foundation |
| Livre blanc | https://www.certik.foundation/whitepaper |
| Gazouillement | https://twitter.com/certikorg |
| Échanges | Binance |
| Date de début de distribution sur Binance Launchpool | 23.10.2020 |
| Nombre total de jetons sur Binance Launchpool | 1 500 000 CTK (1,50 % de l'émission totale) |
Solutions technologiques
CertiK est une infrastructure qui comprend le langage de programmation DeepSEA, le noyau du système d'exploitation CertiKOS et la machine virtuelle CertiKVM. Avec ces outils, les développeurs peuvent créer des systèmes sécurisés et transparents. En fait, le CertiK Security Oracle est d'une grande pertinence – un oracle qui évalue la sécurité d'un réseau décentralisé sur la base de critères fournis par les opérateurs ; le processus évalue la fiabilité du code source, et ceux qui participent à l'évaluation sont récompensés en CTK, un token natif de la chaîne CertiK.
Système d'exploitation CertiKOS
Le noyau du système d'exploitation CertiKOS est axé sur la sécurité, la résistance aux attaques de pirates et l'exécution correcte des fonctions. Pour vérifier le bon fonctionnement des programmes, le système d'exploitation comprend des mécanismes de vérification formelle.
CertiKOS prend en charge le parallélisme, ce qui signifie que vous pouvez travailler simultanément avec plusieurs threads sur plusieurs cœurs de processeur. L'architecture est extensible : elle peut être utilisée pour diverses applications, pas seulement pour la blockchain.
Lors de l'écriture du code d'un logiciel, les développeurs rédigent également des spécifications qui précisent exactement ce que fait le programme. Il évalue ensuite dans quelle mesure le code implémente ces spécifications. Le système de notation est rédigé au cas par cas et appliqué une seule fois, après quoi tout le travail peut être effectué en utilisant les spécifications déjà testées sans avoir besoin de se référer au code.
Machine virtuelle CertiK (CVM)
CVM fournit des contrats intelligents et des informations de sécurité blockchain pour le code de la machine virtuelle, ouvrant ainsi un large éventail d'options :
- approximation;
- Chèques ;
- dépendances;
- établir dynamiquement la sécurité de la blockchain et des contrats intelligents.
DeepSEA
Le langage de programmation DeepSEA est utilisé pour représenter graphiquement les contrats intelligents, tout en permettant de traiter même le code le plus complexe, en le vérifiant à l'aide de l'outil de preuve Coq.
Le langage est une solution optimisée qui permet de combiner les contrats intelligents et Coq pour utiliser la vérification pour résoudre des problèmes de toute complication. Les quatre principes clés de DeepSEA sont : le raisonnement équationnel (traduisant chaque composant dans sa spécification fonctionnelle correspondante), la spécification basée sur les couches, le raffinement abstrait intégré pour structurer des problèmes complexes en étapes discrètes, et l'encapsulation et la constitution pour vérifier l'exactitude des couches. immédiatement.
CertiKShield
Un nouvel outil conçu comme une solution décentralisée pour rétablir les actifs de crypto-monnaie perdus ou volés en raison de problèmes de sécurité sur n'importe quel réseau blockchain. Les oracles évaluent la sécurité en temps réel, après quoi les participants au réseau décentralisé peuvent fournir des garanties, recevoir des récompenses et voter sur des propositions concernant la protection des communautés blockchain.
DeepWallet pour CertiK (CTK)
Réalisable via un navigateur web, DeepWallet permet :
- consulter le solde des jetons CertiK (CTK) ;
- envoyer et recevoir des jetons ;
- utiliser un système de délégation de récompense.
Contrairement à de nombreux portefeuilles traditionnels, DeepWallet dispose de fonctionnalités avancées supplémentaires qui permettent aux utilisateurs de déléguer des avoirs, un peu comme si elles déployaient leurs propres contrats intelligents.
Jeton CTK et réception sur Binance Launchpool
Le jeton utilitaire de plate-forme CertiK (CTK) cryptographiquement sécurisé agit comme une expression transférable des fonctions spécifiées dans le protocole de la plate-forme. Il joue un rôle important dans le fonctionnement de l’ensemble de l’écosystème et constitue le seul jeton utilitaire du projet.
Caractéristiques du jeton CTK :
- Un moyen de paiement et de règlement sécurisé entre participants.
- Une incitation économisée pour encourager les utilisateurs à contribuer et à soutenir l'écosystème.
- Paiement des frais de gaz pour inciter la communauté décentralisée de nœuds à fournir des ressources pour confirmer une transaction (staking).
- Un jeton utilitaire qui peut être utilisé comme garantie pour les pools.
Émissions totales – 100 000 000 CTKà partir duquel Launchpool sera distribué 1 500 000 (1,5%)à savoir:
- 1 050 000 CTK sans pool de BNB
- 225 000 CTK sont regroupés en BUSD
- 225 000 CTK sans pool CTK
La date de début de la ferme est le 23 octobre (pour le pool CTK, le 27 octobre). Date de fin le 8 novembre. La vérification du compte n’est pas requise pour participer.
Déposez simplement des ressources dans l’un des pools proposés et attendez la fin de la distribution. Par exemple, pour BNB valeur minimale du pool 0,1 BNB :
Avantages et inconvénients
Conclusion
À l’heure actuelle, une partie de l’écosystème CertiK est déjà opérationnelle, des partenariats et des intégrations sont activement conclus. Les plans incluent l'introduction d'un système de récompense de jetons CTK pour les fournisseurs de garanties, l'organisation de hackathons à grande échelle, un partenariat avec CoinMarketCap et d'autres agrégateurs. Tout cela, s’il est correctement mis en œuvre, contribuera au développement du projet.