BlockchainBrad berbicara dengan Ronghui Gu tentang Certik. Certi sedang membangun perusahaan keamanan siber blockchain tercanggih & menggunakan teknologi Verifikasi Formal terkemuka, termasuk kernel CertiOS, untuk membuktikan secara matematis integritas & kepercayaan kontrak pintar. CertiK menggabungkan teknologi FV terkemuka dengan pakar keamanan siber terbaik di kelasnya untuk memberikan layanan keamanan menyeluruh.
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
Cap waktu:
0:31 Perkenalan Prof Gu
0:40 Mari kita masuk ke dalamnya! Verifikasi & Sertifikasi Formal
3:15 Men-debug diskusi kontrak pintar
4:20 Berpusat pada Blockchain. Apa kebutuhan mendasarnya?
5:15 kekekalan: verifikasi formal sebelum penempatan
6:30 Pesaing menuju Certik
8:30 Apa yang membedakan Certik?
9:30 Komunitas Deep Spec & lapisan abstraksi bersertifikat
10:29 CertikOS. Kernel, Sistem Operasi, Kernel OS.
13:00 CertikOS- pindah ke mainstream
13:39 Sertifikat telah digunakan
14:12 Layanan Perusahaan & Entitas
15:00 Pentingnya sentralisasi
15:50 Permintaan tinggi untuk verifikasi formal
17:50 Model Bisnis. Saat ini Terpusat
19:52 Harga. Fiat atau Crypto
21:18 Fiat atau BTC.
22:30 Rilis Token
22:50 TestNets Versi Pertama
23:47 Diskusi Token, IEO & Daftar
25:40 Mitra Strategis dan lebih banyak lagi di Rencana Pencatatan
26:52 Certik berfokus pada teknologi dan produk
30:21 Mengapa Certik membangun blockchain.
32:30 Nilai Otomatisasi dan bukti otomatis
33:40 Transparansi, Meningkatkan. Apa yang Anda angkat? Umum 2 putaran.
37:26 Binance: IEO dan klarifikasi hubungan dan rumor Binance
39:48 RoadMap- belum selesai
40:40 Mainnet diperlukan untuk Token Asli?
42:00 Jadwal mainnet 2020?
42:44 insentif Token pra-MainNet
43:52 Taruhan + dPoS + PoS
44:44 Kepatuhan + Peraturan
46:25 Humas + Media
47:39 MainNet tahun ini?
48:14 Tujuan token. Untuk apa token ini? Apakah itu diperlukan?
50:58 Bukti untuk kontrak pintar dan lainnya
52:32 Pendapatan
55:20 Gas untuk hadiah. Model & kelangkaan token burn gas
57:55 Kasus Penggunaan. Tingkat Komersial L5
59:52 Sistem Agnostik. Tidak terbatas pada Kontrak Cerdas
1:00:00 Github akan Open Source mid-TestNet Phase
1:02:00 Gedung Komunitas Certik
1:03 Rencana Masa Depan
1:05 Pernyataan penutup
1:06 Pernyataan Akhir Prof. Gu
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
►Bergabunglah dengan Tele BCB https://t.me/BlockchainBradCommunity
► Ikuti di twitter: https://twitter.com/Brad_Laurie
Bergabunglah dengan BlockVera di twitter: @BlockVera
► Lihat BlockVera di youtube: https://www.youtube.com/watch?v=Af4pD…
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
salah satu pendiri | Ronghui Gu
Asisten Profesor Ilmu Komputer, Universitas Columbia. Ph.D. dalam Ilmu Komputer dari Universitas Yale dan gelar Sarjana dari Penghargaan Disertasi Distinksi Universitas Tsinghua di Universitas Yale pada tahun 2016 dan dinominasikan untuk Disertasi ACM. Pakar dalam Verifikasi Formal perangkat lunak sistem dan pengembang utama CertiKOS.
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
Link:
Situs web: https://certik.org/#services
Twitter: https://twitter.com/certikorg
Telepon: https://t.me/certikorg
Media: https://medium.com/certik
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
PENGUNGKAPAN INVESTASI:
Saya telah berinvestasi di Certik. Ini bukan Nasihat Keuangan, tetapi saya sangat percaya pada proyek ini. #DYOR selalu.
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
PENGUNGKAPAN PEMBAYARAN/DONASI:
Ini 100% gratis dan saya melakukan video ini tanpa kompensasi dan tidak ada niat untuk mendapatkan apa pun dari Tim Certik untuk melakukan video ini; tidak dalam bentuk fiat, token, atau bentuk pembayaran apa pun. Sejak beberapa bulan yang lalu, saya memutuskan untuk hanya membuat konten gratis kecuali jika ada duta besar JANGKA PANJANG yang sah. Saya percaya bahwa konten yang disponsori tidak menjadi masalah jika diungkapkan, tetapi ini TIDAK disponsori dan sama sekali tidak ada kompensasi yang diterima dengan cara, bentuk, atau bentuk apa pun untuk wawancara yang saya terima ini. Ini bukan Nasihat Keuangan. Tolong #DYOR
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
PENOLAKAN UMUM:
Informasi yang diberikan tidak untuk dianggap sebagai rekomendasi untuk membeli atau berinvestasi pada aset atau mata uang tertentu dan disediakan semata-mata sebagai sumber pendidikan dan informasi untuk membantu pedagang membuat keputusan sendiri. Kinerja masa lalu bukanlah jaminan kesuksesan di masa depan.
Penting untuk dicatat bahwa tidak ada sistem atau metodologi yang pernah dikembangkan yang dapat menjamin keuntungan atau memastikan kebebasan dari kerugian. Tidak ada pernyataan atau implikasi yang dibuat bahwa menggunakan materi terlampir akan menjamin keuntungan atau menjamin kebebasan dari kerugian.
BlockchainBrad tidak bertanggung jawab kepada peserta atas segala kerusakan, klaim, pengeluaran, atau kerugian dalam bentuk apa pun (baik langsung maupun tidak langsung) yang diderita oleh peserta yang timbul dari atau sehubungan dengan informasi yang diperoleh situs web ini atau langsung dari pemilik situs web.
#Certik #BlockchainBrad #Crypto #Verifikasi Formal #BCB #SmartSecurity
sumber
Sejujurnya ketika saya melihat koneksi Binance dan koneksi DARPA, saya ingin berinvestasi! Ini semua masuk akal sekarang, ikuti remah rotinya. Binance telah merencanakan Binance versi Amerika ini sejak tahun lalu! Aliansi protokol universal akan diluncurkan di Amerika melalui penegakan dan Binance America. Kemitraan yang sangat baik dan menguntungkan yang telah dibuat Binance dengan aliansi protokol universal untuk mencoba memanfaatkan dan menyudutkan konsumen/pasar Amerika. Tandai kata-kata saya penjualan token tertentu akan bertepatan dengan peluncuran American Binance.
Apakah Certik berdagang di mana saja? Saya belum dapat menemukannya di bursa mana pun. Terima kasih
Saya harus mengatakan bahwa saya sangat menantikan wawancara ini, tetapi ternyata kurangnya respons terhadap pertanyaan mendasar tertentu sedikit mengecewakan dan membuat saya sedikit ragu.
100% Gratis. Saya berusaha keras untuk menggali lebih dalam wawancara panjang dengan Prof. Ronghui Gu ini. Banyak orang ingin tahu apa yang terjadi dengan Certi dan saya melakukan yang terbaik untuk meliput sebanyak mungkin. Saya juga menulis daftar stempel waktu yang sangat rinci untuk Anda. Semoga ini bisa membantu, Brad.