Sertifikat – ekosistem yang memungkinkan penggunaan solusi komprehensif untuk aplikasi dan blockchain yang terdesentralisasi. Pada tanggal 24 Oktober, mainnet CertiK akan diluncurkan dan semua komponen utama ekosistem akan diintegrasikan ke dalamnya, tetapi dengan kemampuan untuk berinteraksi dengan blockchain lain. Alasan utama proyek ini adalah infrastruktur kredit yang terbukti dapat digunakan oleh semua orang.
CTK – token utilitas fungsional yang akan digunakan sebagai alat pertukaran antar peserta di platform CertiK. Mulai 23 Oktober 2020 tersedia untuk peternakan dan platform Binance Lauchpool selama 12 hingga 16 hari. Kumpulan yang didukung: BNB, BUSD, CTK.
CTK terdaftar pada 27 Oktober pukul 11 pagi waktu Brasilia. Pasangan perdagangan pertama yang tersedia adalah: Nilai Tukar CTK/USDT, CTK/BUSD, CTK/BNB, CTK/BTC. Gerbang.io Dan MEK juga mendukung bekerja dengan aset.
Memperkenalkan @certikorg $CTK pada Binance adalah platform perdagangan digital yang memungkinkan Anda untuk mendistribusikan, menerima, dan menerima pembayaran. Peluncuran kolam!
Hasilkan CTK dengan memposting $BNB, $BUSD Dan $CTK! 💥Lebih detailnya:https://t.co/E7ZClsAoY4 foto.twitter.com/Ji0dcwQ5ci
– BinanceRusso (@BinanceRusso) 22 Oktober 2020
Editor kami meninjau proyek CertiK dan fitur fungsionalnya.
Kutipan harga/mata uang real-time
informasi umum
| Penamaan | Sertifikat |
|---|---|
| Jam | CTK |
| Jenis token | BEP-20, logo token asli CertiK Chain |
| Rantai Blok | Binance Smart Chain, setor CertiK Chain (mulai 24/10/2020) |
| Total emisi | 100.000.000 CTK |
| Situs web resmi | https://www.certik.foundation/ |
| Akuntan | https://explorer.certik.foundation/ |
| Portofolio | https://wallet.certik.foundation/ |
| blog | https://medium.com/certik-foundation |
| Kertas putih | https://www.certik.foundation/whitepaper |
| https://twitter.com/certikorg | |
| Pertukaran | Binance |
| Tanggal mulai distribusi di Binance Launchpool | 23.10.2020 |
| Jumlah total token di Binance Launchpool | 1.500.000 CTK (1,50% dari total penerbitan) |
Solusi teknologi
CertiK adalah infrastruktur yang mencakup bahasa pemrograman DeepSEA, kernel sistem operasi CertiKOS, dan mesin virtual CertiKVM. Dengan alat ini, pengembang dapat menciptakan sistem yang aman dan transparan. Faktanya, Oracle Keamanan CertiK sangat relevan – sebuah oracle yang mengevaluasi keamanan jaringan terdesentralisasi berdasarkan kriteria yang diberikan oleh operator; prosesnya mengevaluasi keandalan kode sumber, dan mereka yang berpartisipasi dalam evaluasi diberi penghargaan dalam CTK, token asli dari rantai CertiK.
OS CertiKOS
Kernel sistem operasi CertiKOS berfokus pada keamanan, ketahanan terhadap serangan peretas, dan kinerja fungsi yang benar. Untuk memverifikasi berfungsinya program dengan benar, OS menyertakan mekanisme verifikasi formal.
CertiKOS mendukung paralelisme, yang berarti Anda dapat bekerja secara bersamaan dengan banyak thread pada beberapa inti CPU. Arsitekturnya dapat diperluas – dapat digunakan untuk berbagai aplikasi, tidak hanya blockchain.
Saat menulis kode perangkat lunak, pengembang juga menulis spesifikasi yang menentukan secara pasti apa yang dilakukan program tersebut. Kemudian mengevaluasi seberapa baik kode mengimplementasikan spesifikasi ini. Sistem penilaian ditulis berdasarkan kasus per kasus dan diterapkan hanya satu kali, setelah itu semua pekerjaan dapat dilakukan menggunakan spesifikasi yang telah diuji tanpa perlu mengacu pada kode.
Mesin Virtual CertiK (CVM)
CVM menyediakan kontrak pintar dan informasi keamanan blockchain untuk kode mesin virtual, membuka berbagai pilihan:
- perkiraan;
- Cek;
- kecanduan;
- secara dinamis membangun keamanan blockchain dan kontrak pintar.
Laut Dalam
Bahasa pemrograman DeepSEA digunakan untuk membuat grafik kontrak pintar, sekaligus memungkinkan pemrosesan kode yang paling rumit sekalipun, memverifikasinya menggunakan alat bukti Coq.
Bahasa ini adalah solusi optimal yang membantu menggabungkan kontrak pintar dan Coq untuk memanfaatkan verifikasi pada masalah dengan komplikasi apa pun. Empat prinsip utama DeepSEA adalah: penalaran persamaan (menerjemahkan setiap komponen ke dalam spesifikasi fungsional yang sesuai), spesifikasi berbasis lapisan, penyempurnaan abstrak terintegrasi untuk menyusun masalah kompleks ke dalam langkah-langkah terpisah, dan enkapsulasi dan konstitusi untuk memverifikasi kebenaran lapisan pertama. sekaligus.
Perisai Sertifikat
Alat baru yang dirancang sebagai solusi terdesentralisasi untuk memulihkan aset mata uang kripto yang hilang atau dicuri akibat masalah keamanan pada jaringan blockchain mana pun. Oracles mengevaluasi keamanan secara real-time, setelah itu peserta dalam jaringan terdesentralisasi dapat memberikan jaminan, menerima hadiah, dan memberikan suara pada proposal mengenai perlindungan komunitas blockchain.
DeepWallet untuk CertiK (CTK)
Dapat dicapai melalui browser web, DeepWallet memungkinkan:
- melihat saldo token CertiK (CTK);
- mengirim dan menerima token;
- menggunakan sistem delegasi penghargaan.
Tidak seperti banyak dompet tradisional, DeepWallet memiliki fitur-fitur canggih tambahan yang memungkinkan pengguna mendelegasikan kepemilikan, seperti menerapkan kontrak pintar mereka sendiri.
Token CTK dan Penerimaan di Binance Launchpool
Token Utilitas Platform CertiK (CTK) yang aman secara kriptografis bertindak sebagai frasa yang dapat ditransfer dari fungsi yang ditentukan dalam protokol platform. Ini memainkan peran penting dalam berfungsinya seluruh ekosistem dan merupakan satu-satunya token utilitas proyek.
Fitur Token CTK:
- Metode pembayaran dan penyelesaian yang aman antar peserta.
- Insentif disimpan untuk mendorong pengguna berkontribusi dan mendukung ekosistem.
- Pembayaran biaya gas untuk memberi insentif kepada komunitas node yang terdesentralisasi untuk menyediakan sumber daya guna mengonfirmasi transaksi (staking).
- Token utilitas yang dapat digunakan sebagai jaminan untuk kumpulan.
Total emisi – 100.000.000 CTKdari mana Launchpool akan didistribusikan 1 500 000 (1,5%)yaitu:
- 1,050,000 CTK tanpa pool de BNB
- 225.000 CTK dikumpulkan BUSD
- 225.000 CTK tanpa pool CTK
Tanggal mulai Peternakan adalah 23 Oktober (untuk kumpulan CTK, 27 Oktober). Tanggal berakhir 8 November. Verifikasi akun tidak diperlukan untuk berpartisipasi.
Cukup setorkan sumber daya ke salah satu kumpulan yang diusulkan dan tunggu hingga distribusi selesai. Misalnya untuk BNB nilai kumpulan minimum 0,1 BNB:
Keuntungan dan kerugian
Kesimpulan
Saat ini, sebagian dari ekosistem CertiK sudah beroperasi, kemitraan dan integrasi sedang dilakukan secara aktif. Rencananya termasuk memperkenalkan sistem hadiah token CTK untuk penyedia agunan, mengadakan hackathon skala besar, bermitra dengan CoinMarketCap dan agregator lainnya. Semua ini, jika diterapkan dengan benar, akan berkontribusi pada pengembangan proyek.