Oleh Misha Komarov, Blockworks, disusun oleh Song Xue, Golden Finance
Web3 sangat menekankan pada konsep dasar teknologi tanpa pengetahuan sehingga kini telah menjadi fondasi dan fokus dari setiap pengembangan. Tetapi skalabilitas, keamanan, dan manfaat privasinya tidak membuatnya dapat dipercaya.
Apa yang orang tidak sadari adalah bahwa di lingkungan Web3, teknologi zero-knowledge (ZK) masih terbilang baru dan bukan tanpa kekurangan. Pengembang secara aktif menangani masalah saat ini dengan teknologi ZK, tetapi sifat inovatif dari ruang berarti bahwa mereka cenderung membuat konsep lebih cepat daripada yang dapat mereka bangun.
Terus mempercayai ZK tanpa sepenuhnya memahami masalah teknisnya berbahaya bagi masa depan Web3 yang berkelanjutan. Sebelum secara membabi buta mengandalkan teknologi ini, kita perlu memeriksanya secara menyeluruh dan potensi kelemahannya. **
Seharusnya tidak ada pahlawan di Web3 – tidak ada teknologi yang harus disembah. **
Di masa depan yang ideal, teknologi ZK akan memainkan peran yang lebih terintegrasi dalam semua aktivitas on-chain. Namun, teknologi saat ini ada hampir sebagai add-on atau aksesori, daripada sesuatu yang secara fundamental dapat mendukung eksekusi on-chain. ** Ini karena area dan produk yang sedang dikembangkan masih relatif baru.
Tetapi bidang teknologi ZK telah berkembang ke titik di mana ia berisiko terlalu menyulitkan dirinya sendiri. Ada kesenjangan pengetahuan yang berkembang antara pembangun ZK dan pengguna Web3. **
Masalah lain yang dihadapi oleh pengembangan teknologi ZK termasuk mengoptimalkan waktu ke pasar tanpa mengorbankan integritas proyek. Bukti dan sirkuit ZK saat ini tidak memiliki aksesibilitas karena pengembang perlu mempelajari bahasa khusus domain (DSL) untuk membuktikan perhitungan ini lebih lanjut.
Ini adalah proses yang intensif pengetahuan, paling baik dicontohkan oleh fakta bahwa butuh waktu hampir satu setengah tahun antara peluncuran testnet pra-alfa dan mainnet Scroll. Dengan meluangkan waktu untuk melakukan implementasi dan tinjauan kode yang tepat, waktu pemasaran Scroll dapat terhambat oleh proses peninjauan mendalam kode sirkuit zkEVM yang diimplementasikan melalui beberapa zkDSL terkait Halo2 khusus.
Ini adalah masalah karena hanya sedikit orang di dunia yang memiliki pengetahuan langsung tentang DSL dan kriptografi. Karena kami mendapatkan lebih banyak pengembang untuk menggunakan teknologi ZK canggih, kami perlu memastikan bahwa setiap komponen teknologi ZK dapat diverifikasi secara independen.
Lalu, ada tantangan konfigurasi. Setiap peningkatan yang diperlukan pada akhirnya merupakan perombakan total dari sistem yang baru dibangun, bukan "peningkatan" dalam arti bahwa pengembang membangun di atas kerangka kerja yang ada.
Proyek yang mendukung ZK sudah mengerjakan solusi yang menyederhanakan proses pembangunan untuk pengembang. Ini akan membantu mengatasi masalah utama, termasuk waktu pemasaran yang lambat, biaya menghasilkan bukti sebagai pihak independen, konfigurasi sirkuit, dan persyaratan untuk mempelajari bahasa kriptografi tertentu.
Membangun cara yang lebih sederhana untuk mengkompilasi kode ke dalam sirkuit yang berfungsi penuh semudah mungkin sangat penting untuk memastikan komposabilitas aplikasi yang mendukung ZK. Alat seperti kompiler dapat dengan cepat membantu memverifikasi fungsionalitas kode Anda. Pengembang juga dapat menggunakan berbagai bahasa pengkodean untuk mengembangkan aplikasi yang lebih efisien.
Terus fokus pada pekerjaan penting yang berdampak pada skalabilitas dan keamanan pada masalah lain yang sedang berlangsung di bidang ini. ** Kekurangan teknologi ZK diabaikan hanya karena industri sangat membutuhkan skalabilitas dan keamanan, mengabaikan kekurangan biaya dan kompleksitas. **
Yang benar adalah, teknologi ZK perlu membuatnya sederhana. Pengembang harus dapat menggunakan teknologi bahkan jika mereka bukan ahli dalam kriptografi atau desain sirkuit.
Penyedia infrastruktur ZK perlu membuat alat yang membuatnya lebih mudah untuk membangun aplikasi yang mendukung ZK dan menyederhanakan proses pembangunan untuk pengembang.
Merampingkan prosedur produksi dan mengurangi biaya terkait infrastruktur adalah salah satu cara untuk mengatasi masalah ini. Pendekatan lain yang mungkin adalah menyediakan lebih banyak sumber daya dan dukungan, seperti program pendidikan dan peluang bimbingan, bagi pengembang yang ingin memasuki lapangan.
Pada akhirnya, bahkan dengan teknologi ZK, jangan hanya percaya, tetapi verifikasi. **
Ini melampaui ruang lingkup penyelesaian transaksi dasar, ini harus berlaku untuk alat yang kami gunakan untuk membangun atau mengkompilasi kode, dan pengembang dan pengguna harus lebih menyadari hal ini untuk mendorong integritas antar proyek.
Kita dapat menghindari kekecewaan dengan mengambil pandangan holistik tentang ruang ZK - masa depan yang menjanjikan untuk memungkinkan verifikasi tanpa kepercayaan dari hampir semua hal. Pembangun harus memahami bahwa kemampuannya jauh melampaui skalabilitas dan keamanan.
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Mengapa orang terlalu percaya pada teknologi tanpa pengetahuan?
Oleh Misha Komarov, Blockworks, disusun oleh Song Xue, Golden Finance
Web3 sangat menekankan pada konsep dasar teknologi tanpa pengetahuan sehingga kini telah menjadi fondasi dan fokus dari setiap pengembangan. Tetapi skalabilitas, keamanan, dan manfaat privasinya tidak membuatnya dapat dipercaya.
Apa yang orang tidak sadari adalah bahwa di lingkungan Web3, teknologi zero-knowledge (ZK) masih terbilang baru dan bukan tanpa kekurangan. Pengembang secara aktif menangani masalah saat ini dengan teknologi ZK, tetapi sifat inovatif dari ruang berarti bahwa mereka cenderung membuat konsep lebih cepat daripada yang dapat mereka bangun.
Terus mempercayai ZK tanpa sepenuhnya memahami masalah teknisnya berbahaya bagi masa depan Web3 yang berkelanjutan. Sebelum secara membabi buta mengandalkan teknologi ini, kita perlu memeriksanya secara menyeluruh dan potensi kelemahannya. **
Seharusnya tidak ada pahlawan di Web3 – tidak ada teknologi yang harus disembah. **
Di masa depan yang ideal, teknologi ZK akan memainkan peran yang lebih terintegrasi dalam semua aktivitas on-chain. Namun, teknologi saat ini ada hampir sebagai add-on atau aksesori, daripada sesuatu yang secara fundamental dapat mendukung eksekusi on-chain. ** Ini karena area dan produk yang sedang dikembangkan masih relatif baru.
Tetapi bidang teknologi ZK telah berkembang ke titik di mana ia berisiko terlalu menyulitkan dirinya sendiri. Ada kesenjangan pengetahuan yang berkembang antara pembangun ZK dan pengguna Web3. **
Masalah lain yang dihadapi oleh pengembangan teknologi ZK termasuk mengoptimalkan waktu ke pasar tanpa mengorbankan integritas proyek. Bukti dan sirkuit ZK saat ini tidak memiliki aksesibilitas karena pengembang perlu mempelajari bahasa khusus domain (DSL) untuk membuktikan perhitungan ini lebih lanjut.
Ini adalah proses yang intensif pengetahuan, paling baik dicontohkan oleh fakta bahwa butuh waktu hampir satu setengah tahun antara peluncuran testnet pra-alfa dan mainnet Scroll. Dengan meluangkan waktu untuk melakukan implementasi dan tinjauan kode yang tepat, waktu pemasaran Scroll dapat terhambat oleh proses peninjauan mendalam kode sirkuit zkEVM yang diimplementasikan melalui beberapa zkDSL terkait Halo2 khusus.
Ini adalah masalah karena hanya sedikit orang di dunia yang memiliki pengetahuan langsung tentang DSL dan kriptografi. Karena kami mendapatkan lebih banyak pengembang untuk menggunakan teknologi ZK canggih, kami perlu memastikan bahwa setiap komponen teknologi ZK dapat diverifikasi secara independen.
Lalu, ada tantangan konfigurasi. Setiap peningkatan yang diperlukan pada akhirnya merupakan perombakan total dari sistem yang baru dibangun, bukan "peningkatan" dalam arti bahwa pengembang membangun di atas kerangka kerja yang ada.
Proyek yang mendukung ZK sudah mengerjakan solusi yang menyederhanakan proses pembangunan untuk pengembang. Ini akan membantu mengatasi masalah utama, termasuk waktu pemasaran yang lambat, biaya menghasilkan bukti sebagai pihak independen, konfigurasi sirkuit, dan persyaratan untuk mempelajari bahasa kriptografi tertentu.
Membangun cara yang lebih sederhana untuk mengkompilasi kode ke dalam sirkuit yang berfungsi penuh semudah mungkin sangat penting untuk memastikan komposabilitas aplikasi yang mendukung ZK. Alat seperti kompiler dapat dengan cepat membantu memverifikasi fungsionalitas kode Anda. Pengembang juga dapat menggunakan berbagai bahasa pengkodean untuk mengembangkan aplikasi yang lebih efisien.
Terus fokus pada pekerjaan penting yang berdampak pada skalabilitas dan keamanan pada masalah lain yang sedang berlangsung di bidang ini. ** Kekurangan teknologi ZK diabaikan hanya karena industri sangat membutuhkan skalabilitas dan keamanan, mengabaikan kekurangan biaya dan kompleksitas. **
Yang benar adalah, teknologi ZK perlu membuatnya sederhana. Pengembang harus dapat menggunakan teknologi bahkan jika mereka bukan ahli dalam kriptografi atau desain sirkuit.
Penyedia infrastruktur ZK perlu membuat alat yang membuatnya lebih mudah untuk membangun aplikasi yang mendukung ZK dan menyederhanakan proses pembangunan untuk pengembang.
Merampingkan prosedur produksi dan mengurangi biaya terkait infrastruktur adalah salah satu cara untuk mengatasi masalah ini. Pendekatan lain yang mungkin adalah menyediakan lebih banyak sumber daya dan dukungan, seperti program pendidikan dan peluang bimbingan, bagi pengembang yang ingin memasuki lapangan.
Pada akhirnya, bahkan dengan teknologi ZK, jangan hanya percaya, tetapi verifikasi. **
Ini melampaui ruang lingkup penyelesaian transaksi dasar, ini harus berlaku untuk alat yang kami gunakan untuk membangun atau mengkompilasi kode, dan pengembang dan pengguna harus lebih menyadari hal ini untuk mendorong integritas antar proyek.
Kita dapat menghindari kekecewaan dengan mengambil pandangan holistik tentang ruang ZK - masa depan yang menjanjikan untuk memungkinkan verifikasi tanpa kepercayaan dari hampir semua hal. Pembangun harus memahami bahwa kemampuannya jauh melampaui skalabilitas dan keamanan.