BlockchainBrad spricht mit Ronghui Gu über Certik. Certik baut das fortschrittlichste Blockchain-Cybersicherheitsunternehmen auf und verwendet führende formale Verifizierungstechnologie, einschließlich eines CertikOS-Kernels, um die Integrität und das Vertrauen intelligenter Verträge mathematisch zu beweisen. CertiK kombiniert führende FV-Technologie mit erstklassigen Cybersicherheitsexperten, um End-to-End-Sicherheitsdienste bereitzustellen.
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
Zeitstempel:
0:31 Einleitung Prof. Gu
0:40 Fangen wir an! Formale Verifizierung & Certik
3:15 Debugging von Smart-Contract-Diskussionen
4:20 Blockchain-zentriert. Was ist das Grundbedürfnis?
5:15 Unveränderlichkeit: Formale Überprüfung vor der Bereitstellung
6:30 Konkurrenten zu Certik
8:30 Was zeichnet Certik aus?
9:30 Deep Spec Community & zertifizierte Abstraktionsschicht
10:29 CertikOS. Kernel, Betriebssystem, OS-Kernel.
13:00 CertikOS – Übergang zum Mainstream
13:39 Certik wurde eingesetzt
14:12 Unternehmens- und Entitätsdienste
15:00 Der Imperativ der Zentralisierung
15:50 Hohe Nachfrage nach formaler Verifizierung
17:50 Geschäftsmodell. Derzeit zentralisiert
19:52 Preise. Fiat oder Krypto
21:18 Fiat oder BTC.
22:30 Token-Freigabe
22:50 Erste Version von TestNets
23:47 Diskussion über Token, IEOs und Auflistungen
25:40 Strategische Partner und mehr zu Listungsplänen
26:52 Certik konzentriert sich auf Technologie und Produkte
30:21 Warum Certik eine Blockchain baut.
32:30 Wert der Automatisierung und automatisierte Beweise
33:40 Transparenz, Erhöhungen. Was hast du aufgezogen? Öffentliche 2 Runden.
37:26 Binance: IEO und Klärung der Binance-Beziehung und des Gerüchts
39:48 RoadMap – nicht fertiggestellt
40:40 Mainnet für Native Token erforderlich?
42:00 Mainnet Zeitplan 2020?
42:44 Prä-MainNet-Token-Anreize
43:52 Abstecken + dPoS + PoS
44:44 Compliance + Vorschriften
46:25 PR + Medien
47:39 MainNet dieses Jahr?
48:14 Token-Zweck. Wozu dient dieser Token? Wird es benötigt?
50:58 Beweise für intelligente Verträge und mehr
52:32 Einnahmen
55:20 Gas für Belohnungen. Gas-Token-Verbrennungsmodell & Knappheit
57:55 Anwendungsfälle. Handelsstufe L5
59:52 Systemagnostisch. Nicht auf Smart Contracts beschränkt
1:00:00 Github wird Mitte der TestNet-Phase Open Source
1:02:00 Gemeinschaftsgebäude Certik
1:03 Zukunftspläne
1:05 Schlussworte
1:06 Abschlusserklärung von Prof. Gu
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
►Treten Sie dem BCB Tele bei https://t.me/BlockchainBradCommunity
► Folgen Sie auf Twitter: https://twitter.com/Brad_Laurie
► Treten Sie BlockVera auf Twitter bei: @BlockVera
► Schauen Sie sich BlockVera auf YouTube an: https://www.youtube.com/watch?v=Af4pD…
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
Mitbegründer | Ronghui Gu
Assistenzprofessor für Informatik, Columbia University. Ph.D. in Informatik von der Yale University und Bachelor-Abschluss von der Tsinghua University Distinction Dissertation Award an der Yale University im Jahr 2016 und wurde für die ACM-Dissertation nominiert. Experte für formale Verifizierung von Systemsoftware und Hauptentwickler von CertiKOS.
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
Links:
Website: https://certik.org/#services
Twitter: https://twitter.com/certikorg
Tele:https://t.me/certikorg
Medium: https://medium.com/certik
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
OFFENLEGUNG DER INVESTITION:
Ich habe in Certik investiert. Dies ist keine Finanzberatung, aber ich glaube wirklich an dieses Projekt. #DYOR immer.
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
ZAHLUNGS- / SPENDEN-OFFENLEGUNG:
Das war 100 % kostenlos und ich habe dieses Video ohne Vergütung und ohne die Absicht gemacht, etwas vom Certik-Team für dieses Video zu bekommen; nicht in Fiat, Token oder irgendeiner Zahlungsform. Seit einigen Monaten habe ich beschlossen, nur kostenlose Inhalte zu machen, es sei denn, es handelt sich um legitime LANGFRISTIGE Botschafter. Ich glaube, dass gesponserte Inhalte kein Problem darstellen, wenn sie offengelegt werden, aber dies wurde NICHT gesponsert und es wurde absolut keine Entschädigung in irgendeiner Weise, Form oder Form für dieses Interview erhalten, das ich erhalte. Dies ist keine Finanzberatung. Bitte #DYOR
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
ALLGEMEINER HAFTUNGSAUSSCHLUSS:
Die bereitgestellten Informationen stellen keine Empfehlung zum Kauf oder zur Anlage in bestimmte Vermögenswerte oder Währungen dar und dienen ausschließlich als Informations- und Aufklärungsressource, um Händlern bei ihren eigenen Entscheidungen zu helfen. Die Wertentwicklung in der Vergangenheit ist keine Garantie für den zukünftigen Erfolg.
Es ist wichtig anzumerken, dass noch nie ein System oder eine Methodik entwickelt wurde, die Gewinne garantieren oder Verlustfreiheit gewährleisten kann. Es wird keine Zusicherung oder Andeutung gemacht, dass die Verwendung des beigefügten Materials Gewinne garantiert oder die Freiheit von Verlusten gewährleistet.
BlockchainBrad haftet gegenüber dem Teilnehmer nicht für Schäden, Ansprüche, Aufwendungen oder Verluste jeglicher Art (direkt oder indirekt), die dem Teilnehmer aus oder im Zusammenhang mit den auf dieser Website erhaltenen Informationen oder direkt vom Websitebetreiber entstehen.
#Certik #BlockchainBrad #Crypto #FormalVerification #BCB #SmartSecurity
Quelle
Ehrlich gesagt, wenn ich Binance-Verbindungen und DARPA-Verbindungen sehe, werde ich investieren! Das macht jetzt alles Sinn, folgen Sie den Brotkrumen. Binance plant diese amerikanische Version von Binance seit letztem Jahr! Die universelle Protokollallianz wird in Amerika stark über Uphold und Binance America eingeführt. Binance ist eine sehr solide und lukrative Partnerschaft mit der Universal Protocol Alliance eingegangen, um zu versuchen, den amerikanischen Verbraucher-/Markt zu kapitalisieren und zu erobern. Markieren Sie meine Worte, der Verkauf von Certik-Token wird mit der Einführung von American Binance zusammenfallen.
Handelt Certik irgendwo? Ich konnte es auf keiner Börse finden. Danke
Ich muss sagen, dass ich mich wirklich auf dieses Interview gefreut habe, aber dass die fehlende Antwort auf bestimmte grundlegende Fragen etwas enttäuschend war und mich ein wenig zögern lässt.
100% kostenlos. Ich habe mir wirklich viel Mühe gegeben, in dieses lange Interview mit Prof. Ronghui Gu einzutauchen. Viele Leute wollten wissen, was mit Certik passiert, und ich habe mein Bestes getan, um so viel wie möglich wirklich abzudecken. Ich habe auch für Sie eine sehr detaillierte Liste mit Zeitstempeln geschrieben. Ich hoffe, das hilft, Brad.