Dilaporkan bahwa Starknet 0.12.0 telah secara resmi digunakan di mainnet pada 12 Juli, mencapai throughput yang lebih besar dan latensi yang lebih rendah. Sebelum membaca artikel ini, Anda perlu memiliki pemahaman awal tentang konsep pembuktian tanpa pengetahuan:
Bukti tanpa pengetahuan termasuk dalam konsep kriptografi dan merupakan bukti interaktif. Mari kita mulai dengan contoh klasik: A buta warna merah-hijau, dan B memiliki dua bola bilyar, satu merah dan satu hijau. Di mata A, kedua bola tersebut memiliki warna yang persis sama, dan B perlu membuktikan kepada A bahwa salah satu dari dua bola bilyar tersebut berwarna merah dan yang lainnya berwarna hijau. Saat ini, A meletakkan bola biliar di belakang punggungnya, dia dapat menukar kedua bola tersebut atau tidak, dan B perlu menilai apakah A telah menukar kedua bola tersebut, berulang kali, jika hasil tebakan B setiap saat adalah Benar, maka A berpikir bahwa salah satu dari dua bola bilyar berwarna merah dan yang lainnya berwarna hijau, yang merupakan keadaan sebenarnya. Ini adalah contoh pembuktian zero-knowledge klasik Dalam pembuktian zero-knowledge, kita hanya membutuhkan dua identitas yaitu "prover" dan "verifier".
1 Pengantar Starknet
StarkNet adalah Validitas-Rollup terdesentralisasi tanpa izin (juga dikenal sebagai "ZK-Rollup"). Sebagai Lapisan 2 di Ethereum, ini memungkinkan Dapp mana pun untuk mencapai ekspansi tak terbatas dalam komputasi tanpa mengorbankan kemampuan menyusun dan keamanan Ethereum.
StarkWare, perusahaan induk dari StarekNet, didirikan pada tahun 2018 dan berkantor pusat di Israel. Produk utamanya adalah Starknet dan StarkEx. Valuasi perusahaannya telah mencapai 8 miliar dolar AS. Sejauh ini, StarkNet telah melalui lima putaran pembiayaan, mengumpulkan total 273 juta dolar AS.
Perlu disebutkan bahwa Ethereum Foundation secara khusus mendukung starkware yang menggunakan stark, dan mereka telah memberikan hibah $12 juta untuk starkware. Dan inilah salah satu alasan mengapa industri umumnya optimis tentang perkembangan masa depan StarkNet dan ortodoksinya.
Model Ekonomi Token
StarkNet mengumumkan pada 16 November 2022 bahwa token aslinya $STRK akan digunakan di mainnet Ethereum untuk voting, staking, dan pembayaran biaya.
Gambar 1-1 Model Ekonomi Token $STARK
Dalam model ekonomi token, kecuali 49,9% token investor dan kontributor inti, 50,1% token sisanya dimiliki oleh StarkNet Foundation. Dari jumlah tersebut, 8,1% token tetap tidak terisi. Bagian ini akan digunakan oleh komunitas untuk menentukan penggunaan yang sesuai, jadi bagian token ini umumnya berspekulasi sebagai potensi kuota airdrop. Starknet Foundation juga telah menunjuk mantan eksekutif Facebook Diego Oliva sebagai CEO pertamanya. Oliva sebelumnya menyatakan bahwa dia akan fokus pada tata kelola komunitas terdesentralisasi Starknet, menekankan hak dan kepentingan pengembang dan pengguna.
peta rute
V 0.12.0 throughput dan latensi
Pejabat baru-baru ini mengumumkan peta jalan keseluruhan untuk tahun 2023. Versi 0.12.0 secara resmi digunakan di mainnet pada hari Rabu, 12 Juli. Versi terbaru Starknet, 0.12.0, memperkenalkan peningkatan kinerja yang signifikan, termasuk peningkatan throughput dan latensi. Dengan mengadopsi Sequencer berbasis Rust dan VM Rust-Cairo, kinerja StarkNet akan meningkat secara signifikan, dan pertukaran OKEX telah mulai mendukung penyimpanan mainnet starknet ETH.
Biaya Transaksi V 0.13.0
Dalam versi V 0.13.0, biaya transaksi Starknet akan sangat berkurang. Ini dicapai melalui kemauan, komponen utama untuk mengurangi biaya transaksi. Biaya data L1 (Ethereum) mencapai 95% dari biaya transaksi hari ini, dan Volition akan memungkinkan pengembang untuk membangun aplikasi Starknet menggunakan model Ketersediaan Data (DA) hybrid. Selain itu, Ethereum's EIP-4844 (Sharded Blob Transactions) diharapkan akan dirilis pada Q4 2023. Karena EIP-4844 Ethereum dan Kemauan Starknet (ketersediaan data off-chain), biaya data Starknet akan berkurang secara signifikan.
Pasar Biaya V 0.14.0
Kemacetan jaringan adalah sakit kepala bagi setiap pengembang dan pengguna. Untuk mengatasi masalah ini, Starknet akan memperkenalkan pasar biaya di V 0.14.0 untuk mengalokasikan sumber daya terbatas Starknet secara efisien sesuai dengan berapa banyak pengguna gas membayar untuk transaksi.
V 0.15.0 interval blok tetap yang lebih pendek
Pada versi V0.15.0, beberapa rencana peningkatan bertujuan untuk meningkatkan kinerja dan pengalaman pengguna Starknet, mengurangi interval blok, dan meningkatkan throughput jaringan dengan memisahkan hubungan antara blok dan bukti. Ini akan membuat Starknet menjadi platform blockchain yang lebih kuat dan efisien.
2 Analisis Teknis
ZK-Rollup VS OP-Rollup
Saat ini Layer 2 yang paling banyak digunakan di pasaran - teknologi yang mendasari Arbitrium adalah OP-Rollup, (Optimistic Rollup). Ini mencapai ekspansi melalui bukti Penipuan. Dalam Op-Rollup, data transaksi diyakini benar oleh sistem, tanpa verifikasi real-time, langsung memasuki masa tunggu. Selama masa tunggu, jika sebuah node mengajukan keberatan dan memberikan bukti untuk membuktikan adanya transaksi jahat, transaksi akan dibatalkan; jika tidak ada keberatan, transaksi akan diselesaikan secara otomatis dan diverifikasi pada rantai utama setelah menunggu periode berakhir.
Starknet adalah Layer 2 berdasarkan teknologi ZK-Rollup. ZK-Rollup terutama mengandalkan teknologi bukti tanpa pengetahuan Dengan memisahkan proses penghitungan dan verifikasi, verifikasi pelaksanaan kontrak diselesaikan secara off-chain, dan kemudian hasil verifikasi dikirimkan ke mainnet Ethereum. Proses perhitungan dilakukan secara off-chain, dan hasil verifikasi hanya diserahkan ke Ethereum sebagai bukti, sehingga metode ini memberikan tingkat keamanan dan perlindungan privasi pengguna tertinggi.
Dibandingkan dengan OP-rollup dan ZK-rollup, ZK-rollup adalah alternatif yang lebih aman daripada OP-rollup, sedangkan OP-rollup adalah pilihan yang lebih baik untuk proyek DeFi dengan kompatibilitas EVM. Dapat dilihat bahwa ZK-rollup dengan kompatibilitas EVM akan menjadi arah pengembangan naratif masa depan Layer 2 dengan keunggulan keamanan alaminya. Keamanan tercapai berkat ketergantungan StarkNet pada STARK, sistem bukti kriptografi yang paling aman dan terukur.
Zk-STARK VS Zk-SNARK
STARK (Zero-Knowledge Scalable Transparent Arguments of Knowledge) dan Zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) keduanya merupakan teknologi bukti tanpa pengetahuan, yang digunakan untuk membuat bukti yang dapat diverifikasi tanpa mengungkapkan semua informasi. Tetapi ada beberapa perbedaan utama dalam penerapan dan fiturnya.
Memilih untuk menggunakan SNARK atau STARK bergantung pada skenario dan persyaratan aplikasi tertentu. SNARK memiliki keunggulan dalam ukuran bukti dan kecepatan verifikasi, tetapi memerlukan penyiapan kepercayaan. STARK tidak memerlukan pengaturan kepercayaan dan tahan terhadap serangan komputer kuantum, tetapi buktinya lebih besar dan kecepatan verifikasi lebih lambat.
Sebuah konsep diperkenalkan di sini - Penyiapan Tepercaya, yang merupakan proses yang digunakan dalam beberapa jenis sistem bukti tanpa pengetahuan (seperti zk-SNARK), yang membuat beberapa parameter awal sebelum sistem mulai beroperasi. Parameter ini digunakan selama pembuatan bukti dan verifikasi.
Kunci pengaturan kepercayaan adalah memastikan bahwa generator benar-benar menghancurkan rahasia yang mereka gunakan setelah membuat parameter awal. Jika generator merahasiakan ini, mereka akan memiliki kemampuan untuk membuat bukti palsu yang tampaknya valid, yang akan membahayakan keamanan sistem. Oleh karena itu, proses penyiapan kepercayaan harus tunduk pada pengawasan dan pemantauan yang ketat untuk memastikan bahwa semua generator telah menghancurkan informasi rahasia dengan benar. Itu sebabnya disebut "penyiapan kepercayaan" karena pengguna harus percaya bahwa prosesnya adil dan generator tidak curang.
Namun, zk-STARKs adalah sistem pembuktian tanpa pengetahuan yang tidak memerlukan pengaturan kepercayaan. Ini berarti bahwa, tidak seperti sistem yang memerlukan penyiapan kepercayaan (seperti zk-SNARK), pembuatan bukti dan proses verifikasi zk-STARK tidak bergantung pada informasi rahasia apa pun. Ini memberikan transparansi dan keamanan yang lebih besar, karena keamanan sistem tidak bergantung pada tindakan individu atau organisasi tertentu. zk-STARKs direalisasikan dengan menggunakan teknologi yang disebut "FRI" (Fast Reed-Solomon Interactive Oracle Proofs).
Perjanjian FRI
Ide dasar dari protokol FRI adalah untuk secara bertahap mengurangi derajat polinomial melalui serangkaian langkah sampling dan interpolasi. Pada setiap langkah, peribahasa memberikan polinomial baru yang diklaimnya sebagai versi terkompresi dari polinomial asli. Pemverifikasi dapat memverifikasi bahwa klaim tersebut benar dengan memeriksa nilai polinomial ini secara acak.
Proses ini berlanjut hingga derajat polinomial cukup rendah sehingga pemverifikasi dapat langsung memeriksa semua koefisiennya. Karena derajat polinomial dibelah dua di setiap langkah, proses ini dapat dilakukan dalam waktu logaritmik, yang membuat protokol FRI sangat efisien.
Properti kunci dari protokol FRI adalah hanya mengandalkan parameter publik yang telah ditentukan sebelumnya dan tidak memerlukan informasi rahasia apa pun. Hal ini berguna untuk membangun sistem bukti tanpa pengetahuan seperti zk-STARK yang tidak memerlukan penyiapan kepercayaan. Namun, protokol FRI (Fast Reed-Solomon Interactive Oracle Proofs) tidak setara dengan pengaturan kepercayaan. Sebaliknya, protokol FRI adalah teknologi untuk menghasilkan dan memverifikasi bukti zk-STARK. Ini memungkinkan pembukti untuk membuktikan kepada pemverifikasi bahwa koefisien polinomial berderajat rendah tanpa mengungkapkan konten spesifik polinomial. Properti kunci dari protokol FRI adalah hanya mengandalkan parameter publik yang telah ditentukan sebelumnya dan tidak memerlukan informasi rahasia apa pun. Hal ini berguna untuk membangun sistem bukti tanpa pengetahuan seperti zk-STARK yang tidak memerlukan penyiapan kepercayaan. Protokol FRI adalah komponen kunci zk-STARK, yang memungkinkan zk-STARK bekerja tanpa memerlukan pengaturan kepercayaan. Tetapi protokol FRI itu sendiri bukanlah proses penyiapan kepercayaan, karena tidak melibatkan pembuatan atau penghancuran informasi rahasia apa pun.
Cara Kerja Starknet
Produk StarkWare termasuk StarkEx, layanan perusahaan ZKR yang disesuaikan untuk pihak proyek, dan StarkNet yang lebih umum. StarkNet terdiri dari lima bagian, yaitu: pembukti (certifier), Sequencer (penyortir) dan Full node (simpul penuh) pada Starknet; dan pemverifikasi (verifier) dan inti Starknet (keadaan inti) yang disebarkan pada kontrak Ethereum).
Prinsip kerjanya adalah memulai transaksi di StarkNet, yang diterima, diurutkan, diverifikasi oleh penyortir server off-chain, dan dikemas ke dalam blok, mengeksekusi transaksi, dan kemudian meneruskan status ke kontrak status inti starknet. Segera, pembukti menghasilkan bukti transaksi dan mengirimkannya ke pemverifikasi Ethereum untuk verifikasi. Pemverifikasi mengirimkan hasil verifikasi ke kontrak keadaan inti starknet Ethereum, dan memicu serangkaian transaksi Ethereum baru dari kontrak inti Starknet untuk memperbarui keadaan global pada rantai untuk pencatatan. Node penuh (Node penuh) memainkan fungsi penyimpanan, termasuk perubahan status, metadata, bukti, dan mencatat semua transaksi yang dijalankan di Starknet, dan melacak status global sistem saat ini.
Gambar 2-1 Skema diagram prinsip kerja Starknet
3 Ekosistem StarkNet
Gambar 3-1 Peta ekologi Starknet (dari Twitter @odin_free)
Ada banyak proyek ekologis di Starknet, saat ini mencakup lebih dari 100 dapps dan layanan. Diantaranya, ada dua jenis dompet, Braavos dan Argent, tetapi mnemonik di antara keduanya tidak dapat dioperasikan. Lebih dari 60 protokol Defi telah digunakan, termasuk DEX seperti 10kswap, Jediswap, Myswap, dan protokol peminjaman seperti Zklend; saat ini, menurut data Defilama, total TVL StarkNet hanya $17,36 juta. naik, Dibandingkan dengan $189.21M dari ZkSync Era dari jenis yang sama, masih ada kesenjangan hampir sepuluh kali, dapat dilihat bahwa ekosistem StarkNet masih dalam tahap awal.
Gambar 3-2 StarkNet TVL dari defilama
Jembatan lintas rantai mencakup stargate jembatan lintas rantai resmi, Orbiter, Layerswap, dll.; Apakah memiliki StarknetID dan platform misi StarQuest. Saat ini, aktivitas NFT Odyssey dari berbagai protokol Starknet sedang berjalan lancar. Apakah ekologi StarkNet di masa depan akan terus berkembang atau berumur pendek, kita hanya bisa menunggu dan melihat...
Lihat Asli
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Starknet 0.12.0 Secara Resmi Menyebarkan Mainnet: Mewujudkan Quantum Leap
Kata pengantar
Dilaporkan bahwa Starknet 0.12.0 telah secara resmi digunakan di mainnet pada 12 Juli, mencapai throughput yang lebih besar dan latensi yang lebih rendah. Sebelum membaca artikel ini, Anda perlu memiliki pemahaman awal tentang konsep pembuktian tanpa pengetahuan:
Bukti tanpa pengetahuan termasuk dalam konsep kriptografi dan merupakan bukti interaktif. Mari kita mulai dengan contoh klasik: A buta warna merah-hijau, dan B memiliki dua bola bilyar, satu merah dan satu hijau. Di mata A, kedua bola tersebut memiliki warna yang persis sama, dan B perlu membuktikan kepada A bahwa salah satu dari dua bola bilyar tersebut berwarna merah dan yang lainnya berwarna hijau. Saat ini, A meletakkan bola biliar di belakang punggungnya, dia dapat menukar kedua bola tersebut atau tidak, dan B perlu menilai apakah A telah menukar kedua bola tersebut, berulang kali, jika hasil tebakan B setiap saat adalah Benar, maka A berpikir bahwa salah satu dari dua bola bilyar berwarna merah dan yang lainnya berwarna hijau, yang merupakan keadaan sebenarnya. Ini adalah contoh pembuktian zero-knowledge klasik Dalam pembuktian zero-knowledge, kita hanya membutuhkan dua identitas yaitu "prover" dan "verifier".
1 Pengantar Starknet
StarkNet adalah Validitas-Rollup terdesentralisasi tanpa izin (juga dikenal sebagai "ZK-Rollup"). Sebagai Lapisan 2 di Ethereum, ini memungkinkan Dapp mana pun untuk mencapai ekspansi tak terbatas dalam komputasi tanpa mengorbankan kemampuan menyusun dan keamanan Ethereum.
StarkWare, perusahaan induk dari StarekNet, didirikan pada tahun 2018 dan berkantor pusat di Israel. Produk utamanya adalah Starknet dan StarkEx. Valuasi perusahaannya telah mencapai 8 miliar dolar AS. Sejauh ini, StarkNet telah melalui lima putaran pembiayaan, mengumpulkan total 273 juta dolar AS.
Perlu disebutkan bahwa Ethereum Foundation secara khusus mendukung starkware yang menggunakan stark, dan mereka telah memberikan hibah $12 juta untuk starkware. Dan inilah salah satu alasan mengapa industri umumnya optimis tentang perkembangan masa depan StarkNet dan ortodoksinya.
Model Ekonomi Token
StarkNet mengumumkan pada 16 November 2022 bahwa token aslinya $STRK akan digunakan di mainnet Ethereum untuk voting, staking, dan pembayaran biaya.
Gambar 1-1 Model Ekonomi Token $STARK
Dalam model ekonomi token, kecuali 49,9% token investor dan kontributor inti, 50,1% token sisanya dimiliki oleh StarkNet Foundation. Dari jumlah tersebut, 8,1% token tetap tidak terisi. Bagian ini akan digunakan oleh komunitas untuk menentukan penggunaan yang sesuai, jadi bagian token ini umumnya berspekulasi sebagai potensi kuota airdrop. Starknet Foundation juga telah menunjuk mantan eksekutif Facebook Diego Oliva sebagai CEO pertamanya. Oliva sebelumnya menyatakan bahwa dia akan fokus pada tata kelola komunitas terdesentralisasi Starknet, menekankan hak dan kepentingan pengembang dan pengguna.
peta rute
V 0.12.0 throughput dan latensi
Pejabat baru-baru ini mengumumkan peta jalan keseluruhan untuk tahun 2023. Versi 0.12.0 secara resmi digunakan di mainnet pada hari Rabu, 12 Juli. Versi terbaru Starknet, 0.12.0, memperkenalkan peningkatan kinerja yang signifikan, termasuk peningkatan throughput dan latensi. Dengan mengadopsi Sequencer berbasis Rust dan VM Rust-Cairo, kinerja StarkNet akan meningkat secara signifikan, dan pertukaran OKEX telah mulai mendukung penyimpanan mainnet starknet ETH.
Biaya Transaksi V 0.13.0
Dalam versi V 0.13.0, biaya transaksi Starknet akan sangat berkurang. Ini dicapai melalui kemauan, komponen utama untuk mengurangi biaya transaksi. Biaya data L1 (Ethereum) mencapai 95% dari biaya transaksi hari ini, dan Volition akan memungkinkan pengembang untuk membangun aplikasi Starknet menggunakan model Ketersediaan Data (DA) hybrid. Selain itu, Ethereum's EIP-4844 (Sharded Blob Transactions) diharapkan akan dirilis pada Q4 2023. Karena EIP-4844 Ethereum dan Kemauan Starknet (ketersediaan data off-chain), biaya data Starknet akan berkurang secara signifikan.
Pasar Biaya V 0.14.0
Kemacetan jaringan adalah sakit kepala bagi setiap pengembang dan pengguna. Untuk mengatasi masalah ini, Starknet akan memperkenalkan pasar biaya di V 0.14.0 untuk mengalokasikan sumber daya terbatas Starknet secara efisien sesuai dengan berapa banyak pengguna gas membayar untuk transaksi.
V 0.15.0 interval blok tetap yang lebih pendek
Pada versi V0.15.0, beberapa rencana peningkatan bertujuan untuk meningkatkan kinerja dan pengalaman pengguna Starknet, mengurangi interval blok, dan meningkatkan throughput jaringan dengan memisahkan hubungan antara blok dan bukti. Ini akan membuat Starknet menjadi platform blockchain yang lebih kuat dan efisien.
2 Analisis Teknis
ZK-Rollup VS OP-Rollup
Saat ini Layer 2 yang paling banyak digunakan di pasaran - teknologi yang mendasari Arbitrium adalah OP-Rollup, (Optimistic Rollup). Ini mencapai ekspansi melalui bukti Penipuan. Dalam Op-Rollup, data transaksi diyakini benar oleh sistem, tanpa verifikasi real-time, langsung memasuki masa tunggu. Selama masa tunggu, jika sebuah node mengajukan keberatan dan memberikan bukti untuk membuktikan adanya transaksi jahat, transaksi akan dibatalkan; jika tidak ada keberatan, transaksi akan diselesaikan secara otomatis dan diverifikasi pada rantai utama setelah menunggu periode berakhir.
Starknet adalah Layer 2 berdasarkan teknologi ZK-Rollup. ZK-Rollup terutama mengandalkan teknologi bukti tanpa pengetahuan Dengan memisahkan proses penghitungan dan verifikasi, verifikasi pelaksanaan kontrak diselesaikan secara off-chain, dan kemudian hasil verifikasi dikirimkan ke mainnet Ethereum. Proses perhitungan dilakukan secara off-chain, dan hasil verifikasi hanya diserahkan ke Ethereum sebagai bukti, sehingga metode ini memberikan tingkat keamanan dan perlindungan privasi pengguna tertinggi.
Dibandingkan dengan OP-rollup dan ZK-rollup, ZK-rollup adalah alternatif yang lebih aman daripada OP-rollup, sedangkan OP-rollup adalah pilihan yang lebih baik untuk proyek DeFi dengan kompatibilitas EVM. Dapat dilihat bahwa ZK-rollup dengan kompatibilitas EVM akan menjadi arah pengembangan naratif masa depan Layer 2 dengan keunggulan keamanan alaminya. Keamanan tercapai berkat ketergantungan StarkNet pada STARK, sistem bukti kriptografi yang paling aman dan terukur.
Zk-STARK VS Zk-SNARK
STARK (Zero-Knowledge Scalable Transparent Arguments of Knowledge) dan Zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) keduanya merupakan teknologi bukti tanpa pengetahuan, yang digunakan untuk membuat bukti yang dapat diverifikasi tanpa mengungkapkan semua informasi. Tetapi ada beberapa perbedaan utama dalam penerapan dan fiturnya.
Memilih untuk menggunakan SNARK atau STARK bergantung pada skenario dan persyaratan aplikasi tertentu. SNARK memiliki keunggulan dalam ukuran bukti dan kecepatan verifikasi, tetapi memerlukan penyiapan kepercayaan. STARK tidak memerlukan pengaturan kepercayaan dan tahan terhadap serangan komputer kuantum, tetapi buktinya lebih besar dan kecepatan verifikasi lebih lambat.
Sebuah konsep diperkenalkan di sini - Penyiapan Tepercaya, yang merupakan proses yang digunakan dalam beberapa jenis sistem bukti tanpa pengetahuan (seperti zk-SNARK), yang membuat beberapa parameter awal sebelum sistem mulai beroperasi. Parameter ini digunakan selama pembuatan bukti dan verifikasi.
Kunci pengaturan kepercayaan adalah memastikan bahwa generator benar-benar menghancurkan rahasia yang mereka gunakan setelah membuat parameter awal. Jika generator merahasiakan ini, mereka akan memiliki kemampuan untuk membuat bukti palsu yang tampaknya valid, yang akan membahayakan keamanan sistem. Oleh karena itu, proses penyiapan kepercayaan harus tunduk pada pengawasan dan pemantauan yang ketat untuk memastikan bahwa semua generator telah menghancurkan informasi rahasia dengan benar. Itu sebabnya disebut "penyiapan kepercayaan" karena pengguna harus percaya bahwa prosesnya adil dan generator tidak curang.
Namun, zk-STARKs adalah sistem pembuktian tanpa pengetahuan yang tidak memerlukan pengaturan kepercayaan. Ini berarti bahwa, tidak seperti sistem yang memerlukan penyiapan kepercayaan (seperti zk-SNARK), pembuatan bukti dan proses verifikasi zk-STARK tidak bergantung pada informasi rahasia apa pun. Ini memberikan transparansi dan keamanan yang lebih besar, karena keamanan sistem tidak bergantung pada tindakan individu atau organisasi tertentu. zk-STARKs direalisasikan dengan menggunakan teknologi yang disebut "FRI" (Fast Reed-Solomon Interactive Oracle Proofs).
Perjanjian FRI
Ide dasar dari protokol FRI adalah untuk secara bertahap mengurangi derajat polinomial melalui serangkaian langkah sampling dan interpolasi. Pada setiap langkah, peribahasa memberikan polinomial baru yang diklaimnya sebagai versi terkompresi dari polinomial asli. Pemverifikasi dapat memverifikasi bahwa klaim tersebut benar dengan memeriksa nilai polinomial ini secara acak.
Proses ini berlanjut hingga derajat polinomial cukup rendah sehingga pemverifikasi dapat langsung memeriksa semua koefisiennya. Karena derajat polinomial dibelah dua di setiap langkah, proses ini dapat dilakukan dalam waktu logaritmik, yang membuat protokol FRI sangat efisien.
Properti kunci dari protokol FRI adalah hanya mengandalkan parameter publik yang telah ditentukan sebelumnya dan tidak memerlukan informasi rahasia apa pun. Hal ini berguna untuk membangun sistem bukti tanpa pengetahuan seperti zk-STARK yang tidak memerlukan penyiapan kepercayaan. Namun, protokol FRI (Fast Reed-Solomon Interactive Oracle Proofs) tidak setara dengan pengaturan kepercayaan. Sebaliknya, protokol FRI adalah teknologi untuk menghasilkan dan memverifikasi bukti zk-STARK. Ini memungkinkan pembukti untuk membuktikan kepada pemverifikasi bahwa koefisien polinomial berderajat rendah tanpa mengungkapkan konten spesifik polinomial. Properti kunci dari protokol FRI adalah hanya mengandalkan parameter publik yang telah ditentukan sebelumnya dan tidak memerlukan informasi rahasia apa pun. Hal ini berguna untuk membangun sistem bukti tanpa pengetahuan seperti zk-STARK yang tidak memerlukan penyiapan kepercayaan. Protokol FRI adalah komponen kunci zk-STARK, yang memungkinkan zk-STARK bekerja tanpa memerlukan pengaturan kepercayaan. Tetapi protokol FRI itu sendiri bukanlah proses penyiapan kepercayaan, karena tidak melibatkan pembuatan atau penghancuran informasi rahasia apa pun.
Cara Kerja Starknet
Produk StarkWare termasuk StarkEx, layanan perusahaan ZKR yang disesuaikan untuk pihak proyek, dan StarkNet yang lebih umum. StarkNet terdiri dari lima bagian, yaitu: pembukti (certifier), Sequencer (penyortir) dan Full node (simpul penuh) pada Starknet; dan pemverifikasi (verifier) dan inti Starknet (keadaan inti) yang disebarkan pada kontrak Ethereum).
Prinsip kerjanya adalah memulai transaksi di StarkNet, yang diterima, diurutkan, diverifikasi oleh penyortir server off-chain, dan dikemas ke dalam blok, mengeksekusi transaksi, dan kemudian meneruskan status ke kontrak status inti starknet. Segera, pembukti menghasilkan bukti transaksi dan mengirimkannya ke pemverifikasi Ethereum untuk verifikasi. Pemverifikasi mengirimkan hasil verifikasi ke kontrak keadaan inti starknet Ethereum, dan memicu serangkaian transaksi Ethereum baru dari kontrak inti Starknet untuk memperbarui keadaan global pada rantai untuk pencatatan. Node penuh (Node penuh) memainkan fungsi penyimpanan, termasuk perubahan status, metadata, bukti, dan mencatat semua transaksi yang dijalankan di Starknet, dan melacak status global sistem saat ini.
Gambar 2-1 Skema diagram prinsip kerja Starknet
3 Ekosistem StarkNet
Gambar 3-1 Peta ekologi Starknet (dari Twitter @odin_free)
Ada banyak proyek ekologis di Starknet, saat ini mencakup lebih dari 100 dapps dan layanan. Diantaranya, ada dua jenis dompet, Braavos dan Argent, tetapi mnemonik di antara keduanya tidak dapat dioperasikan. Lebih dari 60 protokol Defi telah digunakan, termasuk DEX seperti 10kswap, Jediswap, Myswap, dan protokol peminjaman seperti Zklend; saat ini, menurut data Defilama, total TVL StarkNet hanya $17,36 juta. naik, Dibandingkan dengan $189.21M dari ZkSync Era dari jenis yang sama, masih ada kesenjangan hampir sepuluh kali, dapat dilihat bahwa ekosistem StarkNet masih dalam tahap awal.
Gambar 3-2 StarkNet TVL dari defilama
Jembatan lintas rantai mencakup stargate jembatan lintas rantai resmi, Orbiter, Layerswap, dll.; Apakah memiliki StarknetID dan platform misi StarQuest. Saat ini, aktivitas NFT Odyssey dari berbagai protokol Starknet sedang berjalan lancar. Apakah ekologi StarkNet di masa depan akan terus berkembang atau berumur pendek, kita hanya bisa menunggu dan melihat...