Pidato utama Vitalik Buterin di Hong Kong: Perjanjian ini telah berkembang pesat dalam 10 tahun terakhir, namun terdapat dua masalah utama: efisiensi dan keamanan.
Selama Karnaval Web3 Hong Kong 2024, salah satu pendiri Ethereum, Vitalik Buterin, menyampaikan pidato utama "Mencapai Batasan Desain Protokol" di "Web3 Scholar Summit 2024" yang diselenggarakan oleh DRK Lab.
Dia memperkenalkan bahwa pada tahun 2010-an, protokol berdasarkan kriptografi dasar adalah hashing dan tanda tangan. Selanjutnya, perjanjian tersebut berkembang pesat. Pada tahun 2020-an, protokol berdasarkan kriptografi tingkat lanjut mencakup ZK-SNARKS, 2PC, MPC, FHE (enkripsi homomorfik penuh), agregasi (termasuk melalui IVC, ICD, dll.), dan jaringan P2P tingkat lanjut.
Vitalik mengatakan bahwa ZK-SNARK, MPC, FHE dan teknologi lainnya saat ini memiliki masalah efisiensi dan keamanan, di antaranya waktu blok Slot Ethereum adalah 12 detik, waktu verifikasi blok "biasa" sekitar 400 milidetik, dan sertifikasi ZK-SNARK waktunya sekitar 20 menit, Ethereum bertujuan untuk mencapai bukti waktu nyata. Ada beberapa solusi untuk masalah efisiensi, antara lain paralelisasi (Paralelisasi), pohon agregasi (aggregation tree), peningkatan efisiensi (menggunakan algoritma SNARK dan hashing), dan solusi perangkat keras yang dipercepat ASIC.
Masalah kerentanan sirkuit ZK-SNARKs dapat diselesaikan oleh komite keamanan dan multi-prover. Di masa depan, AI dapat membantu proses debug dan penyelesaian masalah lebih lanjut.
"Saya pikir arah masa depan yang menarik adalah dengan menggunakan alat kecerdasan buatan, yang berpotensi menggunakan alat baru untuk verifikasi formal. Seperti membuktikan bahwa tidak ada bug di zkEVM. Mungkin kita benar-benar bisa mencapai bebas bug di zkEVM. dunia di masa depan. Ini sedikit gila.”
Lebih lanjut, ketika berbicara tentang efisiensi agregasi tanda tangan, Vitalik Buterin menunjukkan bahwa situasi saat ini adalah sekitar 30,000 tanda tangan per slot, yang memerlukan permintaan node yang tinggi. Tujuan yang diinginkan adalah untuk mendukung validator sebanyak mungkin sekaligus mengurangi persyaratan node dan mengadopsi protokol yang relatif sederhana. Berdasarkan batasan teoritis, setiap peserta memerlukan 1 bit data per slot waktu, dan tidak ada batasan bawah dalam perhitungan.
“Jadi kesimpulannya adalah, pada dasarnya, apa yang perlu kita pikirkan adalah kita memerlukan protokol untuk mencapai batas dari apa yang dapat Anda lakukan dengan kriptografi, dan kita telah sampai pada titik di mana kriptografi kita jauh lebih kuat dibandingkan beberapa dekade lalu. lalu, tapi bisa lebih kuat, saat ini saya rasa kita harus benar-benar mulai memikirkan apa itu plafon dan bagaimana sebenarnya kita bisa mencapainya,” kata Vitalik sebagai penutup.
Lihat Asli
Konten ini hanya untuk referensi, bukan ajakan atau tawaran. Tidak ada nasihat investasi, pajak, atau hukum yang diberikan. Lihat Penafian untuk pengungkapan risiko lebih lanjut.
Pidato utama Vitalik Buterin di Hong Kong: Perjanjian ini telah berkembang pesat dalam 10 tahun terakhir, namun terdapat dua masalah utama: efisiensi dan keamanan.
Selama Karnaval Web3 Hong Kong 2024, salah satu pendiri Ethereum, Vitalik Buterin, menyampaikan pidato utama "Mencapai Batasan Desain Protokol" di "Web3 Scholar Summit 2024" yang diselenggarakan oleh DRK Lab.
Dia memperkenalkan bahwa pada tahun 2010-an, protokol berdasarkan kriptografi dasar adalah hashing dan tanda tangan. Selanjutnya, perjanjian tersebut berkembang pesat. Pada tahun 2020-an, protokol berdasarkan kriptografi tingkat lanjut mencakup ZK-SNARKS, 2PC, MPC, FHE (enkripsi homomorfik penuh), agregasi (termasuk melalui IVC, ICD, dll.), dan jaringan P2P tingkat lanjut.
Vitalik mengatakan bahwa ZK-SNARK, MPC, FHE dan teknologi lainnya saat ini memiliki masalah efisiensi dan keamanan, di antaranya waktu blok Slot Ethereum adalah 12 detik, waktu verifikasi blok "biasa" sekitar 400 milidetik, dan sertifikasi ZK-SNARK waktunya sekitar 20 menit, Ethereum bertujuan untuk mencapai bukti waktu nyata. Ada beberapa solusi untuk masalah efisiensi, antara lain paralelisasi (Paralelisasi), pohon agregasi (aggregation tree), peningkatan efisiensi (menggunakan algoritma SNARK dan hashing), dan solusi perangkat keras yang dipercepat ASIC.
Masalah kerentanan sirkuit ZK-SNARKs dapat diselesaikan oleh komite keamanan dan multi-prover. Di masa depan, AI dapat membantu proses debug dan penyelesaian masalah lebih lanjut.
"Saya pikir arah masa depan yang menarik adalah dengan menggunakan alat kecerdasan buatan, yang berpotensi menggunakan alat baru untuk verifikasi formal. Seperti membuktikan bahwa tidak ada bug di zkEVM. Mungkin kita benar-benar bisa mencapai bebas bug di zkEVM. dunia di masa depan. Ini sedikit gila.”
Lebih lanjut, ketika berbicara tentang efisiensi agregasi tanda tangan, Vitalik Buterin menunjukkan bahwa situasi saat ini adalah sekitar 30,000 tanda tangan per slot, yang memerlukan permintaan node yang tinggi. Tujuan yang diinginkan adalah untuk mendukung validator sebanyak mungkin sekaligus mengurangi persyaratan node dan mengadopsi protokol yang relatif sederhana. Berdasarkan batasan teoritis, setiap peserta memerlukan 1 bit data per slot waktu, dan tidak ada batasan bawah dalam perhitungan.
“Jadi kesimpulannya adalah, pada dasarnya, apa yang perlu kita pikirkan adalah kita memerlukan protokol untuk mencapai batas dari apa yang dapat Anda lakukan dengan kriptografi, dan kita telah sampai pada titik di mana kriptografi kita jauh lebih kuat dibandingkan beberapa dekade lalu. lalu, tapi bisa lebih kuat, saat ini saya rasa kita harus benar-benar mulai memikirkan apa itu plafon dan bagaimana sebenarnya kita bisa mencapainya,” kata Vitalik sebagai penutup.