EIP-2537:Perjalanan Panjang Perhitungan Kurva Ethereum
EIP-2537 adalah instruksi pra-kompilasi EVM yang ditambahkan dalam pembaruan fork Pectra terbaru. Instruksi ini menambahkan berbagai fungsi perhitungan untuk kurva BLS12-381 pada EVM, termasuk perhitungan pasangan di domain kurva.
EIP-2573 awalnya diajukan pada tahun 2020, dan baru dikonfirmasi untuk dimasukkan ke dalam peningkatan Ethereum pada tahun 2025. Artikel ini akan memperkenalkan perjalanan tata kelola EIP-2537 dan membahas mengapa proposal ini baru dimasukkan ke dalam peningkatan setelah 5 tahun.
Latar Belakang Proposal
Pada Januari 2017, Vitalik Buterin pertama kali memperkenalkan algoritma pasangan dan kurva alt_bn128. Kemudian Vitalik dan Christian Reitwiessner mengusulkan EIP-196 dan EIP-197, untuk menambah dukungan perhitungan kurva alt_bn128 ke EVM. Pembaruan Byzantium pada bulan Oktober 2017 secara resmi mengadopsi kurva alt_bn128, memungkinkan perhitungan pasangan dalam domain kurva di dalam EVM, sehingga verifikasi bukti ZK-Snarks dapat dilakukan di dalam EVM.
Pada November 2017, tim zcash mengusulkan kurva BLS12-381, yang memiliki keamanan dan kinerja lebih tinggi dibandingkan alt_bn128. Banyak protokol blockchain kemudian mengadopsi kurva BLS12-381, meninggalkan kurva alt_bn128.
Pada Mei 2018, Justin Drake menunjukkan bahwa peningkatan PoS dan sharding di masa depan untuk Ethereum dapat menggunakan algoritma multi-tanda tangan BLS berbasis kurva BLS12-381. Ini membuat skema EIP-1011 sebelumnya keluar dari panggung, dan peningkatan ETH2 yang akan datang akhirnya juga mengadopsi kurva BLS12-381.
Dengan pengembangan ETH2, seruan untuk memperkenalkan BLS12-381 ke dalam lapisan eksekusi ETH semakin meningkat. Pada Februari 2020, beberapa peneliti mengusulkan EIP-2537, berharap untuk menguji ini di testnet ETH2. Penulis EIP-2537, Alex Stokes, menyerukan agar ini dimasukkan ke dalam hard fork Berlin.
Menariknya, penulis EIP-2537 juga merupakan salah satu pendiri Matter Labs, yang produk paling terkenal adalah ZKSync.
Kacau Berlin
Sebelum memperkenalkan konten selanjutnya, perlu disebutkan EIP-1962. Ini adalah proposal prekompilasi domain kurva elips pertama yang diajukan oleh Matter Labs pada April 2019, mendukung tiga kurva yaitu BLS12, BN, dan MNT4/6. EIP ini berencana untuk menambahkan 10 instruksi prekompilasi sekaligus untuk menangani kurva yang berbeda. Namun, banyak pengembang mempertanyakan bahwa proposal ini terlalu kompleks dan sulit untuk diimplementasikan, serta tidak nyaman digunakan oleh insinyur kontrak pintar. Sebagai pihak yang mengajukan proposal, Matter Labs telah menyelesaikan pengembangan algoritma kurva elips dan menyediakan referensi implementasi dalam berbagai bahasa.
Untuk menyelesaikan masalah EIP-1962, Matter Labs mengusulkan beberapa pemisahan EIP-1962 pada bulan Februari 2020, sebagian mewarisi antarmukanya:
EIP-2537 menyediakan dukungan BLS12-381
EIP-2539 menyediakan dukungan untuk BLS12-377
PR#2541 menyediakan dukungan kurva BLS12-377(Zexe ), tetapi belum mendapatkan nomor EIP.
Di antara mereka, EIP-2537 adalah yang paling penting, karena lapisan konsensus juga menggunakan kurva BLS12-381. Tujuan inti dari EIP-1962 dan EIP-2537 adalah untuk mewujudkan verifikasi tanda tangan BLS di lapisan konsensus pada jaringan utama. Saat itu ETH2 sedang mengembangkan kontrak setoran, dan karena lapisan eksekusi kekurangan algoritma verifikasi BLS, kontrak setoran dalam desain awal tidak memverifikasi tanda tangan, tetapi diverifikasi oleh lapisan konsensus, jika ditemukan tidak benar dapat menyebabkan kerugian dana pengguna.
Dalam konteks ini, pengembang inti ingin memperkenalkan pra-kompilasi BLS12-381 untuk memverifikasi tanda tangan dalam kontrak setoran, guna menghindari kemungkinan kehilangan dana pengguna. Ini adalah alasan mengapa banyak pengembang saat itu memperhatikan EIP-1962 dan EIP-2537.
Ketika EIP-2537 baru saja diajukan, Vitalik segera menunjukkan bahwa ada serangkaian masalah yang terutama berfokus pada konten dokumen EIP. Kemudian penulis melakukan diskusi balasan. Pada pertemuan pengembang inti pada 6 Maret 2020, Vitalik berpendapat bahwa EIP-2537 dan lainnya sangat efektif untuk bukti SNARK rekursif, dan dalam jangka panjang tidak akan merugikan Ethereum. Pertemuan tersebut mengonfirmasi status prioritas EIP-2537, semua klien setuju untuk segera mengimplementasikannya dan merencanakan penyelesaian pengembangan sebelum peningkatan Berlin.
Kemudian EIP-2537 menjadi tugas prioritas tinggi. Pertemuan pada 20 Maret mengonfirmasi bahwa EIP-2537 menggantikan EIP-1962 sebagai proposal BLS inti dan masuk dalam daftar prasyarat untuk peningkatan Berlin. Pertemuan pada bulan April secara resmi memasukkan EIP-2537 ke dalam peningkatan hard fork Berlin, menetapkan jadwal implementasi pada bulan April dan pengujian pada bulan Mei-Juni, serta menjadikannya sebagai hal yang paling prioritas.
Selanjutnya EIP-2537 memasuki tahap pengembangan dan pengujian yang besar, hampir setiap kali dalam sekitar 20 pertemuan pengembang inti berikutnya selalu melibatkan diskusi terkait. Konten utama termasuk:
Diskusi masalah encoding ABI
Progres sinkronisasi implementasi klien
Implementasi Geth PR memiliki 16000 baris kode, sulit untuk menentukan keamanan dan efektivitasnya.
Pengembang menyatakan bahwa Geth sulit untuk menyelesaikan pengembangan EIP-2537 sebelum bulan Juli.
Mengusulkan untuk mencari insinyur kriptografi untuk membantu tinjauan PR, menggunakan jaringan uji untuk menguji keamanan implementasi
Diskusikan apakah akan menghapus optimasi assembly kompleks untuk mengurangi kesulitan pemeriksaan
Pengembang kontrak deposit menyatakan bahwa versi yang tidak menggunakan EIP-2537 telah diaudit dan mempertimbangkan untuk tidak meluncurkan versi yang menggunakan EIP-2537.
Memutuskan untuk menambah pengujian khusus YOLO testnet untuk EIP-2537
Dari sini dapat dilihat bahwa pentingnya EIP-2537 telah menurun secara signifikan setelah kontrak deposit selesai, dan para pengembang Geth percaya bahwa sulit untuk mencapainya sebelum Berlin. Tampaknya EIP-2537 tidak akan diterima di Berlin.
Masalah lebih lanjut muncul dalam pertemuan berikutnya:
Geth menemukan masalah pada implementasi PR EIP-2537, perlu pengujian dan perbaikan lebih lanjut
Masalah muncul di jaringan uji YOLO, dicurigai terkait dengan tanda tangan BLS
Membahas masalah keragaman klien, mempertimbangkan untuk membekukan implementasi EIP saat ini untuk mengurangi biaya pengembangan klien lain
Matter Labs berharap untuk memasukkan EIP-2539 dalam pengujian, tetapi ditentang oleh pengembang Geth
Akhirnya, pada pertemuan pengembang inti yang ke-99, diputuskan untuk mengeluarkan EIP-2537 dari jaringan uji YOLO v3 dan peningkatan Berlin. Alasan utamanya adalah EIP-2537 menghabiskan terlalu banyak waktu pengembang inti, yang menyebabkan pengembangan EIP lainnya terhambat. Faktor sekunder adalah bahwa Yayasan Ethereum mengusulkan EVM384 sebagai alternatif.
Pada April 2021, Ethereum menyelesaikan peningkatan Berlin, inti dari peningkatan ini termasuk implementasi EIP-2565 yang tidak terlalu rumit, peningkatan ini terasa sedikit tipis, karena EIP-2537 yang paling kompleks dikeluarkan.
Perkembangan Selanjutnya
London setelah Berlin sedang dalam peningkatan, pengembang pernah mempertimbangkan untuk menambahkan EIP-2537, tetapi karena penggantian perpustakaan yang diperlukan dapat menyebabkan perubahan harga gas, akhirnya karena kompleksitas kembali ditinggalkan.
Pada bulan Juni 2021, diusulkan secara resmi untuk memasukkan EIP-2537 ke dalam pembaruan Shanghai. Namun, pembaruan Merge menyita banyak waktu pengembang. Setelah Merge selesai pada bulan September 2022, pengembang baru memiliki kesempatan untuk melanjutkan diskusi tentang tujuan Shanghai.
Pada November 2022, para pengembang berpendapat bahwa EIP-2537 perlu ditunda, inti dari pembaruan Shanghai adalah mendukung penarikan PoS. Pembaruan Cancun juga tidak mendiskusikan EIP-2537 karena fokus pada EIP-4844.
Hingga Februari 2024, para pengembang baru membahas penggabungan EIP-2537 dalam peningkatan Pectra, menganggap bahwa implementasinya bukan lagi masalah, hanya ada beberapa masalah penetapan harga konsumsi gas. Dari Desember 2024 hingga Januari 2025, para pengembang membahas model perhitungan biaya yang spesifik, akhirnya menyelesaikan masalah biaya EIP-2537.
Ringkasan
EIP-2537 diajukan pada Februari 2020 dan akhirnya ditetapkan pada Januari 2025, melalui hampir 5 tahun waktu. Selama periode tersebut, EIP ini beberapa kali ditunda karena kompleksitas implementasi atau tidak sesuai dengan tema peningkatan. Ini menunjukkan bahwa apakah EIP dapat dimasukkan ke dalam peningkatan Ethereum, tidak hanya bergantung pada nilai intrisiknya, tetapi juga perlu mempertimbangkan faktor-faktor sejarah. Setiap peningkatan Ethereum memiliki tema tersendiri, meskipun EIP-2537 pernah menjadi EIP terpenting dalam peningkatan Berlin, namun dibatalkan karena tingkat kesulitan. Selanjutnya, Ethereum memasuki proses sejarah PoS, EIP di lapisan eksekusi murni tidak mendapat perhatian, yang menyebabkan EIP-2537 lama tidak diterima.
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.
17 Suka
Hadiah
17
7
Posting ulang
Bagikan
Komentar
0/400
BakedCatFanboy
· 08-09 07:22
Akhirnya datang setelah menunggu selama delapan tahun
Lihat AsliBalas0
rugpull_ptsd
· 08-06 22:13
Lima tahun baru bisa di-link, benar-benar bisa menunggu.
Lihat AsliBalas0
MetaverseHermit
· 08-06 08:26
Lima tahun baru selesai satu pembaruan, benar-benar lambat.
Lihat AsliBalas0
CoconutWaterBoy
· 08-06 08:25
Lima tahun baru naik level, benar-benar stabil.
Lihat AsliBalas0
SignatureVerifier
· 08-06 08:24
secara teknis impl bls ini membutuhkan pentesting yang serius, kami telah melihat prekompilasi setengah matang seperti ini sebelumnya...
Lihat AsliBalas0
MEVHunterX
· 08-06 08:14
Usulan ini juga terlalu bertele-tele.
Lihat AsliBalas0
TrustMeBro
· 08-06 08:14
5 tahun... Sepertinya melakukan upgrade ini memang tidak mudah
EIP-2537 Jalan Panjang: Dari Penolakan Upgrade Berlin hingga Pectra Akhirnya Diterima
EIP-2537:Perjalanan Panjang Perhitungan Kurva Ethereum
EIP-2537 adalah instruksi pra-kompilasi EVM yang ditambahkan dalam pembaruan fork Pectra terbaru. Instruksi ini menambahkan berbagai fungsi perhitungan untuk kurva BLS12-381 pada EVM, termasuk perhitungan pasangan di domain kurva.
EIP-2573 awalnya diajukan pada tahun 2020, dan baru dikonfirmasi untuk dimasukkan ke dalam peningkatan Ethereum pada tahun 2025. Artikel ini akan memperkenalkan perjalanan tata kelola EIP-2537 dan membahas mengapa proposal ini baru dimasukkan ke dalam peningkatan setelah 5 tahun.
Latar Belakang Proposal
Pada Januari 2017, Vitalik Buterin pertama kali memperkenalkan algoritma pasangan dan kurva alt_bn128. Kemudian Vitalik dan Christian Reitwiessner mengusulkan EIP-196 dan EIP-197, untuk menambah dukungan perhitungan kurva alt_bn128 ke EVM. Pembaruan Byzantium pada bulan Oktober 2017 secara resmi mengadopsi kurva alt_bn128, memungkinkan perhitungan pasangan dalam domain kurva di dalam EVM, sehingga verifikasi bukti ZK-Snarks dapat dilakukan di dalam EVM.
Pada November 2017, tim zcash mengusulkan kurva BLS12-381, yang memiliki keamanan dan kinerja lebih tinggi dibandingkan alt_bn128. Banyak protokol blockchain kemudian mengadopsi kurva BLS12-381, meninggalkan kurva alt_bn128.
Pada Mei 2018, Justin Drake menunjukkan bahwa peningkatan PoS dan sharding di masa depan untuk Ethereum dapat menggunakan algoritma multi-tanda tangan BLS berbasis kurva BLS12-381. Ini membuat skema EIP-1011 sebelumnya keluar dari panggung, dan peningkatan ETH2 yang akan datang akhirnya juga mengadopsi kurva BLS12-381.
Dengan pengembangan ETH2, seruan untuk memperkenalkan BLS12-381 ke dalam lapisan eksekusi ETH semakin meningkat. Pada Februari 2020, beberapa peneliti mengusulkan EIP-2537, berharap untuk menguji ini di testnet ETH2. Penulis EIP-2537, Alex Stokes, menyerukan agar ini dimasukkan ke dalam hard fork Berlin.
Menariknya, penulis EIP-2537 juga merupakan salah satu pendiri Matter Labs, yang produk paling terkenal adalah ZKSync.
Kacau Berlin
Sebelum memperkenalkan konten selanjutnya, perlu disebutkan EIP-1962. Ini adalah proposal prekompilasi domain kurva elips pertama yang diajukan oleh Matter Labs pada April 2019, mendukung tiga kurva yaitu BLS12, BN, dan MNT4/6. EIP ini berencana untuk menambahkan 10 instruksi prekompilasi sekaligus untuk menangani kurva yang berbeda. Namun, banyak pengembang mempertanyakan bahwa proposal ini terlalu kompleks dan sulit untuk diimplementasikan, serta tidak nyaman digunakan oleh insinyur kontrak pintar. Sebagai pihak yang mengajukan proposal, Matter Labs telah menyelesaikan pengembangan algoritma kurva elips dan menyediakan referensi implementasi dalam berbagai bahasa.
Untuk menyelesaikan masalah EIP-1962, Matter Labs mengusulkan beberapa pemisahan EIP-1962 pada bulan Februari 2020, sebagian mewarisi antarmukanya:
Di antara mereka, EIP-2537 adalah yang paling penting, karena lapisan konsensus juga menggunakan kurva BLS12-381. Tujuan inti dari EIP-1962 dan EIP-2537 adalah untuk mewujudkan verifikasi tanda tangan BLS di lapisan konsensus pada jaringan utama. Saat itu ETH2 sedang mengembangkan kontrak setoran, dan karena lapisan eksekusi kekurangan algoritma verifikasi BLS, kontrak setoran dalam desain awal tidak memverifikasi tanda tangan, tetapi diverifikasi oleh lapisan konsensus, jika ditemukan tidak benar dapat menyebabkan kerugian dana pengguna.
Dalam konteks ini, pengembang inti ingin memperkenalkan pra-kompilasi BLS12-381 untuk memverifikasi tanda tangan dalam kontrak setoran, guna menghindari kemungkinan kehilangan dana pengguna. Ini adalah alasan mengapa banyak pengembang saat itu memperhatikan EIP-1962 dan EIP-2537.
Ketika EIP-2537 baru saja diajukan, Vitalik segera menunjukkan bahwa ada serangkaian masalah yang terutama berfokus pada konten dokumen EIP. Kemudian penulis melakukan diskusi balasan. Pada pertemuan pengembang inti pada 6 Maret 2020, Vitalik berpendapat bahwa EIP-2537 dan lainnya sangat efektif untuk bukti SNARK rekursif, dan dalam jangka panjang tidak akan merugikan Ethereum. Pertemuan tersebut mengonfirmasi status prioritas EIP-2537, semua klien setuju untuk segera mengimplementasikannya dan merencanakan penyelesaian pengembangan sebelum peningkatan Berlin.
Kemudian EIP-2537 menjadi tugas prioritas tinggi. Pertemuan pada 20 Maret mengonfirmasi bahwa EIP-2537 menggantikan EIP-1962 sebagai proposal BLS inti dan masuk dalam daftar prasyarat untuk peningkatan Berlin. Pertemuan pada bulan April secara resmi memasukkan EIP-2537 ke dalam peningkatan hard fork Berlin, menetapkan jadwal implementasi pada bulan April dan pengujian pada bulan Mei-Juni, serta menjadikannya sebagai hal yang paling prioritas.
Selanjutnya EIP-2537 memasuki tahap pengembangan dan pengujian yang besar, hampir setiap kali dalam sekitar 20 pertemuan pengembang inti berikutnya selalu melibatkan diskusi terkait. Konten utama termasuk:
Dari sini dapat dilihat bahwa pentingnya EIP-2537 telah menurun secara signifikan setelah kontrak deposit selesai, dan para pengembang Geth percaya bahwa sulit untuk mencapainya sebelum Berlin. Tampaknya EIP-2537 tidak akan diterima di Berlin.
Masalah lebih lanjut muncul dalam pertemuan berikutnya:
Akhirnya, pada pertemuan pengembang inti yang ke-99, diputuskan untuk mengeluarkan EIP-2537 dari jaringan uji YOLO v3 dan peningkatan Berlin. Alasan utamanya adalah EIP-2537 menghabiskan terlalu banyak waktu pengembang inti, yang menyebabkan pengembangan EIP lainnya terhambat. Faktor sekunder adalah bahwa Yayasan Ethereum mengusulkan EVM384 sebagai alternatif.
Pada April 2021, Ethereum menyelesaikan peningkatan Berlin, inti dari peningkatan ini termasuk implementasi EIP-2565 yang tidak terlalu rumit, peningkatan ini terasa sedikit tipis, karena EIP-2537 yang paling kompleks dikeluarkan.
Perkembangan Selanjutnya
London setelah Berlin sedang dalam peningkatan, pengembang pernah mempertimbangkan untuk menambahkan EIP-2537, tetapi karena penggantian perpustakaan yang diperlukan dapat menyebabkan perubahan harga gas, akhirnya karena kompleksitas kembali ditinggalkan.
Pada bulan Juni 2021, diusulkan secara resmi untuk memasukkan EIP-2537 ke dalam pembaruan Shanghai. Namun, pembaruan Merge menyita banyak waktu pengembang. Setelah Merge selesai pada bulan September 2022, pengembang baru memiliki kesempatan untuk melanjutkan diskusi tentang tujuan Shanghai.
Pada November 2022, para pengembang berpendapat bahwa EIP-2537 perlu ditunda, inti dari pembaruan Shanghai adalah mendukung penarikan PoS. Pembaruan Cancun juga tidak mendiskusikan EIP-2537 karena fokus pada EIP-4844.
Hingga Februari 2024, para pengembang baru membahas penggabungan EIP-2537 dalam peningkatan Pectra, menganggap bahwa implementasinya bukan lagi masalah, hanya ada beberapa masalah penetapan harga konsumsi gas. Dari Desember 2024 hingga Januari 2025, para pengembang membahas model perhitungan biaya yang spesifik, akhirnya menyelesaikan masalah biaya EIP-2537.
Ringkasan
EIP-2537 diajukan pada Februari 2020 dan akhirnya ditetapkan pada Januari 2025, melalui hampir 5 tahun waktu. Selama periode tersebut, EIP ini beberapa kali ditunda karena kompleksitas implementasi atau tidak sesuai dengan tema peningkatan. Ini menunjukkan bahwa apakah EIP dapat dimasukkan ke dalam peningkatan Ethereum, tidak hanya bergantung pada nilai intrisiknya, tetapi juga perlu mempertimbangkan faktor-faktor sejarah. Setiap peningkatan Ethereum memiliki tema tersendiri, meskipun EIP-2537 pernah menjadi EIP terpenting dalam peningkatan Berlin, namun dibatalkan karena tingkat kesulitan. Selanjutnya, Ethereum memasuki proses sejarah PoS, EIP di lapisan eksekusi murni tidak mendapat perhatian, yang menyebabkan EIP-2537 lama tidak diterima.