BlockchainBrad s'entretient avec Ronghui Gu au sujet de Certik. Certik construit la société de cybersécurité blockchain la plus avancée et utilise une technologie de Vérification Formelle de pointe, y compris un noyau CertikOS, pour prouver mathématiquement l'intégrité et la confiance des contrats intelligents. CertiK combine une technologie FV de premier plan avec des experts en cybersécurité de classe mondiale pour offrir des services de sécurité de bout en bout.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Horodatages :
0:31 Intro Prof Gu
0:40 Allons-y ! Vérification Formelle & Certik
3:15 Discussion sur le débogage des contrats intelligents
4:20 Centré sur la Blockchain. Quel est le besoin fondamental ?
5:15 immutabilité : vérification formelle avant déploiement
6:30 Concurrents de Certik
8:30 Qu'est-ce qui distingue Certik ?
9:30 Communauté Deep Spec & couche d'abstraction certifiée
10:29 CertikOS. Noyau, Système d'Exploitation, Noyau OS.
13:00 CertikOS - passage au grand public
13:39 Certik a été déployé
14:12 Services d'Entreprise & d'Entité
15:00 L'impératif de la centralisation
15:50 Forte demande pour la vérification formelle
17:50 Modèle Commercial. Actuellement Centralisé
19:52 Tarification. Fiat ou Crypto
21:18 Fiat ou BTC.
22:30 Lancement de Token
22:50 Première Version des TestNets
23:47 Discussion sur les Tokens, IEOs & Listages
25:40 Partenaires Stratégiques et plus sur les Plans de Listing
26:52 Certik se concentre sur la technologie et les produits
30:21 Pourquoi Certik construit une blockchain.
32:30 Valeur de l'Automatisation et des preuves automatisées
33:40 Transparence, Levées. Qu'avez-vous levé ? 2 tours publics.
37:26 Binance : IEO et clarification de la relation et des rumeurs concernant Binance
39:48 Feuille de Route - non finalisée
40:40 Mainnet requis pour le Token Natif ?
42:00 Calendrier Mainnet 2020 ?
42:44 incitations au Token pré-MainNet
43:52 Staking + dPoS + PoS
44:44 Conformité + Régulations
46:25 RP + Médias
47:39 MainNet cette année ?
48:14 Objectif du Token. À quoi sert ce token ? Est-il nécessaire ?
50:58 Preuves pour les contrats intelligents et plus
52:32 Revenus
55:20 Gas pour les récompenses. Modèle de brûlage de token gas & rareté
57:55 Cas d'Utilisation. Niveau Commercial L5
59:52 Système Agnostique. Pas limité aux Contrats Intelligents
1:00:00 Github ouvrira le code source au milieu de la phase TestNet
1:02:00 Construction de la Communauté Certik
1:03 Plans Futurs
1:05 Déclarations de clôture
1:06 Déclarations finales du Prof. Gu
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
► Rejoignez BlockVera sur twitter : @BlockVera
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Co-fondateur | Ronghui Gu
Professeur Assistant en Informatique, Université de Columbia. Ph.D. en Informatique de l'Université de Yale et Licence de l'Université Tsinghua. Prix de la Dissertation Distinction à l'Université de Yale en 2016 et a été nominé pour la Dissertation ACM. Expert en Vérification Formelle de logiciels système et développeur principal de CertiKOS.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Liens :
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
DIVULGATION D'INVESTISSEMENT :
J'ai investi dans Certik & j'ai investi tôt. Ce n'est pas un conseil financier, mais je crois vraiment en ce projet. #DYOR toujours.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
DIVULGATION DE PAIEMENT/DONATION :
C'était 100 % gratuit et j'ai réalisé cette vidéo sans compensation et sans intention d'obtenir quoi que ce soit de l'équipe Certik pour avoir réalisé cette vidéo ; ni en fiat, tokens ou toute forme de paiement. Depuis plusieurs mois, j'ai décidé de ne faire que du contenu gratuit à moins que des ambassades légitimes à LONG TERME soient impliquées. Je crois que le contenu sponsorisé n'est pas un problème s'il est divulgué, mais cela n'a PAS été sponsorisé et il n'y a absolument eu aucune compensation reçue de quelque manière que ce soit pour cette interview. Ce n'est pas un conseil financier. Veuillez #DYOR
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
AVIS GÉNÉRAL :
Les informations fournies ne doivent pas être considérées comme une recommandation d'acheter ou d'investir dans certains actifs ou devises et sont fournies uniquement comme une ressource éducative et d'information pour aider les traders à prendre leurs propres décisions. Les performances passées ne garantissent pas le succès futur.
Il est important de noter qu'aucun système ou méthodologie n'a jamais été développé qui puisse garantir des bénéfices ou assurer une liberté de pertes. Aucune représentation ou implication n'est faite que l'utilisation du matériel ci-joint garantira des bénéfices ou assurera une liberté de pertes.
BlockchainBrad ne pourra être tenu responsable envers le participant pour tout dommage, réclamation, dépense ou perte de quelque nature que ce soit (qu'elle soit directe ou indirecte) subie par le participant résultant de ou en lien avec les informations obtenues sur ce site ou directement auprès du propriétaire du site.
#Certik #BlockchainBrad #Crypto #VérificationFormelle #BCB #SécuritéIntelligente