BlockchainBrad spricht mit Ronghui Gu über Certik. Certik baut das fortschrittlichste Unternehmen für Blockchain-Cybersicherheit auf und nutzt führende Technologien zur formalen Verifikation, einschließlich eines CertikOS-Kernels, um mathematisch die Integrität und das Vertrauen von Smart Contracts zu beweisen. CertiK kombiniert führende FV-Technologie mit erstklassigen Cybersicherheitsexperten, um End-to-End-Sicherheitsdienste anzubieten.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Zeitstempel:
0:31 Einführung Prof. Gu
0:40 Lass uns loslegen! Formale Verifikation & Certik
3:15 Diskussion zur Fehlersuche bei Smart Contracts
4:20 Blockchain-zentriert. Was ist das grundlegende Bedürfnis?
5:15 Unveränderlichkeit: formale Verifikation vor der Bereitstellung
6:30 Wettbewerber von Certik
8:30 Was unterscheidet Certik von anderen?
9:30 Deep Spec Community & zertifizierte Abstraktionsschicht
10:29 CertikOS. Kernel, Betriebssystem, OS-Kernel.
13:00 CertikOS - der Schritt in den Mainstream
13:39 Certik wurde implementiert
14:12 Unternehmens- und Entitätsdienste
15:00 Die Notwendigkeit der Zentralisierung
15:50 Hohe Nachfrage nach formaler Verifikation
17:50 Geschäftsmodell. Derzeit zentralisiert
19:52 Preisgestaltung. Fiat oder Krypto
21:18 Fiat oder BTC.
22:30 Token-Release
22:50 Erste Version der Testnets
23:47 Diskussion über Tokens, IEOs & Listings
25:40 Strategische Partner und mehr zu Listing-Plänen
26:52 Certik konzentriert sich auf Technologie und Produkte
30:21 Warum Certik eine Blockchain aufbaut.
32:30 Wert der Automatisierung und automatisierter Nachweise
33:40 Transparenz, Mittelbeschaffung. Was hast du gesammelt? Öffentlich 2 Runden.
37:26 Binance: IEO und Klarstellung der Beziehung zu Binance und Gerüchte
39:48 Roadmap - nicht finalisiert
40:40 Mainnet erforderlich für Native Token?
42:00 Mainnet-Zeitplan 2020?
42:44 Anreize für Pre-MainNet-Token
43:52 Staking + dPoS + PoS
44:44 Compliance + Vorschriften
46:25 PR + Medien
47:39 MainNet in diesem Jahr?
48:14 Zweck des Tokens. Wofür ist dieser Token? Wird er benötigt?
50:58 Nachweise für Smart Contracts und mehr
52:32 Einnahmen
55:20 Gas für Belohnungen. Gas-Token-Brennmodell & Knappheit
57:55 Anwendungsfälle. Kommerzielles Niveau L5
59:52 Systemagnostisch. Nicht auf Smart Contracts beschränkt
1:00:00 Github wird Open Source in der Mitte der TestNet-Phase
1:02:00 Certik Community Building
1:03 Zukunftspläne
1:05 Abschlussstatements
1:06 Prof. Gu Abschlussstatements
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
► Tritt BlockVera auf Twitter bei: @BlockVera
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Mitbegründer | Ronghui Gu
Assistenzprofessor für Informatik an der Columbia University. Ph.D. in Informatik von der Yale University und Bachelor-Abschluss von der Tsinghua University. Auszeichnung für die Dissertation an der Yale University im Jahr 2016 und wurde für die ACM-Disssertation nominiert. Experte für formale Verifikation von Systemsoftware und der Hauptentwickler von CertiKOS.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Links:
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
INVESTITIONSOFFENLEGUNG:
Ich habe in Certik investiert und frühzeitig investiert. Dies ist keine Finanzberatung, aber ich glaube wirklich an dieses Projekt. #DYOR immer.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
ZAHLUNGS-/SPENDENOFFENLEGUNG:
Dies war 100% kostenlos und ich habe dieses Video ohne Vergütung und ohne die Absicht gemacht, etwas vom Certik-Team für die Erstellung dieses Videos zu erhalten; weder in Fiat, Tokens noch in irgendeiner Form von Zahlung. Seit mehreren Monaten habe ich beschlossen, nur kostenlose Inhalte zu erstellen, es sei denn, es sind legitime LANGFRISTIGE Botschafterverträge beteiligt. Ich glaube, dass gesponserte Inhalte kein Problem darstellen, wenn sie offengelegt werden, aber dies war NICHT gesponsert und es gab absolut keine Vergütung in irgendeiner Form für dieses Interview, die ich erhalten habe. Dies ist keine Finanzberatung. Bitte #DYOR
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
ALLGEMEINER HAFTUNGSAUSSCHLUSS:
Die bereitgestellten Informationen sind nicht als Empfehlung zum Kauf oder zur Investition in bestimmte Vermögenswerte oder Währungen zu betrachten und dienen ausschließlich als Bildungs- und Informationsressource, um Händlern zu helfen, eigene Entscheidungen zu treffen. Frühere Leistungen sind keine Garantie für zukünftigen Erfolg.
Es ist wichtig zu beachten, dass kein System oder keine Methode entwickelt wurde, die Gewinne garantieren oder Freiheit von Verlusten gewährleisten kann. Es wird keine Darstellung oder Implikation gemacht, dass die Verwendung des angehängten Materials Gewinne garantiert oder Freiheit von Verlusten sichert.
BlockchainBrad haftet nicht für Schäden, Ansprüche, Ausgaben oder Verluste jeglicher Art (ob direkt oder indirekt), die dem Teilnehmer entstehen, die sich aus oder im Zusammenhang mit den Informationen ergeben, die von dieser Website oder direkt vom Website-Besitzer erhalten wurden.
#Certik #BlockchainBrad #Krypto #FormaleVerifikation #BCB #SmartSecurity