Apa itu CertiK,Shentu Chain (aka. CertiKChain) CTK coin adalah

Apa itu CertiK, CTK coin ?

CertiK, CTK adalah bahan bakar utilitas digital asli Shentu Chain, yang berfungsi sebagai utilitas inti untuk fungsionalitas on-chain seperti mengoperasikan sistem Security Oracle dan ShentuShield, membayar konsumsi gas Shentu Chain, dan memberikan suara untuk keputusan tata kelola dalam jaringan.

CertiK,Shentu Chain (aka. CertiKChain) CTK coin

Apa itu Shentu Chain?

Shentu Chain, blockchain proof-of-stake yang didelegasikan dan mengutamakan keamanan, untuk eksekusi aplikasi penting yang dapat dipercaya, termasuk DeFi, NFT, dan kendaraan otonom. Shentu Chain memprioritaskan kompatibilitas lintas rantai, dibangun sebagai Cosmos Hub dengan kompatibilitas penuh EVM dan Hyperledger Burrow, serta kompatibilitas dengan eWASM dan AntChain Ant Financial.

Di seluruh protokol, proyek blockchain dapat menerima wawasan keamanan dengan Oracle Keamanan, yang menyediakan penjaga transaksi on-chain secara real-time, mengidentifikasi dan menandai berbagai kerentanan berbahaya sebelum terjadi.

Bergantung pada tingkat skor keamanan, proyek blockchain yang diaudit dari protokol apa pun mungkin memenuhi syarat untuk keanggotaan ShentuShield, yang merupakan sistem penggantian yang fleksibel dan terdesentralisasi untuk setiap aset kripto yang hilang atau dicuri karena masalah keamanan. Keanggotaan ShentuShield terbuka untuk semua anggota komunitas dari proyek-proyek blockchain yang memenuhi syarat ini, menyediakan jaring pengaman bagi pemegang aset kripto jika terjadi sesuatu yang tidak terduga.

Baca Juga : Apa itu Certik Audit

Secara asli, proyek dapat dikodekan dalam DeepSEA, bahasa pemrograman yang sangat aman yang didukung oleh Ethereum Foundation, Qtum Foundation, dan IBM. DeepSEA bekerja langsung dengan Shentu Virtual Machine (SVM), yang sepenuhnya kompatibel dengan EVM. SVM secara inovatif mengekspos kontrak cerdas dan informasi keamanan blockchain, memungkinkan cara yang belum pernah terjadi sebelumnya untuk mengakses, memeriksa, dan memasukkan risiko ke dalam keputusan kontrak cerdas.

Apa itu Security Oracle?

Oracle Keamanan dibentuk oleh jaringan operator terdesentralisasi yang menggunakan teknologi keamanan terdepan di industri untuk mengevaluasi keandalan kontrak pintar yang sangat penting, seperti yang digunakan di DeFi. Sebagai imbalan atas skor waktu nyata yang dapat diperbarui ini, operator ini menerima hadiah CTK. Oracle Keamanan dapat dioperasikan dengan protokol apa pun, memungkinkan penggunanya untuk membuat keputusan yang terdidik sebelum berinteraksi dengan kontrak pintar. Kontrak pintar yang terintegrasi dengan Keamanan Oracle dapat menandai dan mencegah terjadinya transaksi berbahaya, mencegah situasi kehilangan aset kripto. Informasi lebih lanjut tersedia di sini.

Apa itu ShentuShield?

ShentuShield adalah sistem keanggotaan terdesentralisasi untuk memungkinkan penggantian mata uang kripto yang hilang atau dicuri dari protokol apa pun. Keputusan penggantian sepenuhnya dibuat atas kebijaksanaan anggota ShentuShield, yang mungkin merupakan proyek blockchain atau pendukung komunitas individu. Anggota dapat berpartisipasi dengan menyumbangkan agunan mereka sendiri sebagai Penyedia Jaminan, membeli perlindungan untuk kripto mereka sebagai Pembeli Perisai, atau keduanya.

Penyedia Jaminan mendapatkan imbalan taruhan pada CTK taruhan mereka, sementara juga mendapatkan bagian dari biaya yang disumbangkan oleh Pembeli Perisai. Pembeli Perisai mencadangkan dana dari Pool untuk digunakan sebagai penggantian untuk aset kripto mereka sendiri, membayar biaya dalam CTK yang langsung masuk ke Penyedia Jaminan. Daftar klien yang diaudit dan dapat dilihat publik dapat ditemukan di sini.

Apa itu DeepSEA?

DeepSEA adalah bahasa pemrograman yang aman dan toolchain compiler yang kompatibel dengan SVM, EVM, eWASM, dan AntChain Ant Financial. DeepSEA telah dianugerahi hibah penelitian dari Ethereum, IBM-Columbia, dan Qtum untuk memajukan bahasa pemrogramannya yang sangat aman.

Saat coding di DeepSEA, bukti matematis dihasilkan secara otomatis untuk membuktikan keselarasan antara spesifikasi yang dimaksudkan dan kode yang sebenarnya, memungkinkan verifikasi formal dan kebenaran yang lebih mendalam.

Apa itu Mesin Virtual Shentu (SVM)?

Meskipun sepenuhnya kompatibel dengan EVM, SVM telah dirancang untuk mengikuti VM universal terkemuka yang ditemukan di komputer di seluruh dunia, model proses OS x86–64, dengan kemungkinan ekstensi ke arm64 di masa mendatang.

SVM memungkinkan parameter keamanan on-chain untuk memungkinkan kontrak pintar berinteraksi secara berbeda satu sama lain sesuai dengan toleransi risikonya. Selain itu, SVM dirancang untuk mendukung kotak pasir kontrak cerdas, mengisolasi pengoperasian kontrak cerdas (terutama yang belum diamankan) dari sistem lainnya.

Berdayakan Orang untuk Percaya pada Blockchain

Apa Misi Shentu Chain ?

Misi Shentu Chain adalah untuk memberdayakan orang agar percaya pada blockchain. Dengan memanfaatkan teknologi dan teknik mutakhir untuk membuktikan kepercayaan dalam sistem yang mendasarinya, Rantai Shentu bertujuan untuk meningkatkan standar keamanan dan kepercayaan dalam blockchain. Didirikan oleh profesor ilmu komputer yang terkenal, Shentu Chain telah memanfaatkan penelitian terobosan timnya untuk membangun blockchain pertama di dunia yang mengutamakan keamanan, yang bergantung pada token utilitas kriptografi digital asli yang diamankan, CTK. Rantai Shentu telah mendukung pengembangan rangkaian teknologi dan alat yang kuat untuk memastikan bahwa keamanan dan kebenaran dipertahankan di setiap fase siklus hidup blockchain, dari pengembangan awal hingga penggunaan langsung.

Ekosistem Shentu diharapkan dapat memberikan solusi keamanan ujung ke ujung untuk blockchain, aplikasi terdesentralisasi, dan aplikasi perangkat lunak penting lainnya. Sementara komponen ekosistem Shentu berintegrasi secara asli dengan Rantai Shentu, Rantai Shentu percaya pada jembatan kolaboratif silang dengan blockchain lain, karena keamanan tidak boleh menjadi pilihan, tetapi suatu keharusan. Dengan teknologi dan teknik terobosan untuk membuktikan keamanan dan kebenaran on-chain, Rantai Shentu bertujuan untuk menyediakan infrastruktur kepercayaan yang dapat dibuktikan untuk semua.

Sejak munculnya sistem uang elektronik peer-to-peer Satoshi Nakamoto, yang disebut Bitcoin, dunia digital telah melihat banyak inovasi yang mendorong alternatif desentralisasi tanpa kepercayaan ke dunia terpusat saat ini. Beberapa tahun terakhir telah menyaksikan evolusi konstan, dari protokol konsensus baru yang menyaingi proof-of-work, hingga platform yang meningkatkan skalabilitas untuk aplikasi kontrak pintar, hingga protokol yang menggunakan sertifikat bukti untuk mengaktifkan privasi sambil mempertahankan kepercayaan.

Visi dunia yang tidak dapat dipercaya dan terdesentralisasi tentu saja telah membuka pintu untuk beragam kemungkinan, tetapi keuntungan dari kepemilikan aset virtual yang sepenuhnya berdaulat juga disertai dengan risiko baru. Potongan properti moneter yang terdesentralisasi ini mengharuskan pemiliknya bertanggung jawab penuh untuk menjaga aset. Kerentanan bisnis dan teknis, baik karena salah menaruhnya secara tidak sengaja atau dari peretasan berbahaya, dapat menyebabkan hilangnya dana digital yang permanen dan tidak dapat dipulihkan.

Sebagai konsekuensi dari kenaikan nilai yang cepat di seluruh industri yang baru lahir ini, peretas telah memangsa kode yang tidak aman dan model ekonomi yang belum teruji. Lebih dari $4 miliar dicuri pada tahun 2019, dengan serangan yang tampaknya berkembang secepat pendekatan keamanan yang mendasarinya. Bahkan ketika proyek mengambil pendekatan yang lebih serius untuk mempertahankan diri dari manipulasi yang diketahui, peretas telah membalas dengan menggali vektor serangan baru dan menggunakan manipulasi multi-tahap.

Berbeda dari sistem komputasi terdistribusi tradisional, infrastruktur blockchain dan logika aplikasi sangat transparan bagi peretas, seringkali sepenuhnya bersumber terbuka dan tidak dapat diubah setelah penerapan. Ini membuatnya sangat sulit untuk menjaga keamanan aset digital yang terus-menerus, karena transparansi kode memberi peretas taman bermain petunjuk dan lubang. Sejalan dengan laju pertumbuhan nilai aset digital yang belum pernah terjadi sebelumnya ini, frekuensi serangan digital dan gangguan yang tidak diinginkan juga meningkat secara eksponensial. Agar blockchain dapat diadopsi dan dipertahankan, sangat penting bahwa keamanan dan mungkin yang lebih penting lagi, kebenaran artefak blockchain (baik infrastruktur dan logika aplikasi), dapat dipercaya.

Desentralisasi adalah salah satu motivasi utama sistem blockchain, dibandingkan dengan sistem komputer terdistribusi tradisional. Untuk mewujudkan visi desentralisasi sepenuhnya, keamanan blockchain juga harus didesentralisasi. Sayangnya, hari ini ini tidak benar. Analisis keamanan blockchain yang ada dilakukan dalam proses terpusat melalui beberapa auditor keamanan. Setelah audit, banyak proyek, bersama dengan komunitasnya, memberi sinyal keamanan dan kebenaran mereka dengan menunjukkan bahwa mereka telah menjalani audit. Namun, hanya sedikit pengguna yang meluangkan waktu, atau memiliki kemampuan, untuk menyelidiki secara independen apakah kode tersebut benar-benar aman dan benar; sebaliknya, mereka percaya pada proses terpusat.

Saat ini, keamanan blockchain memiliki keterbatasan karena keamanan diperlakukan sebagai properti off-chain blockchain. Ketika kontrak pintar telah berhasil diaudit atau diverifikasi, analisis keamanannya tetap berada di luar rantai, biasanya dalam bentuk laporan audit terperinci. Seperti berdiri, analisis keamanan hanya dapat digunakan secara tidak langsung; semua kontrak pintar, apakah aman atau tidak, berjalan dengan cara yang sama di blockchain tanpa diferensiasi atau perlindungan apa pun. Pengguna diharapkan untuk melakukan penelitian mendalam mereka sendiri apakah kontrak pintar telah diaudit, oleh siapa, dan dalam kapasitas apa. Sementara itu, kontrak pintar yang sangat berisiko masih aktif dan dapat berinteraksi dengan kontrak pintar lain dengan keandalan yang tidak diketahui. Seperti yang ditunjukkan oleh peretasan DeFi, bagian dunia DeFi yang selalu berubah dapat menyebabkan kerugian besar, karena jaringan interaksi yang kompleks dapat membuat kesalahan yang tidak diinginkan bahkan pada kontrak pintar yang diaudit. Shentu sangat percaya bahwa intelijen keamanan harus dapat diakses secara real-time dan on-chain, bukan off-chain, sehingga mereka membawa dimensi nilai tambah baru ke dunia blockchain dengan memungkinkan kontrak pintar dan eksekusi rantai untuk membangun, memvalidasi secara dinamis , dan membedakan tingkat keamanan rekan-rekan mereka.

Tujuan Shentu Chain adalah menjadi infrastruktur kepercayaan yang dapat dibuktikan untuk semua. Selain rangkaian teknologi keamanan canggih yang diadopsi oleh Shentu Chain untuk membangun keamanan dan kebenarannya sendiri, blockchain berfungsi sebagai platform untuk digunakan oleh semua orang yang mencari jaminan yang sama. Untuk ekonomi dan kinerja, Chain menggunakan protokol konsensus Delegated Proof-of-Stake (DPoS). Untuk aksesibilitas, Chain menggunakan kerangka kerja Cosmos yang modular dan ramah antar-rantai dan memiliki mesin virtual yang sepenuhnya kompatibel dengan EVM. Untuk desentralisasi keamanan, Chain memiliki oracle keamanan terdesentralisasi bawaan untuk mencegah serangan keamanan secara real-time. Untuk mitigasi tingkat rantai dan perlindungan aset digital terhadap masalah keamanan, Rantai memiliki kumpulan aset terdesentralisasi bawaan untuk kehilangan kripto.

Keamanan Di Seluruh Siklus Hidup Proyek
Untuk melindungi dari berbagai kerentanan yang mungkin muncul sepanjang siklus hidup proyek blockchain, Rantai Shentu telah mengembangkan serangkaian pertahanan untuk setiap tahap.

Pra-Pengembangan
Risiko proyek dimulai bahkan sebelum kode sumber dikembangkan. Spesifikasi proyek yang dimaksudkan berfungsi sebagai rubrik bagaimana menulis kode “dengan benar.” Dalam banyak kasus, meskipun kode ditulis dengan aman, spesifikasi awal tidak terpenuhi, sehingga program mungkin tidak berfungsi sebagaimana mestinya. Proses Verifikasi Formal yang intensif secara matematis yang dilakukan oleh tim Shentu selama beberapa dekade melalui penelitian peer-review, membuktikan apakah kode sumber dikembangkan agar sesuai dengan spesifikasi yang diinginkan.

Perkembangan
Rantai alat DeepSEA, yang dikembangkan oleh tim Shentu dengan dukungan dari Yayasan Ethereum, Columbia-IBM dan Yayasan Qtum, menyediakan pengembang dengan bahasa dan kompiler yang aman secara inheren untuk membuktikan kebenaran saat menulis kode. Bahasa pemrograman fungsional ini memungkinkan kode sumber ditulis dengan aman dan benar, secara otomatis membandingkan dengan spesifikasi yang dimaksudkan sambil juga dikompilasi dengan benar ke tingkat bytecode.

Pasca-Pengembangan
Audit keamanan profesional telah menjadi cara yang efektif untuk mengidentifikasi kerentanan sebelum penerapan kode. Sebelum kode sumber terbuka dirilis ke publik, audit keamanan memungkinkan auditor pihak ketiga untuk menguji keandalan dan ketahanan kode. Steam Shentu telah mengamankan aset digital senilai lebih dari $8 miliar di seluruh perusahaan tradisional bersama dengan blockchain, terutama di sektor DeFi yang sedang booming. Pertukaran terkemuka, termasuk Binance, Huobi, Liquid, dan Coinone, telah memilih untuk bermitra dengan keahlian Shentu untuk mengaudit proyek blockchain sebelum mengizinkan mereka untuk mendaftar di bursa mereka.

informasi tambahan:
Klien dan mitra terkemuka termasuk perusahaan seperti Hyundai dan Ant Financial, dan proyek blockchain seperti iEarn Finance (sekarang yEarn Finance), Ampleforth, AAVE, Band Protocol, Bitcoin.com, Binance Coin, Crypto.com, Kava, Terra, ThorChain, ICON, Matic, Swipe, Reserve, Paxos, TrueUSD, Universal Protocol, dan ratusan proyek top lainnya.

Bacaan Tambahan:

• Membangun Kernel OS Bersamaan Bersertifikat (Komunikasi ACM, Sept. 2019)
• Lapisan Abstraksi Konkuren Bersertifikat (PLDI ’18, Juni 2018)
• Spesifikasi Mendalam dan Lapisan Abstraksi Bersertifikat (POPL’15, Jan. 2015).

Penggunaan Waktu Nyata
Shentu Chain memungkinkan sistem Oracle Keamanan terdesentralisasi yang menyediakan analisis runtime dari keamanan kontrak pintar langsung. Sementara audit keamanan profesional memainkan peran penting yang tidak diragukan lagi dalam mengidentifikasi kerentanan, hasil keamanan didasarkan pada cuplikan kode tertentu dan dilaporkan dalam dokumen teks kecerdasan ini tidak dapat digunakan pada saat yang paling dibutuhkan: segera sebelum transaksi diajukan. Banyak proyek blockchain memiliki sumber daya untuk mendapatkan dan membayar audit pihak ketiga, tetapi dalam DeFi, ada tren proyek pseudo-anonim yang mendapatkan pengguna komunitas, meskipun pembuatnya menyebutkan bahwa tidak ada audit profesional yang dilakukan. Untuk contoh ini, pengguna dapat menggunakan Oracle Keamanan terdesentralisasi Shentu untuk secara langsung meminta analisis keamanan terperinci dari kontrak pintar tanpa bergantung pada pembuat kontrak.

Perlindungan dari Kerugian Tak Terduga
Sementara rangkaian pertahanan yang ditawarkan Shentu dapat secara substansial menghilangkan risiko kode yang tidak berfungsi dan serangan berbahaya, tidak mungkin untuk benar-benar aman. Peretas menjaga denyut aktif ekosistem dan terus merancang cara-cara kreatif untuk memanipulasi orang dan program. Untuk membantu manajemen risiko individual, Shentu juga mengusulkan pembuatan sistem ShentuShield, yang diharapkan memberikan kumpulan dana komunitas yang terdesentralisasi dan sepenuhnya fleksibel yang memanfaatkan pemungutan suara dan ekonomi unik Rantai Shentu untuk memungkinkan penggantian dana untuk setiap dana yang hilang, dicuri, dibekukan, atau tidak dapat diakses. CTK berada di pusat sistem ini sebagai mata uang platform, memberi penghargaan kepada anggota dengan hadiah taruhan di CTK saat mereka mempertaruhkan dana mereka ke berbagai ShentuShield Pools. Jika terjadi kerugian, CTK juga akan dibayarkan dari pool yang bersangkutan kepada anggota yang mengalami kerugian. Alternatif asuransi ini dapat memberikan ketenangan pikiran dan mitigasi risiko jika terjadi kerugian yang tidak terduga.

Koin CTK dan Model Ekonomi

Token utilitas asli yang diamankan secara kriptografis digital dari Platform Shentu (CTK) adalah representasi yang dapat ditransfer dari fungsi yang dikaitkan yang ditentukan dalam protokol/kode Platform Shentu, yang dirancang untuk memainkan peran utama dalam fungsi ekosistem di Shentu Platform dan dimaksudkan untuk digunakan semata-mata sebagai token utilitas utama pada platform.

CTK adalah token utilitas fungsional yang tidak dapat dikembalikan yang akan digunakan sebagai media pertukaran antar peserta di Platform Shentu. Tujuan memperkenalkan CTK adalah untuk menyediakan cara pembayaran dan penyelesaian yang nyaman dan aman antara peserta yang berinteraksi dalam ekosistem di Platform Shentu Shentu, dan ini bukan, dan tidak dimaksudkan untuk menjadi, media pertukaran yang diterima oleh publik ( atau sebagian masyarakat) sebagai pembayaran untuk barang atau jasa atau untuk pelunasan utang; juga tidak dirancang atau dimaksudkan untuk digunakan oleh siapa pun sebagai pembayaran atas barang atau jasa apa pun yang tidak disediakan secara eksklusif oleh penerbit.

CTK dengan cara apa pun tidak mewakili kepemilikan saham, partisipasi, hak, kepemilikan, atau kepentingan apa pun dalam Rantai, Distributor, afiliasinya masing-masing, atau perusahaan, perusahaan, atau usaha lain mana pun, dan CTK juga tidak akan memberikan hak kepada pemegang token untuk janji biaya apa pun, dividen, pendapatan, laba atau hasil investasi, dan tidak dimaksudkan sebagai sekuritas di Singapura atau yurisdiksi terkait lainnya. CTK hanya dapat digunakan di Platform Shentu, dan kepemilikan CTK tidak memiliki hak, tersurat maupun tersirat, selain hak untuk menggunakan CTK sebagai sarana untuk memungkinkan penggunaan dan interaksi dalam Platform Shentu.

CTK juga berfungsi sebagai insentif ekonomi yang akan dikonsumsi untuk mendorong pengguna berkontribusi dan menjaga ekosistem di Platform Shentu, sehingga menciptakan sistem win-win di mana setiap peserta diberi kompensasi yang adil atas usahanya. CTK merupakan bagian integral dan tak terpisahkan dari Platform Shentu, karena tanpa CTK, tidak akan ada insentif bagi pengguna untuk mengeluarkan sumber daya untuk berpartisipasi dalam aktivitas atau menyediakan layanan untuk kepentingan seluruh ekosistem di Platform Shentu.

Pengguna Platform Shentu dan/atau pemegang CTK yang tidak berpartisipasi secara aktif tidak akan menerima insentif CTK apa pun. CTK dirancang untuk dikonsumsi/dimanfaatkan, dan itulah tujuan dari penjualan token CTK. Faktanya, proyek untuk mengembangkan Platform Shentu akan gagal jika semua pemegang CTK hanya memegang CTK mereka dan tidak melakukan apa-apa dengannya.

Untuk Shentu Chain, CTK digunakan untuk membayar biaya gas, yang diperlukan untuk memberi insentif kepada komunitas node yang terdesentralisasi untuk menyediakan sumber daya untuk memvalidasi transaksi. Sebagai protokol proof-of-stake berdasarkan arsitektur Tendermint PoS, Shentu Chain memberikan hadiah staking ke CTK yang terikat pada node validator. Imbalan taruhan ini digunakan untuk memberi insentif pada jaringan node validator ketersediaan tinggi yang aman untuk menyediakan sumber daya komputasi yang memperkuat keamanan seluruh blockchain.

Oracle Keamanan Terdesentralisasi Shentu Chain adalah dApp inti yang membutuhkan CTK untuk berfungsi. Untuk mengambil analisis keamanan dari Oracle Keamanan yang terdesentralisasi, CTK diperlukan sebagai insentif. CTK diberikan kepada pihak yang pada akhirnya menyediakan analisis keamanan, memungkinkan sistem penyelidik keamanan yang transparan dan kompetitif melalui ekonomi CTK.

Untuk ShentuShield Pools, yang merupakan dana terdesentralisasi yang digunakan untuk mengganti aset yang hilang dalam ekosistem blockchain, CTK berfungsi sebagai token utilitas yang dapat dipertaruhkan sebagai dana untuk pool. Selain staking normal, pemegang CTK dapat memilih untuk terlibat dalam “staking aktif”, atau mempertaruhkan CTK mereka sebagai jaminan ke salah satu Pool ShentuShield dengan imbalan hadiah staking yang lebih tinggi. Taruhan aktif memberikan opsi risiko yang lebih tinggi, namun imbalan yang lebih tinggi; CTK yang dipertaruhkan peserta digunakan sebagai jaminan untuk membayar klaim yang disetujui, tetapi juga menerima sebagian dari biaya yang dibayarkan oleh pembeli perlindungan ini.

Dengan memasukkan CTK ke dalam Pool ShentuShield, para peserta secara otomatis menjadi anggota ekosistem ShentuShield, menerima hadiah biaya CTK di atas hadiah taruhan CTK normal mereka. Selain itu, semua anggota ShentuShield Pools memiliki kemampuan untuk memberikan suara pada keputusan tata kelola tertentu yang berkaitan dengan Rantai Shentu.

ShentuShield Pools dengan lebih sedikit pemangku kepentingan mungkin memiliki potensi hadiah yang lebih tinggi, karena pembayaran CTK dibagi di antara kelompok anggota yang lebih kecil. Ini mendorong kumpulan yang lebih kecil untuk tumbuh, memungkinkan perlindungan masyarakat di seluruh proyek dari semua ukuran dan risiko. Ini membentuk sistem penawaran dan permintaan yang diharapkan memberikan ruang dengan perlindungan dan nilai yang lebih besar.

CTK adalah media pertukaran untuk mendanai kumpulan, membayar biaya, mendapatkan imbalan, dan membeli perlindungan, menyediakan fungsi utilitas integral untuk sistem.

Secara khusus, digarisbawahi bahwa CTK:

1. tidak memiliki manifestasi fisik atau berwujud, dan tidak memiliki nilai intrinsik apa pun (juga tidak ada orang yang membuat representasi atau memberikan komitmen apa pun tentang nilainya);
2. tidak dapat dikembalikan dan tidak dapat ditukar dengan uang tunai (atau nilai yang setara dalam mata uang virtual lainnya) atau kewajiban pembayaran apa pun oleh Rantai, Distributor, atau afiliasinya masing-masing;
3. tidak mewakili atau memberikan kepada pemegang token hak dalam bentuk apa pun sehubungan dengan Yayasan, Distributor (atau afiliasinya masing-masing), atau pendapatan atau asetnya, termasuk namun tidak terbatas pada hak untuk menerima dividen di masa mendatang, pendapatan, saham, hak kepemilikan atau saham, saham atau sekuritas, pemungutan suara, distribusi, penebusan, likuidasi, kepemilikan (termasuk semua bentuk kekayaan intelektual atau hak lisensi), hak untuk menerima rekening, laporan keuangan atau data keuangan lainnya, hak untuk meminta atau berpartisipasi dalam rapat pemegang saham, hak untuk mencalonkan direktur, atau hak keuangan atau hukum lainnya atau hak yang setara, atau hak kekayaan intelektual atau bentuk partisipasi lainnya dalam atau terkait dengan Platform Shentu, Yayasan, Distributor dan/atau penyedia layanan mereka;
4. tidak dimaksudkan untuk mewakili hak apa pun di bawah kontrak untuk perbedaan atau di bawah kontrak lain apa pun yang tujuan atau tujuan pura-puranya adalah untuk mengamankan keuntungan atau menghindari kerugian;
5. tidak dimaksudkan sebagai representasi uang (termasuk uang elektronik), sekuritas, komoditas, obligasi, instrumen utang, unit dalam skema investasi kolektif atau instrumen atau investasi keuangan lainnya;
6. bukan merupakan pinjaman kepada Yayasan, Distributor atau afiliasinya masing-masing, tidak dimaksudkan untuk mewakili hutang Yayasan, Distributor atau afiliasinya masing-masing, dan tidak ada ekspektasi keuntungan; dan
7. tidak memberi pemegang token kepemilikan atau kepentingan lain apa pun di Yayasan, Distributor, atau afiliasinya masing-masing.

Kontribusi dalam penjualan token akan dipegang oleh Distributor (atau afiliasinya masing-masing) setelah penjualan token, dan kontributor tidak akan memiliki hak ekonomi atau hukum atas atau kepentingan menguntungkan dalam kontribusi ini atau aset entitas tersebut setelah penjualan token. Sejauh pasar sekunder atau pertukaran untuk perdagangan CTK berkembang, itu akan dijalankan dan dioperasikan sepenuhnya secara independen dari Yayasan, Distributor, penjualan CTK, dan Platform Shentu. Baik Rantai maupun Distributor tidak akan menciptakan pasar sekunder tersebut atau entitas mana pun tidak akan bertindak sebagai pertukaran untuk CTK.

Oracle Keamanan Shentu

Ringkasan
Oracle Blockchain memainkan peran penting dalam menghubungkan data off-chain agar dapat digunakan on-chain oleh kontrak pintar. Sistem seperti keuangan terdesentralisasi (DeFi) mengandalkan oracle untuk menyampaikan data seperti harga token, tetapi oracle ini biasanya menyampaikan umpan data yang relatif mudah. Dari perspektif keamanan, informasi tentang keandalan kontrak pintar akan sangat penting untuk diketahui sebelum berinteraksi dengan kode, tetapi informasi ini hidup dalam laporan audit yang terletak di luar rantai. Oracle Keamanan Shentu bertujuan untuk menguraikan laporan audit yang kompleks menjadi primitif keamanan yang lebih kecil, yang sudah tersedia untuk dipanggil secara on-chain untuk memverifikasi keamanan kontrak pintar secara real-time. Skor Oracle Keamanan ini dinamis, menanyakan primitif keamanan terbaru dan tes untuk menggabungkan skor dan menghasilkan wawasan tentang keandalan kode yang mendasarinya.

Selain itu, Oracle Keamanan Shentu dapat digunakan untuk mengajukan permintaan tentang kontrak pintar yang tidak diaudit. Permintaan tersebut diteruskan ke grup operator keamanan terdesentralisasi, yang bersaing untuk mendapatkan biaya transaksi CTK. Shentu Oracle Combinator menggabungkan berbagai hasil dari setiap operator ke dalam skor yang tersedia secara on-chain. Biaya transaksi dibagi di antara setiap operator yang menyumbangkan primitif keamanan untuk permintaan tersebut.

Dengan memanggil Oracle Keamanan Shentu untuk mengambil intelijen keamanan, pengguna dapat membuat keputusan yang lebih baik mengenai potensi transaksi dan permintaan eksternal mereka. Sistem informasi terdesentralisasi ini memungkinkan komunitas, seperti mereka yang terlibat dalam ekosistem DeFi yang sedang berkembang pesat, dengan kekuatan untuk melakukan pemeriksaan keamanan waktu nyata. Dalam semangat desentralisasi penuh, evolusi ini mendesentralisasikan intelijen keamanan dari segelintir auditor keamanan ke seluruh komunitas blockchain agar dapat diakses secara on-chain sesuai permintaan.

Kasus Penggunaan DeFi
Oracle Keamanan Shentu dirancang agar sangat mudah diintegrasikan, hanya membutuhkan beberapa baris kode dalam kontrak pintar. Oracle Keamanan ini hidup secara native di blockchain yang diminta, jadi misalnya, jika pengguna ingin meminta intelijen keamanan pada kontrak pintar Ethereum, dia akan berinteraksi langsung dengan Oracle Keamanan Shentu yang dibangun di Ethereum.

Permintaan yang diselesaikan menghasilkan skor keamanan, diambil melalui upaya terdesentralisasi dari operator keamanan di Rantai Shentu. Tanpa harus benar-benar paham secara teknis atau menghabiskan terlalu banyak waktu, pengguna DeFi dapat dengan cepat mendapatkan metrik yang mewakili keamanan. Tentu saja, skor ini tidak dimaksudkan untuk menggantikan proses uji tuntas, tetapi dapat memberikan heuristik cepat untuk mengukur keamanan kontrak pintar apa pun.

Di DeFi, menjadi semakin populer untuk kontrak pintar yang tidak diaudit untuk dirilis secara pseudo-anonim, dan sementara komunitas memahami risikonya, mereka terus menerima risiko tinggi untuk imbalan tinggi. Kontrak ini tidak diaudit karena biasanya dianggap sebagai tanggung jawab pembuat kontrak untuk meminta audit, tetapi dalam kasus ini, pembuatnya memilih untuk tidak melakukannya. Oracle Keamanan Shentu mendesentralisasikan tanggung jawab melakukan analisis keamanan dan sebagai gantinya memberikan kekuatan kepada orang-orang untuk meminta intelijen keamanan sendiri.

Di bawah, cuplikan kode menjelaskan skenario di mana kontrak cerdas memeriksa skor keamanan saat mencoba melakukan panggilan fungsi eksternal. Dalam hal ini, ini akan kembali ketika skor real-time yang diambil tidak memenuhi ambang batas yang diperlukan. Penerapan peningkatan ketekunan ini dapat membantu mencegah transaksi dan manipulasi yang tidak aman sebelum transaksi terjadi, mencegah kerugian yang tidak terduga.

Oracle Keamanan Shentu dibangun untuk memecahkan masalah keamanan dengan menjembatani kesenjangan antara transaksi on-chain dan pemeriksaan keamanan waktu nyata melalui pendekatan terdesentralisasi. Dengan mengadopsi solusi inovatif dan praktis ini, proyek DeFi dapat memperoleh perlindungan keamanan dan kecerdasan yang lebih besar sebelum melakukan transaksi potensial. Dengan karakteristik terdesentralisasi dan terdistribusi, Oracle Keamanan Shentu dapat membantu menjembatani teknologi keamanan on-chain untuk memungkinkan pengambilan keputusan yang lebih aman di dalam blockchain.

Sorotan Teknis
Arsitektur Oracle Keamanan
Untuk menjembatani proyek DeFi yang berharga dengan kecerdasan keamanan yang ditingkatkan yang disumbangkan oleh Shentu Chain serta perusahaan dan komunitas perangkat lunak keamanan terkemuka, kami menguraikan Oracle Keamanan Terdesentralisasi kami menjadi empat area:

Rantai Bisnis: Platform blockchain yang ditargetkan (yang dapat mendukung fungsionalitas kontrak pintar) di mana Rantai Shentu menyediakan Oracle Keamanan, yaitu Ethereum.

Antarmuka Oracle Keamanan: Kontrak pintar berfungsi sebagai antarmuka untuk menerima pertanyaan keamanan dari aplikasi DeFi untuk panggilan transaksi mendatang yang perlu mereka lakukan. Jika penyelidikan tersebut tidak memiliki hasil atau hasil yang kedaluwarsa, maka tugas baru dapat disiarkan ke Rantai Shentu untuk dipenuhi.
Rantai Shentu: Blockchain yang mendasari ekosistem Shentu yang menawarkan komponen bawaan untuk memfasilitasi penanganan pertanyaan keamanan dari Rantai Bisnis. Shentu Chain sendiri dibayangkan sebagai Penjaga Galaxy Blockchain, dan menyediakan berbagai Combinator yang dirancang untuk memecahkan berbagai perspektif masalah keamanan.

Oracle Combinator: Kerangka kerja bawaan dari Shentu Chain yang memfasilitasi fungsionalitas untuk memenuhi alur kerja oracle umum dengan karakteristik desentralisasi dan transparansi. Pergerakan Oracle seperti manajemen tugas dan perhitungan agregasi hasil akan disiarkan ke Shentu Chain dan dicatat di negara bagian sebagai bukti. Dengan memiliki daftar aturan kritis dan bala bantuan yang diterapkan pada sistem, sistem dirancang untuk memberi penghargaan kepada aktor yang baik dan menghukum yang buruk.

Security Primitive: Penyedia Keamanan dipersilakan untuk mendaftarkan layanan on-chain atau endpoint API off-chain mereka sebagai Security Primitives dan kemudian untuk dipanggil oleh Operator Oracle. Security Primitives adalah beragam fungsi layanan yang menangani pertimbangan keamanan dari berbagai sudut. Ini adalah praktik terbaik untuk memiliki kombinasi Primitif Keamanan tertentu sehingga membuat penilaian terbaik atas skor keamanan dari alamat kontrak pintar yang diberikan dan tanda tangan fungsinya.
Cross-Chain: Komunikasi dan interaksi sangat penting untuk keberhasilan jaringan Oracle Keamanan. Komponen rantai silang diharapkan dapat dibangun dan dipelihara oleh anggota yang ditunjuk oleh komunitas Shentu yang lebih luas.

Operator Oracle: Setiap orang dapat mendaftar sebagai Operator Oracle di Rantai Shentu dan mulai berkontribusi ke seluruh jaringan. Secara teknis, Operator perlu menjalankan dan memelihara perangkat lunak yang berinteraksi dengan node Rantai Shentu. Setiap Operator bebas menggunakan infrastruktur mereka sendiri atau memanfaatkan tumpukan teknologi yang disediakan oleh Shentu Chain untuk orientasi yang lebih cepat.

Oracle Syncer: Oracle Syncer berlangganan event Security Oracle di Ethereum dan port ke Shentu Chain. Sebaliknya, ia juga berlangganan transaksi di Rantai Shentu dan mendorong hasil oracle ke Oracle Keamanan di Ethereum.
Internet Offchain: Ini adalah dasar Web2.0 tradisional di mana operasi komputasi seperti pemindaian keamanan dan analisis terjadi. Alat akan diberikan kepada Operator Oracle untuk mendukung protokol komunikasi populer seperti HTTP/RPC untuk terhubung dengan Primitif Keamanan tersebut untuk mengakses wawasan keamanan dan teknologi eksklusif.

Alur Kerja Oracle Keamanan
Misi dari Oracle Keamanan adalah untuk memberikan proyek DeFi wawasan (skor keamanan) tentang apakah panggilan transaksi potensial aman atau tidak, sehingga mendapatkan kepercayaan pada keputusan mengeluarkan transaksi semacam itu. Di sini kami menjelaskan langkah-langkah alur kerja melalui perspektif Rantai Bisnis dan Rantai Shentu yang ditargetkan.

Rantai Bisnis (yaitu Ethereum)

Kontrak DeFi membuat panggilan ke Oracle Keamanan untuk menanyakan transaksi yang akan datang dengan memberikan alamat kontrak dan offset tanda tangan fungsi;

Setelah menerima pertanyaan, Oracle Keamanan akan:

• Tanggapi kembali dengan wawasan jika catatan data tersebut telah dipantau dan dicatat;
• Karena ada sejumlah besar dependensi eksternal yang digunakan bersama oleh berbagai proyek DeFi, peluang untuk mencapai tabel hasil Oracle tinggi;
• Tanggapi kembali dengan skor default yang menunjukkan tidak ada saran saat ini;
• Di bawah tenda, pertanyaan tersebut dapat diubah menjadi tugas di Rantai Shentu dan diterima oleh sekelompok Operator Oracle, yang kemudian akan menjawab kembali hasil mereka;
• Kontrak DeFi menerima hasil untuk wawasan keamanan dan membuat langkah selanjutnya dengan wawasan yang lebih besar tentang keamanannya.

Rantai Shentu:

• Pengguna akhir mengirimkan tugas oracle, didanai dengan CTK, untuk wawasan keamanan yang ingin mereka miliki di Rantai Bisnis;
• Operator Oracle akan menerima tugas dengan berlangganan acara Shentu Chain;
• Untuk setiap Operator, ia akan meneruskan detail tugas ke Kombinasi Primitif yang disesuaikan untuk pemeriksaan keamanan waktu nyata;
• Setelah pembuatan skor keamanan, operator akan menanggapi tugas oracle dengan menyiarkan transaksi ke Rantai Shentu;
• Dengan ditutupnya jendela respons tugas, Oracle Combinator Shentu Chain akan mengumpulkan semua respons per tugas itu dan menggabungkannya dengan skor keamanan akhir;
• Karunia tugas akan diberikan kepada operator yang sesuai;
• Komponen jembatan lintas rantai kemudian akan mendorong skor keamanan akhir ke kontrak Oracle Keamanan di Rantai Bisnis.

ShentuPerisai
Ringkasan
Selama beberapa tahun terakhir, beberapa miliar dolar cryptocurrency telah hilang, dicuri, atau tidak dapat diakses. Sementara aktivitas jahat peretas merupakan salah satu penyebab jelas hilangnya aset, sebagian besar kerugian juga dikaitkan dengan malfungsi kode atau kesalahan manusia. Kerusakan kode dapat mencakup aset yang secara tidak sengaja dibekukan dalam kontrak yang tidak dapat diakses atau tidak dapat diambil kembali dalam DAO yang tidak dapat diatur. Kesalahan manusia dapat mencakup sesuatu yang sederhana seperti lupa kata sandi seseorang atau sesuatu yang tidak menguntungkan seperti Buku Besar yang rusak dalam kebakaran rumah atau kematian satu-satunya orang yang mungkin mengetahui lokasi kunci pribadi.

Dengan fungsionalitas cryptocurrency yang berdaulat sendiri, pemilik aset bertanggung jawab penuh untuk menanggung risiko keadaan ini yang menyebabkan kerugian; terkadang hal-hal dapat dicegah, tetapi di lain waktu, tidak. Untuk mengurangi beban bagi individu tertentu untuk mengambil tanggung jawab mutlak untuk mencegah kerugian ini, Shentu mengembangkan sistem ShentuShield Pool, yang memanfaatkan fitur pertaruhan, tata kelola, dan keamanan unik dari Rantai Shentu.

ShentuShield Pool adalah kumpulan CTK yang fleksibel dan terdesentralisasi yang menggunakan sistem tata kelola on-chain Shentu Chain untuk mengganti aset yang hilang, dicuri, atau tidak dapat diakses dari jaringan blockchain mana pun. ShentuShield Pools dimaksudkan untuk berfungsi sebagai dana komunitas diskresioner yang digunakan untuk melindungi anggotanya, yang mungkin memegang $ETH, $BNB, $USDT, atau aset kripto lainnya.

Jika terjadi kehilangan aset yang tidak dapat dipulihkan, seperti token yang dicuri atau hilang melalui peretasan kontrak pintar atau kontrak yang dibekukan, anggota Kelompok ShentuShield tertentu dapat mengajukan Proposal Klaim terperinci kepada anggota kumpulan lainnya, sehingga membuka periode pemungutan suara untuk komunitas untuk menentukan apakah penggantian itu tepat. Proses voting on-chain yang terdesentralisasi ini memungkinkan setiap anggota ShentuShield Pool untuk berpartisipasi aktif dalam menentukan skenario cakupan yang wajar, menciptakan model cakupan yang dinamis dan sepenuhnya fleksibel. Biaya pemesanan dana dari ShentuShield Pool untuk penggantian pribadi atas aset yang hilang akan langsung dikaitkan dengan skor Oracle Keamanan Shentu, dengan skor yang lebih rendah (yang mewakili lebih banyak risiko) yang memerlukan biaya perlindungan yang lebih tinggi.

Keanggotaan ke dalam sistem ShentuShield: Sistem ShentuShield
Sistem ShentuShield memiliki dua jenis Anggota, di mana proyek blockchain dan individu dapat menjadi:

Penyedia Jaminan: Anggota yang menyumbangkan cryptocurrency mereka (CTK atau crypto lain yang diterima) sebagai jaminan untuk mengisi Pool ShentuShield. Dana yang dijaminkan ini digunakan untuk membayar setiap permintaan penggantian yang disetujui, yang berarti ada risiko bahwa Penyedia Jaminan ini keluar dengan crypto yang lebih sedikit daripada yang mereka mulai. Sebagai hasil dari kontribusi agunan, Anggota ini memperoleh imbalan taruhan untuk CTK yang dipertaruhkan, serta sebagian dari biaya yang dibayarkan oleh Pembeli Perisai, yang mencari perlindungan.

Pembeli Perisai: Anggota yang mencari perlindungan untuk aset kripto mereka sendiri. Anggota ini harus memilih berapa banyak perlindungan yang mereka butuhkan untuk aset kripto mereka (disebut “Perisai”) dan membayar biaya yang langsung diberikan kepada Penyedia Jaminan yang telah menyumbangkan dana untuk reservasi. Dana yang digunakan sebagai agunan untuk Pembeli Perisai Perisai yang aktif tidak lagi dapat dicadangkan sampai Perisai kedaluwarsa, memungkinkan Pool untuk mempertahankan agunan penuh.

Manfaat untuk Proyek Blockchain dan Pemegangnya
ShentuShield Pools memberikan opsi perlindungan yang fleksibel bagi pendukung jaringan blockchain—melindungi baik proyek itu sendiri maupun komunitasnya. Karena jaringan blockchain sering berurusan dengan teknologi muda dan baru, pendukung awal mereka sering kali menanggung beban risiko. Sebaliknya, para pendukung awal itu harus diperlakukan sebagai kontributor paling berharga untuk proyek-proyek blockchain, bukan kelinci percobaan mereka. ShentuShield memungkinkan anggota untuk membentuk kumpulan dana diskresioner yang dapat digunakan sebagai penggantian jika ada masalah tak terduga yang terjadi pada pendukung mereka.

Untuk meminta penggantian, setiap anggota yang memenuhi syarat, baik dari proyek blockchain atau dari individu, harus menyerahkan Proposal Klaim dengan Biaya Pengajuan. Biaya Pengiriman ini digunakan untuk mencegah spamming dari permintaan yang tidak sah. Setelah Biaya Pengajuan dibayar dan Proposal Klaim dibuat secara menyeluruh, proses pemungutan suara terdesentralisasi dimulai di mana semua Anggota sistem ShentuShield dapat memilih untuk menerima atau menolak Proposal Klaim.

Agar ShentuShield Pool tetap aktif, proyek blockchain bertanggung jawab untuk membayar biaya berulang yang langsung masuk ke Anggota yang memberikan jaminan ke Pool (Penyedia Jaminan). Ini membuat insentif tetap selaras, karena proyek blockchain secara langsung memberi penghargaan kepada Anggota yang memberikan jaminan untuk mendukung perlindungan ekosistem mereka, dan Anggota diberi insentif untuk berkontribusi ke Pool untuk mendapatkan sebagian dari biaya ini.

Manfaat dan Risiko untuk Anggota Staking / Penyedia Likuiditas
Semua Penyedia Jaminan dari Pool ShentuShield akan menerima hadiah staking normal untuk CTK yang dipertaruhkan, sementara juga mengumpulkan sebagian dari biaya yang dibayarkan oleh Pembeli Shield dari Pool.

ShentuShield Pools dapat dilihat sebagai opsi taruhan alternatif, berisiko tinggi, dan hadiah lebih tinggi untuk CTK. Bertaruh di Shentu Nodes, yang tidak menempatkan CTK dalam risiko sebagai jaminan, juga merupakan opsi, seperti yang disebutkan di bawah ini. Perbedaan utama dari staking dengan ShentuShield Pool adalah bahwa stake dari setiap Penyedia Jaminan dapat digunakan untuk membayar penggantian Proposal Klaim yang disetujui untuk Pembeli Shield.

Semua Penyedia Jaminan harus memahami bahwa ada kemungkinan bahwa jaminan penuh mereka digunakan untuk penggantian biaya. Dengan demikian, Penyedia Jaminan bertanggung jawab untuk melakukan uji tuntas menyeluruh untuk semua Anggota yang dilindungi oleh ShentuShield Pool; skor Keamanan Oracle dapat bertindak sebagai salah satu faktor keamanan, tetapi semua Anggota didorong untuk meneliti secara mendalam semua aspek proyek blockchain.

Sorotan Tambahan
Memesan Perisai untuk Melindungi Aset Kripto Anda Sendiri
Bagian Pool yang dipesan oleh Pembeli Perisai untuk penggantian disebut “Perisai”. Untuk memesan Perisai, Pembeli Perisai harus membayar biaya kepada Penyedia Jaminan.

Total Shields yang tersedia dari ShentuShield Pool dihitung dalam persamaan di bawah ini:

Perisai yang Tersedia = [Total CTK yang Dipertaruhkan di Pool] – [Ukuran Perisai yang Sudah Dicadangkan]

Perisai bertahan selama 21 hari sejak dibeli. Dana cadangan dari Perisai hanya digunakan untuk membayar penggantian Proposal Klaim yang disetujui. Jika tidak ada Proposal Klaim yang disetujui pada akhir periode 21 hari, dana dibuka kembali untuk reservasi.

Proposal Klaim yang Sepenuhnya Transparan dan Sistem Pemungutan Suara untuk Keadilan
Hanya Pembeli Perisai dengan Perisai aktif yang dapat mengajukan Proposal Klaim. Pembeli Perisai dapat memiliki beberapa Proposal Klaim terbuka sekaligus, tetapi jumlah penggantian yang diminta tidak boleh lebih besar dari jumlah total dana cadangan mereka. Klaim

Proposal ditempatkan diDeepWallet (shentu.technology) untuk Pembeli Perisai untuk secara resmi mendokumentasikan situasi di mana aset kripto mereka hilang. Proposal Klaim dapat mencakup lampiran dokumentasi tambahan, seperti laporan polisi, pernyataan saksi, atau jenis informasi tambahan lainnya sebagai bukti pendukung.

Untuk mengajukan Proposal Klaim, biaya pemrosesan yang tidak dapat dikembalikan sebesar 1% dari total ukuran klaim harus dibayar (dalam CTK sebagai mata uang platform)—biaya pemrosesan ini dibagi di antara semua pemilih aktif yang berpartisipasi dalam pemungutan suara atas klaim ini . Setelah Proposal Klaim diajukan, mereka tidak dapat diubah, dan Proposal Klaim disiarkan ke semua Anggota sistem ShentuShield untuk memulai periode pemungutan suara, yang dibuka selama 2 hari. Proposal Klaim diterima sepenuhnya dengan jumlah klaim penuh yang harus dibayar atau ditolak sepenuhnya. Tidak ada klaim parsial yang dibayarkan.

Semua riwayat pemungutan suara, dan Proposal Klaim terkait, tersedia untuk umum untuk dilihat. Ini akan membantu mendorong pemungutan suara yang jujur ​​- jika catatan menunjukkan bahwa seseorang sering menolak Proposal Klaim yang “sah”, maka komunitas pemilih dapat mempertimbangkannya jika proyek blockchain pernah mengajukan Proposal Klaim untuk dirinya sendiri.

Mencegah Permainan Sistem ShentuShield
Sistem ShentuShield dirancang dengan beberapa pengaman untuk mencegah permainan sistem. Ini termasuk, tetapi tidak terbatas pada:

Ambang pemungutan suara yang membutuhkan penerimaan mayoritas untuk menyetujui Proposal Klaim.

Proposal Klaim memerlukan biaya yang tidak dapat dikembalikan agar dapat diproses. Biaya ini berskala 1% dari ukuran penggantian yang diminta dari Proposal Klaim, sehingga pembayaran yang lebih besar membutuhkan biaya lebih untuk memulai.

Proposal Klaim yang Disetujui menerima pembayaran selama 56 hari.

Proposal Pemungutan Suara Veto dapat diajukan untuk menghentikan Proposal Klaim yang sedang menjalani periode pembayaran 56 hari. Suara Veto ini membutuhkan 3/4 (75%) mayoritas untuk disetujui.

Hanya proyek dengan Skor Keamanan lebih dari 80 yang memenuhi syarat untuk mendapatkan keanggotaan ShentuShield. Ini memaksa proyek untuk mengamankan kode mereka sebelum mengaktifkan perlindungan.

Arsitektur Rantai Shentu

Shentu Chain dirancang untuk menjadi infrastruktur kepercayaan yang dapat dibuktikan, untuk semua pemangku kepentingan di dunia blockchain. Dirancang dari bawah ke atas dengan mempertimbangkan keamanan blockchain, Shentu Chain bertujuan untuk menggunakan teknologi keamanan canggih untuk memungkinkan tingkat keamanan yang belum pernah terjadi sebelumnya untuk blockchain.

Teknologi Keamanan
Shentu Chain berusaha membangun keamanan blockchain statis dan dinamis yang tidak dapat dipercaya, terdesentralisasi, dan on-chain.

Keamanan on-chain berarti bahwa pembuatan dan konsumsi analisis keamanan dapat dilakukan secara real-time, berbeda dengan praktik yang ada dalam menyediakan audit keamanan off-chain—seperti yang ada, tidak ada gagasan keamanan selama pelaksanaan logika rantai, sehingga logika aman dan tidak aman dapat dijalankan secara bersamaan satu sama lain. Berbeda dengan VM blockchain yang ada, seperti EVM dan eWASM, fitur khas di CVM Shentu adalah kemampuan untuk membuat, menanyakan, dan bertindak berdasarkan pengetahuan keamanan pada waktu eksekusi logika rantai untuk membedakan perilaku dan meningkatkan perlindungan.

Untuk menangkap dan menyimpan informasi keamanan secara on-chain—baik dari audit, verifikasi formal, pengujian, atau cara lain—Shentu Chain memiliki dukungan bawaan untuk semua jenis sertifikat bukti. Baik laporan audit atau kontrak pintar yang terbukti, sertifikat buktinya dapat disimpan secara on-chain dan dapat diakses untuk kueri off-chain dan kontrak pintar on-chain.

Meskipun sertifikat bukti statis ini dapat memberikan informasi mendetail tentang keamanan, sertifikat tersebut tetap statis. Dalam praktiknya, pengetahuan keamanan dinamis yang disimpulkan dari informasi seperti rekan, data, dan waktu sering kali merupakan perlindungan paling efektif untuk eksekusi logika rantai. Untuk alasan ini, Shentu Chain memiliki Oracle Keamanan bawaan, yang didukung terus-menerus oleh pakar keamanan dan dapat diakses oleh kontrak pintar untuk perlindungan keamanan waktu nyata.

Sebagai sistem terdesentralisasi, blockchain juga harus mendesentralisasikan keamanannya, daripada mengandalkan otoritas atau vendor tertentu. Di Shentu Chain, semua keputusan dan konfirmasi terkait keamanan dilakukan secara terdesentralisasi melalui tata kelola keamanan on-chain yang mencerminkan konsensus semua pemangku kepentingan keamanan rantai. Secara khusus, ShentuShield akan memiliki kumpulan terdesentralisasi untuk melindungi pengguna blockchain dari kerugian terkait keamanan.

Namun, pada akhirnya, keamanan blockchain terdesentralisasi dalam bentuk apa pun tidak dapat sepenuhnya dipercaya, kecuali dengan menggunakan metode matematika yang ketat—bahkan proof-of-work (PoW) tidak dapat dipercaya jika kode yang melakukan perhitungan kriptografi diimplementasikan secara salah. Satu-satunya cara yang diketahui untuk mencapai keamanan yang benar-benar tidak dapat dipercaya hingga saat ini adalah dengan memanfaatkan (secara independen) bukti matematis yang dapat diperiksa mesin dari artefak blockchain, yang mencakup infrastruktur rantai dan logika rantai. Dengan menerapkan penelitian mutakhir, Shentu Chain menggunakan bukti-bukti ini di mana pun praktis untuk menciptakan blockchain yang paling kuat dan mengutamakan keamanan di dunia.

Tujuan Desain
Shentu Chain dibangun dengan tujuan desain penting yang melampaui tema inti keamanan dan kebenaran logika blockchain.

Salah satu tujuan desain paling penting untuk Shentu Chain adalah kompatibilitas penuh dengan blockchain / VM yang ada, memungkinkan migrasi atau servis yang mudah dari aplikasi yang ada di Shentu Chain. Untuk itu, VM Shentu Chain akan mempertahankan kompatibilitas penuh dengan Ethereum EVM (1.0) dan eWASM VM (2.0).

Shentu Chain dirancang untuk menjadi landasan ekosistem blockchain masa depan yang aman di mana ia tidak hanya berdampingan dengan banyak blockchain lain dengan fokus yang berbeda tetapi juga memiliki integrasi dan kolaborasi yang mendalam dengan mereka. Untuk tujuan ini, Shentu Chain dibangun mengikuti kerangka kerja blockchain modular Cosmos untuk integrasi statis dan akan bergabung dengan protokol Inter-Blockchain Communication (IBC) untuk fungsionalitas lintas-rantai.

Sebagai blockchain dasar untuk mendukung ekosistem blockchain yang aman, efisiensi komputasi dan skalabilitas operasi sangat penting untuk keberhasilan Shentu Chain, yang telah mengadopsi pBFT, protokol konsensus Delegated Proof-of-Stake (DPoS). Perlu dicatat bahwa DPoS Shentu Chain ditingkatkan dengan teknologi keamanan yang tidak dapat dipercaya dan terdesentralisasi yang dijelaskan di bagian sebelumnya.

komponen-komponen kunci
Tumpukan perangkat lunak Shentu Chain mencakup komponen perangkat lunak simpul rantai standar seperti protokol konsensus dan mesin virtual (VM), serta bahasa kontrak pintar yang aman, rantai alat kompiler, alat verifikasi, serta runtime dan kernel OS yang dapat dipercaya.

Protokol konsensus dan lapisan penyimpanan persisten menggunakan Tendermint, yang saat ini merupakan lapisan DPoS yang paling umum digunakan di dunia blockchain.

Keamanan Shentu Oracle adalah komponen rantai yang bertanggung jawab untuk memperoleh, menyimpan, dan menyajikan informasi keamanan waktu nyata tentang Rantai Shentu dan entitas blockchain lainnya. Ini mengumpulkan pembaruan keamanan berkelanjutan dari operator terdesentralisasi dan mensintesisnya menjadi skor keamanan dll., Yang mungkin didorong ke blockchain lain untuk melindungi kontrak pintar mereka.

Shentu VM (CVM) mewujudkan sebagian besar teknologi keamanan dan tujuan desain Rantai Shentu. Ini memberikan kekuatan, efisiensi, perlindungan, transparansi, dan fitur yang berfokus pada keamanan untuk kontrak pintar yang aman dan normal untuk dieksekusi dan berinteraksi.

Cara yang lebih disukai untuk membuat kontrak pintar yang aman adalah dengan menyusunnya di DeepSEA, bahasa pemrograman fungsional baru yang dirancang khusus untuk tujuan itu. Properti keamanan dan kebenaran kontrak pintar aman tidak hanya dapat dibuat untuk kode sumber DeepSEA, tetapi juga akan 100% dipertahankan ke bytecode target VM target yang benar-benar dijalankan, karena DeepSEA memiliki rantai alat kompiler tepercaya yang terbukti sepenuhnya untuk kebenaran kompilasi.

Untuk kontrak pintar yang sudah ditulis dalam Solidity dan bahasa serupa lainnya, Scivik adalah rantai alat verifikasi formal yang dapat digunakan oleh insinyur verifikasi formal profesional untuk menentukan dan menetapkan properti keamanan dan kebenarannya. Dengan proses pembuktian yang otomatis, Scivik dapat digunakan sepanjang siklus pengembangan kontrak pintar.

Mesin Virtual Bersertifikat Shentu (CVM)

Desain CVM
Mesin virtual dari banyak blockchain populer melakukan verifikasi bytecode terbatas, meninggalkan kerentanan yang berpotensi serius, namun tidak diketahui. Bahkan jika kontrak cerdas ditulis 100% dengan aman dan benar, selama transformasi dari kode yang dapat dibaca manusia (huruf) menjadi bytecode yang dapat dibaca mesin (1 dan 0), mungkin ada kesalahan yang menyebabkan pemeriksaan keamanan sebelumnya menjadi usang.

Sebagai blockchain keamanan pertama yang dirancang dengan rumit, tujuan pertama dari Mesin Virtual Bersertifikat Shentu (CVM) adalah untuk mencapai keamanan tingkat lanjut dari kode VM. Basis komputasi tepercaya (TCB) yang sangat aman ini akan membatasi vektor serangan dari kode yang tidak aman. Akhirnya, CVM akan memberlakukan sandboxing dan isolasi kode apa pun yang tidak sepenuhnya disertifikasi melalui bukti matematis sambil sepenuhnya diverifikasi secara formal.

Tujuan kedua CVM (serta Shentu Chain) adalah untuk memungkinkan intelijen keamanan menjadi nilai yang dapat diekspresikan secara on-chain. Ini tidak dapat dicapai di mesin virtual blockchain mana pun saat ini; analisis keamanan dilakukan dan disimpan di luar rantai, sehingga program tidak dapat merujuk hasil saat mempertimbangkan untuk melakukan transaksi. Ini membatasi nilai sebenarnya dari analisis keamanan, karena tanggung jawab ada pada individu untuk melakukan ketekunan untuk menemukan dan menyelidiki laporan audit yang dilakukan sebelumnya, sebelum menggunakan kontrak pintar. Namun, dengan memperluas in-chain intelijen keamanan ini, operasi yang lebih dinamis dan dapat ditindaklanjuti akan diaktifkan. Misalnya, kontrak pintar yang aman dapat memilih untuk membedakan tindakannya saat berinteraksi dengan kontrak pintar yang aman dan tidak aman; dalam kehidupan nyata, diferensiasi ini serupa dengan pemberi pinjaman yang mengenakan tarif berbeda berdasarkan nilai kredit seseorang (atau dalam hal ini, nilai keamanan).

CVM memaparkan kontrak pintar dan informasi keamanan blockchain ke kode VM, memungkinkan cara yang belum pernah terjadi sebelumnya untuk mengakses, memeriksa, bergantung pada, dan bahkan secara dinamis membangun keamanan blockchain dan kontrak pintar. Intelijen keamanan on-chain menyediakan akses ke informasi untuk pengambilan keputusan yang lebih baik. Sementara kontrak pintar yang tidak diaudit/tidak diverifikasi masih dapat dijalankan di CVM, ada transparansi yang lebih tinggi bagi mereka yang ingin berinteraksi dengannya.

Tujuan jangka panjang untuk CVM adalah pemisahan akses status rantai dan komputasi umum. VM berdiri di antara logika kontrak/plugin/dApp pintar dan logika akses/replikasi status rantai persisten. Banyak VM saat ini, termasuk EVM Ethereum, menangani akses status blockchain dan komputasi umum dengan cara yang sama, tanpa pemisahan antara instruksi VM dan fitur bahasa kontrak pintar. Struktur ini kehilangan banyak cara bagus untuk menulis, men-debug, dan menjalankan perhitungan umum yang telah ada sebelum blockchain. Sementara beberapa rantai / VM mencoba menggunakan perpustakaan sebagai gantinya untuk akses status rantai, tetapi itu tidak memperbaiki masalah karena disertai dengan masalahnya, seperti ketergantungan bahasa, inkonsistensi API, dan masih tidak ada isolasi antara komputasi umum dan akses status. Untuk mengatasi masalah ini, CVM akan menggunakan VM universal terkemuka, model proses OS x86-64, sambil berpotensi memperluas ke ISA lain seperti arm64 di masa mendatang. Akses status Blockchain akan diberikan sebagai abstraksi OS (halaman memori, file, sinyal, procfs, syscalls, dll.) ke kode CVM. VM bytecode yang ada akan tetap didukung sepenuhnya dan benar-benar menjadi middleware antara kode VM mereka dan CVM, yang berarti bahwa CVM akan menjadi agnostik bahasa. Akibatnya, semua alat yang ada baik yang dirancang untuk dunia blockchain atau tidak akan dapat digunakan kembali untuk pengembangan kode CVM. Model proses OS ini juga menyediakan tingkat abstraksi yang sangat baik untuk perlindungan dan isolasi kode CVM.

Sorotan Teknis Tambahan:
Sertifikat CVM
Perpanjangan CVM dikembangkan untuk mendukung kontrak pintar yang diterapkan di Rantai Shentu untuk melakukan tindakan yang lebih disesuaikan. Ekstensi CVM diimplementasikan sebagai kontrak yang telah dikompilasi di CVM. Mereka mengizinkan kontrak pintar untuk mengakses informasi on-chain.

Sertifikat yang dikeluarkan di Shentu Chain memberikan sertifikasi keamanan dinamis untuk kontrak pintar yang diaudit atau diverifikasi secara formal. Dengan ekstensi CVM, pengguna dapat mengakses sertifikat secara berantai dari kontrak pintar. Sementara sertifikat membuat pemeriksaan keamanan off-chain tersedia di chain, CVM membuat informasi on-chain tersedia dalam kontrak pintar. Dengan cara ini, kontrak pintar di Rantai Shentu dapat memeriksa keamanan panggilan eksternal.

Pemeriksaan Bukti di CVM
Selain sertifikat audit, Rantai Shentu akan dapat mengesahkan objek bukti dari pengembangan verifikasi formal. Objek bukti adalah segala jenis representasi bukti yang dapat dibaca mesin yang dapat diperiksa secara independen untuk menetapkan bahwa teorema itu benar. Saat ini bentuk yang paling umum digunakan adalah file .vo yang dihasilkan menjadi asisten bukti Coq: mereka hanya berisi kesimpulan logis yang digunakan untuk membuktikan teorema, tetapi menghilangkan taktik dan pencarian bukti yang digunakan untuk membangunnya, sehingga dapat diperiksa oleh program utilitas yang lebih sederhana dan lebih dapat dipercaya daripada sistem Coq lengkap.

Objek bukti secara alami tidak dapat dipercaya, tetapi dengan keadaan seni saat ini, satu-satunya cara untuk memeriksa bukti adalah dengan menjalankan pemeriksa sendiri. Dengan Rantai Shentu, pengguna memiliki cara terdesentralisasi untuk mengonfirmasi bahwa objek bukti valid. Pengguna akan mengkompilasi bukti menggunakan Coq, memproses file .vo dengan alat yang dikembangkan Shentu, dan mengirimkannya ke satu set node validasi bukti. Jika node yang cukup setuju bahwa buktinya valid, itu akan ditambahkan ke status rantai. Selain Coq, validator juga akan menangani pembuktian teorema lain seperti Z3.

Provers akan bertanggung jawab untuk membagi pengembangan menjadi “pernyataan teorema” dan buktinya, menggunakan sistem modul Coq. Status rantai kemudian menyertakan hash dari pernyataan teorema (node ​​rantai tidak perlu menyimpan bukti lengkap, meskipun akan tersedia di luar rantai, misalnya pada IPFS). Mirip dengan sertifikat, CVM memungkinkan kontrak pengguna menanyakan basis data ini, sehingga dimungkinkan untuk membuat keputusan terdesentralisasi menggunakan bukti, misalnya, meningkatkan kontrak hanya jika versi yang ditingkatkan dilengkapi dengan bukti kebenaran, atau memposting hadiah untuk teorema menjadi terbukti.

Tantangan Teknis CVM
Dengan ekstensi CVM yang saat ini diterapkan, kontrak pintar dapat memeriksa keberadaan sertifikat secara on-chain.

Mendukung beberapa jenis VM seperti EVM, eWASM, x86, ARM, dll. secara bersamaan memerlukan desain yang cermat dari semantik akses status rantai dari kontrak pintar. Mampu mengisolasi dan melindungi mereka dari satu sama lain dengan latensi rendah dan overhead membutuhkan sandboxing berbasis virtualisasi proses ringan yang canggih.

Pada akhirnya, plugin Cosmos sendiri akan menjadi logika rantai generik yang berjalan di dalam x86 / ARM CVM, untuk perlindungan dan isolasi yang lebih baik. Karena mereka memiliki ketergantungan yang kompleks satu sama lain, bagaimana mengakomodasi fleksibilitas tersebut dengan cara yang efisien dan berprinsip sangat penting.

Rantai Alat DeepSEA

Salah satu cara untuk membuat kontrak pintar yang aman adalah dengan membangunnya secara inheren aman dan benar, dengan membangunnya dengan bahasa kontrak pintar yang aman dan membuktikan keamanan dan kebenarannya saat membangun. DeepSEA adalah bahasa pemrograman aman dan rantai alat kompiler yang dikembangkan oleh para peneliti dari Shentu, Universitas Yale, dan Universitas Columbia untuk memungkinkan pengembangan kontrak pintar yang aman, menyediakan cara untuk secara formal memverifikasi properti kebenaran yang sulit tentang kontrak pintar menggunakan asisten bukti Coq. DeepSEA memiliki potensi untuk menghilangkan beberapa kelemahan kode sumber yang paling kritis, namun dapat dihindari, dan pengembangannya telah didukung oleh hibah penelitian dari Ethereum Foundation, Columbia-IBM, dan Qtum Foundation.

Banyak pekerjaan yang ada pada verifikasi kontrak pintar dibangun di sekitar pembuktian teorema otomatis seperti Z3. Prover ini memberikan kemudahan dengan hanya meminta pengembang untuk menyatakan teorema dan kemudian program mencoba untuk membuktikan bahwa itu benar. Namun, mereka paling berguna untuk bukti yang relatif sederhana tentang mis. ekspresi aritmatika dan struktur data seperti array. Dalam kasus di mana teorema membutuhkan kreativitas atau memerlukan definisi khusus untuk menyatakan (seperti banyak persyaratan kompleks dalam kontrak pintar), alat otomatis cenderung macet. Coq adalah contoh asisten bukti interaktif, yang berarti bahwa itu tidak membuktikan teorema untuk pengguna: sebagai gantinya, pengguna harus menulis pernyataan teorema dan buktinya, dan Coq memeriksa apakah buktinya benar atau tidak. Meskipun ini melibatkan lebih banyak pekerjaan, ini memungkinkan matematika tingkat lanjut yang sewenang-wenang.

Untuk alasan tentang kontrak di Coq, pertama-tama kita perlu mendefinisikan model dari apa yang dilakukannya, kemudian memuatnya ke asisten bukti Coq. Untuk mencapai ini dengan aman, kontrak ditulis dalam bahasa pemrograman DeepSEA yang cukup kecil. Kompiler DeepSEA mengkompilasi kontrak ke dalam bytecode CVM dan juga menampilkan representasi yang dapat dimuat ke dalam Coq. Hal ini memungkinkan penalaran representasi kontrak tingkat tinggi yang nyaman, dan karena kompiler DeepSEA telah sepenuhnya diverifikasi kebenarannya, representasi kontrak Coq yang dihasilkan dipastikan cocok dengan eksekusi bytecode CVM yang dikompilasi.

Desain Bahasa DeepSEA
Menulis bahasa untuk perangkat lunak blockchain terverifikasi itu menantang karena ada dua set persyaratan yang bersaing. Di satu sisi, agar mudah untuk secara formal beralasan, program harus setinggi mungkin, idealnya program fungsional murni yang beroperasi pada tipe data tingkat tinggi seperti nomor dan daftar tak terbatas. Di sisi lain, mengeksekusi kontrak blockchain itu mahal, jadi kami tidak mampu membeli kemewahan seperti bilangan bulat besar atau pengumpul sampah. Pendekatan DeepSEA untuk masalah ini diinformasikan oleh pengalaman memverifikasi kernel. Kami menyediakan bahasa kecil yang menghindari fitur yang sulit untuk dijelaskan, tetapi pada saat yang sama dapat dijalankan tanpa sistem runtime yang rumit.

Program DeepSEA terdiri dari satu set objek, dan masing-masing objek memiliki satu set bidang dan metode. Dalam kasus CVM, ini sesuai dengan kontrak, penyimpanan, dan metode. Dengan cara ini kami memastikan bahwa semua data kontrak dienkapsulasi di belakang antarmuka objek, sehingga setiap metode dapat memperbarui bidang tetapi sebaliknya berperilaku seperti fungsi. Mirip dengan mis. Bahasa Pindah Facebook tidak ada cara untuk menyebarkan pointer ke “dalam” suatu objek, jadi bukti tidak perlu khawatir tentang aliasing dan aturan bingkai, meskipun implementasinya mungkin menggunakan pointer ke data besar sebagai pengoptimalan yang disembunyikan dari programmer . Oleh karena itu, makna program DeepSEA dapat dimodelkan sebagai seperangkat fungsi murni yang dapat dinalar secara persamaan (seperti dalam aljabar sekolah menengah) di dalam asisten bukti.

Satu set objek dapat dikumpulkan ke dalam lapisan, yang mewakili pandangan koheren dari seluruh status kontrak. Akhirnya, bahasa mendukung penyempurnaan abstrak dari lapisan, di mana programmer secara manual menulis spesifikasi untuk beberapa metode dan memberikan bukti bahwa itu terpenuhi. Misalnya, seseorang dapat mengimplementasikan struktur data pohon dalam bentuk array dan indeks, dan kemudian secara abstrak menyempurnakannya menjadi tipe data pohon sederhana seperti Anda mungkin menulisnya dalam bahasa pemrograman fungsional.

Sebagai contoh yang representatif, berikut ini adalah kutipan dari kontrak yang menerapkan pelelangan buta harga kedua. Status lelang dicatat sebagai sekumpulan bidang objek, yang diperbarui dengan metode seperti bid. Objek a dapat bergantung pada perpustakaan yang menyediakan operasi seperti evm.transfer, dan objek gabungan disatukan menjadi lapisan.

Akhirnya, kami mendefinisikan sebuah relasi yang menspesifikasikan bagaimana status kontrak dapat berkembang dengan adanya sekumpulan partisipan yang berinteraksi dengannya, dan menunjukkan bahwa strategi di atas adalah ekuilibrium Nash, yaitu tidak seorang pun dapat meningkatkan hasil mereka dengan menyimpang secara sepihak darinya. Pembuktian teorema ini melibatkan pembuktian sekumpulan lemma tentang kebenaran fungsional, dengan mengatakan mis. bahwa setelah fase penawaran berakhir, setiap peserta telah menempatkan satu penawaran, dan variabel penawaran_tertinggi dalam kontrak sesuai dengan yang tertinggi di antara mereka.

Perkembangan ini menunjukkan satu manfaat bekerja di asisten pembuktian yang sepenuhnya umum. Bukan hanya itu mungkin untuk membuktikan teorema kebenaran fungsional yang rumit, mis. melibatkan struktur data yang sulit. Dalam contoh lelang, invarian kebenaran fungsional tidak terlalu sulit untuk dibuktikan, tetapi jika seseorang hanya membuktikan gaya lemma ini, tidak jelas apakah mereka benar-benar menyiratkan bahwa kontrak tersebut aman. Dalam asisten bukti interaktif kita dapat menuliskan matematika sewenang-wenang, sehingga kita dapat menyatakan definisi yang sama dan teorema kebenaran yang akan Anda lihat di buku teks teori lelang.

Kompilasi Bersertifikat DeepSEA
Struktur compiler ditunjukkan pada gambar di bawah ini. Frontend (type-checker) diimplementasikan dalam OCaml, sedangkan middle-end ditulis dalam Coq. Kompiler pertama-tama mem-parsing dan memeriksa jenis file input, dan menguraikannya ke dalam bahasa yang lebih sederhana, bahasa inti yang diketik DeepSEA. Pohon sintaksis abstrak beranotasi tipe dari istilah inti dicetak ke dalam file sumber Coq, dan kemudian bagian tengah menghasilkan implementasi C dan spesifikasi fungsional dari representasi itu. Front-end juga menerjemahkan ekspresi kalkulus lapisan dari file sumber DeepSEA ke dalam panggilan ke berbagai lemma dari perpustakaan Lapisan Abstraksi Bersertifikat — menyusun spesifikasi dan bukti untuk metode individual ke dalam spesifikasi dan bukti untuk keseluruhan sistem.

Tepatnya, bahasa yang menjadi target middle-end adalah subset dari C, yang kami sebut sebagai “MiniC”. Sebagian besar implementasi middle-end terdiri dari teorema, terbukti dalam Coq, bahwa terjemahan perintah benar sehubungan dengan desugaring. Teorema kebenaran terbukti sekali dan untuk semua. Kemudian setiap kali pengguna mengkompilasi program DeepSEA, front-end menghasilkan satu set file Coq yang menerapkan fungsi desugaring dan ekstraksi program, dan teorema kebenaran kompilasi, ke representasi perantara dari program input tersebut. Hasil akhirnya adalah bukti bahwa spesifikasi fungsional yang dihasilkan cocok dengan kode C yang diekstraksi. Pengguna dapat memuat file-file itu ke dalam Coq, dan menyusun bukti itu dengan bukti tertulis secara manual tentang spesifikasi fungsional.

Backend Blockchain
Untuk menggunakan DeepSEA untuk kontrak pintar, kami mengembangkan backend yang menerjemahkan program MiniC yang dihasilkan oleh middle-end menjadi bytecode blockchain. Dengan kata lain, itu membentuk pengganti kompiler C ketika menargetkan target blockchain seperti CVM atau WebAssembly alih-alih perakitan x86. Bagian backend yang terverifikasi menghasilkan kode perakitan CVM, kemudian assembler/printer cantik yang tidak tepercaya mengonversi pengidentifikasi menjadi offset integer (untuk label lompat, pengidentifikasi penyimpanan, dan titik masuk metode), dan mengeluarkan byte.

Bukti backend berbentuk sejumlah lemma, masing-masing mengatakan bahwa program yang diterjemahkan setara dengan program sumber. Misalnya, backend pertama-tama mentransfer program MiniC ke dalam bahasa, yang disebut Clike, yang memperluas nilai “kompleks” (misalnya, tabel hash) ke dalam penyimpanan dan pointer. Adapun fungsi clike_rvalue menerjemahkan ekspresi MiniC ke ekspresi Clike, kami membuktikan lemma

Satu hal yang menarik adalah kami mengizinkan fase kompilasi untuk memperkirakan penggunaan gas secara berlebihan dari suatu ekspresi. Misalnya, bahasa tingkat rendah seperti Clike dapat menentukan dengan tepat jumlah gas yang dibutuhkan untuk setiap lompatan dan lompatan bersyarat, tetapi di MiniC lebih mudah untuk mengatakan, misalnya, bahwa mengevaluasi kondisi pernyataan Sifthenelse menghabiskan paling banyak 3 melompat-nilai gas.

Menggunakan backend untuk bahasa lain
Bahasa perantara MiniC tidak terkait erat dengan bahasa permukaan DeepSEA, tetapi juga dapat digunakan untuk mengkompilasi bahasa lain. Ini berarti bahwa backend DeepSEA dapat menjadi bahasa yang dapat digunakan kembali bagi siapa saja yang menginginkan jalur kompilasi yang sangat tepercaya dan terverifikasi secara formal untuk bahasa blockchain mereka sendiri. Ini bisa sangat menarik untuk membuat bahasa khusus domain kecil, mis. untuk menangani aset keuangan.

Jenis Proposal Tata Kelola
Delegator Pasak dapat mengajukan proposal tata kelola terkait fitur platform atau parameter protokol. Ada beberapa jenis proposal.

Proposal Teks Biasa tidak memerlukan modifikasi kode berantai. Mereka dapat digunakan untuk mendiskusikan dan mencari konsensus mayoritas tentang topik apa pun yang terkait dengan operasi rantai dan tata kelola, misalnya, memulai kampanye hadiah, meningkatkan rasio hadiah insentif, dll. Pengajuan proposal teks biasa adalah prasyarat untuk proposal peningkatan perangkat lunak, yang memastikan perubahan teknis diinginkan dan disepakati dengan mayoritas Delegator dan Operator Validator.

Proposal Peningkatan Perangkat Lunak memerlukan modifikasi kode rantai, seperti mengubah rentang/lingkup parameter rantai atau menambahkan fitur rantai baru. Setelah proposal teks biasa terkait disetujui, pengusul kemudian memenuhi syarat untuk mengajukan proposal peningkatan perangkat lunak untuk persetujuan komunitas.

Proposal Bounty dapat mencakup permintaan kontribusi berantai, seperti membuat artefak berantai, melakukan verifikasi keamanan, membangun bukti keamanan, melakukan audit keamanan, dll. Deposit untuk proposal hadiah disimpan dalam kumpulan yang dapat diklaim oleh kontributor yang menyelesaikan permintaan . Setelah proposal diterima oleh tata kelola, kontributor dapat mengirimkan proposal peningkatan perangkat lunak dan mengklaim hadiahnya.

Proposal Pembelanjaan Kumpulan Komunitas mentransfer token dari kumpulan komunitas ke alamat jika lolos. Penerima token bisa menjadi pengguna rantai yang telah melakukan—atau berencana melakukan—pekerjaan pengembangan atau pekerjaan keamanan untuk rantai tersebut. Penerima juga bisa menjadi kontrak pintar yang mendistribusikan token ke beberapa alamat setelah persyaratan terpenuhi. Misalnya, kontrak pintar karunia bug dapat didanai oleh proposal pengeluaran kumpulan komunitas. Ketika pengguna menemukan bug, pemilik kontrak pintar dapat mengirim beberapa token kepada pengguna tersebut sebagai hadiah. Sama seperti dua jenis proposal pertama, proposal pembelanjaan kumpulan komunitas hanya perlu melewati periode pemungutan suara validator.

Proposal Pembaruan Sertifikasi menambahkan pemberi sertifikasi baru atau menghapus pemberi sertifikasi jika lulus. Jenis proposal ini harus diajukan oleh lembaga sertifikasi. Protokol pemungutan suaranya unik, karena harus melewati putaran pemungutan suara pemberi sertifikasi atau putaran pemungutan suara validator.

Prosedur Tata Kelola

Periode Deposit
Proposal dapat diajukan oleh ketiga jenis peserta: Delegator Pasak, Operator Validator, dan Pemberi Sertifikat Keamanan.

Untuk Delegator Pasak, mengajukan proposal memerlukan deposit. Proposal akan dikonfirmasi dan memasuki Periode Voting setelah deposit minimum tercapai. Untuk proposal peningkatan perangkat lunak, pengusul diharuskan mengajukan proposal teks biasa terlebih dahulu untuk menerima konsensus mayoritas. Proses ini akan mencakup dua transaksi deposit. Proposal akan masuk ke dalam Periode Pemungutan Suara setelah persyaratan setoran dipenuhi; jika tidak, deposit akan dikembalikan.

Proses deposit memungkinkan Delegator Pasak untuk mendapatkan lebih banyak perhatian untuk memasukkan proposal mereka ke dalam Periode Pemungutan Suara. Security Certifier dan Validator Operator dapat melewati periode deposit saat mengajukan proposal, karena mereka telah dipercayakan oleh delegator selama proses pendelegasian dan pemilihan mereka.

Periode Pemungutan Suara
Ada dua jalur (oleh karena itu dinamakan model tata kelola dua jalur) pemungutan suara selama periode pemungutan suara, untuk pertimbangan fungsional dan keamanan.

Untuk pertimbangan fungsional, hanya token yang dipertaruhkan yang dapat berpartisipasi dalam voting pass. Jumlah token yang dipertaruhkan menentukan pengaruh pada keputusan, yaitu, kekuatan suara. Delegator Pasak mengadopsi suara para Validator yang telah mereka pilih untuk didelegasikan, kecuali mereka memutuskan untuk memberikan suara mereka sendiri, yang akan menimpa pilihan suara para Validator. Setiap token berhak atas satu suara untuk setiap proposal.

Untuk menghindari keraguan, hak untuk memilih dibatasi hanya untuk memberikan suara pada fitur-fitur Platform Shentu; hak untuk memilih tidak memberikan hak kepada pemegang CTK untuk memberikan suara pada operasi dan manajemen Yayasan, afiliasinya, atau aset mereka, dan bukan merupakan kepentingan ekuitas di salah satu entitas ini.

• Ada empat opsi pemungutan suara pasak:
• Ya: Pemilih ingin proposal itu lolos.
• Tidak: Pemilih tidak ingin proposal lolos dan ingin mengembalikan deposit.
• Tidak dengan Veto: Pemilih tidak ingin proposal lolos dan memilih untuk membakar deposit.
• Abstain: Pemilih memilih untuk tidak berpartisipasi dalam pemungutan suara.
• Ada dua opsi pemungutan suara keamanan:
• Ya: Pemilih ingin proposal itu lolos dan tidak ada masalah keamanan.
• Tidak / Abstain: Pemilih tidak ingin proposal tersebut lolos atau memilih untuk tidak berpartisipasi dalam pemungutan suara, dan ada potensi masalah keamanan.

Periode Hasil
Jika proposal yang lolos adalah proposal peningkatan perangkat lunak, maka node perlu meningkatkan perangkat lunak mereka ke versi baru yang dipilih. Proses ini dibagi dalam dua langkah, melalui sinyal dan saklar.

Pada langkah sinyal, Operator Validator diharapkan mengunduh dan menginstal versi baru perangkat lunak sambil terus menjalankan versi sebelumnya. Setelah node validator diinstal dengan pemutakhiran, node tersebut akan mulai memberi sinyal ke jaringan bahwa node tersebut siap untuk beralih.

Hanya ada satu sinyal setiap saat. Jika beberapa proposal pemutakhiran perangkat lunak diterima dalam jangka waktu yang singkat, sebuah jalur pipa akan terbentuk dan mereka akan diimplementasikan satu demi satu sesuai urutan penerimaannya.

Pada langkah peralihan, setelah mayoritas node validator memberi sinyal untuk proposal peningkatan perangkat lunak umum, semua node (termasuk node validator, node non-validator, dan node ringan) diharapkan untuk beralih ke versi perangkat lunak yang baru secara bersamaan.

Kesimpulan
Tata kelola untuk rantai dPoS menantang karena desentralisasi super node yang terbatas. Dengan menambahkan pemangku kepentingan keamanan ke dalam model tata kelola dan memisahkan pertimbangan fungsional dan keamanan, hasilnya adalah tata kelola yang praktis, seimbang, dan dapat diperluas.

Bersama dengan desain dan teknologi keamanan unik lainnya, Shentu Chain dirancang untuk menciptakan landasan keamanan untuk ekosistem blockchain yang lebih aman. Dengan keamanan sebagai fokus desain utama, setiap lapisan atau komponen rantai memprioritaskan kepercayaan dan keamanan, sehingga desentralisasi dan skalabilitas yang sebenarnya dapat dicapai secara bermakna sambil memungkinkan pengembang untuk mengandalkan keamanan rantai yang lebih baik.

Token Ekonomi

Mempertaruhkan
Seperti banyak blockchain Proof-of-Stake lainnya, Shentu Chain juga memberi penghargaan kepada pemegang token yang memilih untuk mempertaruhkan token mereka. Taruhan memainkan peran penting dalam menjaga keamanan rantai, meningkatkan kekuatan suara yang diperlukan untuk setiap kelompok musuh untuk mengambil kendali rantai. Secara individual, insentif utama untuk mempertaruhkan token adalah imbalan taruhan yang bergantung pada status jaringan.

Sebuah node rantai penuh harus berada di 100 suara teratas untuk menjadi validator terikat. Jumlah maksimum validator terikat adalah 100.

Shentu Chain akan menggunakan Tendermint untuk algoritma konsensusnya. Untuk setiap blok, akan ada token tetap yang didistribusikan di antara validator terikat untuk menghargai partisipasi mereka dalam protokol. Beberapa parameter penting adalah sebagai berikut:

• Pengusul blok akan mengklaim 5% dari total hadiah blok.
• Sisa token yang dicetak akan didistribusikan di antara semua validator lainnya.
• Pengusul blok akan dipilih melalui jadwal round-robin sesuai dengan kekuatan suara validator.
• Selain itu, validator dapat menetapkan tingkat komisi, yang akan memberikan insentif bagi validator untuk menerima delegasi dengan mengaktifkan biaya untuk memelihara node validator.

Akun atau pemegang token dapat mendelegasikan tokennya ke salah satu validator untuk mendapatkan hadiah staking. Dia akan mendapatkan hadiah berdasarkan jumlah token yang didelegasikan. Karena hanya validator terikat yang akan mendapatkan hadiah taruhan dan distribusi biaya yang terkumpul, hanya mereka yang didelegasikan ke salah satu validator terikat yang bisa mendapatkan hadiah yang sesuai. Jumlah taruhan minimum per transaksi adalah 1 CTK. Tingkat hadiah dan proses pencetakan/pembakaran token dibahas di bagian selanjutnya.

Validator, karena mereka adalah bagian dari algoritma konsensus Tendermint, dapat dihukum jika mereka melakukan pelanggaran baik secara sengaja atau tidak sadar. Hanya ada dua kasus di mana CTK yang dipertaruhkan dipotong: penandatanganan ganda dan offline. Validator berikat “sedang offline” jika tidak berpartisipasi dalam protokol konsensus selama lebih dari waktu tertentu. Validator memasuki keadaan batu nisan setelah tebasan, di mana ia tidak dapat ditebas sampai ia melepaskan dirinya sendiri.

Validator dapat melepaskan token yang dipertaruhkan. Validator akan melalui periode 21 hari di mana token dikunci. Dalam kasus validator yang tidak terikat, delegator validator dapat memilih untuk mendelegasikan kembali ke validator lain untuk terus mendapatkan hadiah staking. Jika tidak, delegator tidak akan bisa mendapatkan hadiah lebih lanjut, karena validator asli yang tidak terikat secara efektif dikeluarkan dari set validator.

Inflasi
Untuk menjaga keamanan rantai, pemegang token diberi insentif untuk mempertaruhkan koin mereka. Namun, kami juga ingin mendorong pengguna untuk menggunakan Mesin Virtual Shentu. Untuk menyeimbangkan keduanya, Rantai Shentu dapat memiliki rasio yang ditargetkan: Setiap kali rasio taruhan turun di bawah rasio taruhan target, tingkat hadiah naik Juga, setiap kali rasio taruhan naik di atas rasio taruhan target, tingkat hadiah turun. Hal ini untuk mendorong/mencegah pertaruhan untuk menyeimbangkan antara keamanan dan likuiditas rantai.

Pilar inti ekosistem Shentu terdiri dari beberapa komponen, masing-masing independen dan kompleks, namun saling berhubungan dan vital untuk mencapai misi memberdayakan orang untuk percaya pada blockchain. Komponen-komponen ini dirinci di bawah ini, bersama dengan tonggak tingkat tinggi untuk setiap tahap pengembangan. Dengan peluncuran mainnet, semua fungsi yang diperlukan telah sepenuhnya dibangun, dikembangkan, dan siap digunakan. Di sini kami mencantumkan potensi dan kemungkinan peningkatan yang dapat dipilih dan didukung oleh komunitas pengembang kami:

Peta Jalan
Pilar inti ekosistem Shentu terdiri dari beberapa komponen, masing-masing independen dan kompleks, namun saling berhubungan dan vital untuk mencapai misi memberdayakan orang untuk percaya pada blockchain. Komponen-komponen ini dirinci di bawah ini, bersama dengan tonggak tingkat tinggi untuk setiap tahap pengembangan. Dengan peluncuran mainnet, semua fungsi yang diperlukan telah sepenuhnya dibangun, dikembangkan, dan siap digunakan. Di sini kami mencantumkan potensi dan kemungkinan peningkatan yang dapat dipilih dan didukung oleh komunitas pengembang kami:

• Oracle Keamanan Shentu: Sistem Reputasi, Hukuman, dan Sengketa Terdesentralisasi.
• ShentuShield: Faktor yang lebih terperinci untuk menentukan ukuran dan panjang kolam Perisai.
• Shentu CVM (CVM): Memperkenalkan lebih banyak pemeriksaan bukti dan dukungan perangkat keras.
• DeepSEA: Kompatibilitas penuh dengan EVM dan lebih banyak bukti kebenaran kompiler.

Risiko
Anda mengetahui dan menyetujui bahwa ada banyak risiko yang terkait dengan pembelian CTK, memegang CTK, dan menggunakan CTK untuk berpartisipasi dalam Platform Shentu. Dalam skenario terburuk, ini dapat menyebabkan hilangnya seluruh atau sebagian dari CTK yang telah dibeli. JIKA ANDA MEMUTUSKAN UNTUK MEMBELI CTK, ANDA DENGAN TEGAS MENGAKUI, MENERIMA DAN MENANGGUNG RISIKO BERIKUT:

Peraturan dan Tindakan Penegakan yang Tidak Pasti Status peraturan CTK dan teknologi buku besar terdistribusi tidak jelas atau tidak pasti di banyak yurisdiksi. Regulasi mata uang virtual telah menjadi target utama regulasi di semua negara besar di dunia. Tidak mungkin untuk memprediksi bagaimana, kapan atau apakah badan pengatur dapat menerapkan peraturan yang ada atau membuat peraturan baru sehubungan dengan teknologi tersebut dan aplikasinya, termasuk CTK dan/atau Platform Shentu. Tindakan pengaturan dapat berdampak negatif pada CTK dan/atau Platform Shentu dalam berbagai cara. Yayasan, Distributor (atau afiliasinya masing-masing) dapat menghentikan operasinya di suatu yurisdiksi jika tindakan pengaturan, atau perubahan undang-undang atau peraturan, membuatnya ilegal untuk beroperasi di yurisdiksi tersebut, atau secara komersial tidak diinginkan untuk mendapatkan persetujuan pengaturan yang diperlukan ( s) untuk beroperasi di yurisdiksi tersebut. Setelah berkonsultasi dengan berbagai penasihat hukum dan analisis berkelanjutan dari pengembangan dan struktur hukum mata uang virtual, pendekatan yang hati-hati akan diterapkan terhadap penjualan CTK.

Oleh karena itu, untuk penjualan token, strategi penjualan dapat terus disesuaikan untuk menghindari risiko hukum yang relevan sebanyak mungkin. Untuk penjualan token, Rantai dan Distributor bekerja sama dengan departemen spesialis blockchain di Bayfront Law LLC.

Pengungkapan informasi yang tidak memadai
Pada tanggal ini, Platform Shentu masih dalam pengembangan dan konsep desainnya, mekanisme konsensus, algoritme, kode, dan detail serta parameter teknis lainnya dapat diperbarui dan diubah secara konstan dan sering. Meskipun buku putih ini berisi informasi terkini yang berkaitan dengan Platform Shentu, ini tidak sepenuhnya lengkap dan masih dapat disesuaikan dan diperbarui oleh tim Shentu dari waktu ke waktu. Tim Shentu tidak memiliki kemampuan dan kewajiban untuk menginformasikan kepada pemegang CTK setiap detail (termasuk kemajuan pengembangan dan pencapaian yang diharapkan) mengenai proyek untuk mengembangkan Platform Shentu, oleh karena itu pengungkapan informasi yang tidak memadai tidak dapat dihindari dan wajar.

Pesaing
Berbagai jenis aplikasi dan jaringan terdesentralisasi muncul dengan kecepatan tinggi, dan industri semakin kompetitif. Ada kemungkinan bahwa jaringan alternatif dapat dibuat yang menggunakan kode dan protokol yang sama atau serupa yang mendasari CTK dan/atau Platform Shentu dan berupaya untuk membuat kembali fasilitas serupa. Platform Shentu mungkin diminta untuk bersaing dengan jaringan alternatif ini, yang dapat berdampak negatif pada CTK dan/atau Platform Shentu.

Kehilangan Bakat
Pengembangan Platform Shentu sangat bergantung pada kerjasama berkelanjutan dari tim teknis dan konsultan ahli yang ada, yang sangat berpengetahuan dan berpengalaman di sektor masing-masing. Hilangnya setiap anggota dapat berdampak buruk pada Platform Shentu atau perkembangannya di masa depan. Selanjutnya, stabilitas dan kohesi dalam tim sangat penting untuk pengembangan keseluruhan Platform Shentu. Ada kemungkinan konflik di dalam tim dan/atau keberangkatan personel inti dapat terjadi, sehingga berdampak negatif pada proyek di masa depan.

Kegagalan untuk berkembang
Ada risiko bahwa pengembangan Platform Shentu tidak akan dilaksanakan atau diimplementasikan sesuai rencana, karena berbagai alasan, termasuk namun tidak terbatas pada penurunan harga aset digital, mata uang virtual atau CTK, kesulitan teknis yang tidak terduga , dan kekurangan dana pembangunan untuk kegiatan.

Kelemahan keamanan
Peretas atau kelompok atau organisasi jahat lainnya dapat mencoba mengganggu CTK dan/atau Platform Shentu dalam berbagai cara, termasuk, namun tidak terbatas pada, serangan malware, serangan penolakan layanan, serangan berbasis konsensus, serangan Sybil, smurfing, dan pemalsuan. Selain itu, terdapat risiko bahwa pihak ketiga atau anggota Yayasan, Distributor atau afiliasinya masing-masing dapat secara sengaja atau tidak sengaja memasukkan kelemahan ke dalam infrastruktur inti CTK dan/atau Platform Shentu, yang dapat berdampak negatif pada CTK dan/atau Platform Shentu.

Selanjutnya, masa depan kriptografi dan inovasi keamanan sangat tidak dapat diprediksi dan kemajuan dalam kriptografi, atau kemajuan teknis (termasuk tanpa batasan pengembangan komputasi kuantum), dapat menghadirkan risiko yang tidak diketahui terhadap CTK dan/atau Platform Shentu dengan membuat mekanisme konsensus kriptografi yang tidak efektif. mendukung protokol blockchain itu.

Risiko lainnya
Selain itu, potensi risiko yang disebutkan secara singkat di atas tidak menyeluruh dan ada risiko lain (sebagaimana diatur lebih khusus dalam Syarat dan Ketentuan) yang terkait dengan pembelian, kepemilikan, dan penggunaan CTK Anda, termasuk risiko yang tidak dapat diantisipasi oleh Rantai atau Distributor . Risiko-risiko tersebut selanjutnya dapat terwujud sebagai variasi atau kombinasi yang tidak terduga dari risiko-risiko tersebut di atas. Anda harus melakukan uji tuntas penuh terhadap Yayasan, Distributor, afiliasinya masing-masing, dan tim Shentu, serta memahami keseluruhan kerangka kerja, misi, dan visi Platform Shentu sebelum membeli CTK atau membeli CTK.

Dimana bisa membeli Certik, CTK coin ?

Jika Anda ingin tahu di mana membeli CertiK dengan kurs saat ini, pertukaran mata uang kripto teratas untuk perdagangan saham CertiK saat ini adalah Binance, Bybit, MEXC, BingX, dan Hotcoin Global.

Referensi : Shentu Chain Whitepaper