EIP-2537: Ethereum eğrisi hesaplamalarının uzun yolu
EIP-2537, son zamanlarda Pectra çatallama yükseltmesinde eklenmesi belirlenen EVM önceden derlenmiş talimatıdır. Bu talimat, EVM'ye BLS12-381 eğrisi üzerinde bir dizi hesaplama işlevi ekler, bunlar arasında eğri alanındaki eşleme hesaplamaları da bulunmaktadır.
EIP-2573 ilk olarak 2020 yılında önerildi ve 2025 yılında Ethereum yükseltmesine dahil edilmesi onaylandı. Bu yazıda EIP-2537'nin yönetim süreci ele alınacak ve bu önerinin neden 5 yıl sonra yükseltmeye dahil edildiği tartışılacaktır.
Teklif Arka Planı
2017'nin Ocak ayında, Vitalik Buterin ilk kez eşleme algoritmasını ve alt_bn128 eğrisini tanıttı. Ardından Vitalik ve Christian Reitwiessner, EVM'ye alt_bn128 eğrisi hesaplama desteği eklemek için EIP-196 ve EIP-197'yi önerdiler. 2017'nin Ekim ayındaki Byzantium yükseltmesi, alt_bn128 eğrisini resmi olarak dahil etti ve EVM içinde eğri alanı eşleme hesaplamasını gerçekleştirdi, böylece ZK-Snarks kanıt doğrulaması EVM içinde tamamlanabildi.
2017 yılı Kasım ayında, zcash ekibi BLS12-381 eğrisini önerdi, alt_bn128'e kıyasla daha yüksek güvenlik ve performansa sahip. Birçok blok zinciri protokolü daha sonra BLS12-381 eğrisini benimseyerek alt_bn128 eğrisinden vazgeçti.
2018 Mayısında, Justin Drake, Ethereum'un gelecekteki PoS ve parçalanma yükseltmelerinin BLS12-381 eğrisine dayanan BLS çoklu imza algoritmasını kullanabileceğini belirtti. Bu, daha önceki EIP-1011 planının sahneden çekilmesine neden oldu ve sonraki ETH2 yükseltmesi de nihayet BLS12-381 eğrisini benimsedi.
ETH2 geliştirmeleri ile birlikte, BLS12-381'in ETH yürütme katmanına dahil edilmesi çağrıları artmaktadır. Şubat 2020'de, bazı araştırmacılar EIP-2537'yi önerdi ve ETH2 test ağında test edilmesini umdular. EIP-2537'nin yazarı Alex Stokes, bunu Berlin sert çatala dahil etme çağrısında bulundu.
İlginçtir ki, EIP-2537'nin yazarı aynı zamanda Matter Labs'ın kurucu ortağıdır ve Matter Labs'ın en ünlü ürünü ZKSync'tir.
Berlin Kargaşası
İçeriklerin tanıtımından önce, EIP-1962'ye değinmek gerekir. Bu, Matter Labs tarafından Nisan 2019'da önerilen ilk eliptik eğri alan eşleme ön tanım önerisidir ve BLS12, BN ve MNT4/6 olmak üzere üç eğriyi desteklemektedir. Bu EIP, farklı eğrileri işlemek için bir kerede 10 ön tanım komutu eklemeyi planlamaktadır. Ancak birçok geliştirici önerinin uygulanmasının çok karmaşık olduğunu ve akıllı sözleşme mühendisleri için kullanımının zor olduğunu sorgulamaktadır. Öneri sahibi olarak, Matter Labs eliptik eğri algoritma geliştirmesini tamamlamış ve çok dilli referans uygulamaları sağlamıştır.
EIP-1962 sorununu çözmek için, Matter Labs 2020 yılının Şubat ayında EIP-1962'yi parçalara ayıran birkaç EIP önerdi ve bunlardan bazıları arayüzünü devraldı:
EIP-2537, BLS12-381 desteği sağlar
EIP-2539, BLS12-377 desteği sağlar
PR#2541, BLS12-377(Zexe eğrisi) desteği sağlıyor, ancak EIP numarası almadı.
EIP-2537 en önemlisi çünkü konsensüs katmanı da BLS12-381 eğrisini kullanıyor. EIP-1962 ve EIP-2537'nin temel amacı ana ağda konsensüs katmanı BLS imza doğrulamasını gerçekleştirmektir. O zamanlar ETH2, depo sözleşmesi geliştiriyordu, çünkü yürütme katmanında BLS doğrulama algoritması yoktu, bu nedenle orijinal tasarımda depo sözleşmesi imzayı doğrulamıyordu, bunun yerine konsensüs katmanı doğruluyordu; eğer hatalı bulunursa, bu kullanıcıların fon kaybına neden olabilirdi.
Bu bağlamda, ana geliştiriciler, kullanıcı fonlarının kaybedilme olasılığını önlemek için, depo sözleşmesinde imzaları doğrulamak amacıyla BLS12-381 önceden derlenmiş kodunu tanıtmak istiyorlar. Bu, o dönemde birçok geliştiricinin EIP-1962 ve EIP-2537'ye dikkat etmesinin nedeniydi.
EIP-2537 ilk ortaya atıldığında, Vitalik bunun bir dizi sorunu olduğunu belirtti, bu sorunlar esas olarak EIP belgelerinin içeriğiyle ilgiliydi. Ardından yazar yanıt tartışmaları gerçekleştirdi. 6 Mart 2020'deki çekirdek geliştirici toplantısında, Vitalik EIP-2537'nin gibi geri dönüşümlü SNARK kanıtları için çok etkili olduğunu, uzun vadede Ethereum'a zarar vermeyeceğini düşündü. Toplantı, EIP-2537'nin önceliğini onayladı, tüm istemciler bunu mümkün olan en kısa sürede gerçekleştirmeyi kabul etti ve Berlin yükseltmesi öncesinde geliştirmeyi tamamlamayı planladı.
Sonrasında EIP-2537 yüksek öncelikli bir görev haline geldi. 20 Mart'taki toplantıda EIP-2537'nin EIP-1962'nin yerini alarak çekirdek BLS teklifi olarak Berlin yükseltme ön listesini girdiği onaylandı. Nisan ayındaki toplantıda EIP-2537'nin Berlin sert çatal yükseltmesine dahil edilmesi resmen belirlendi, Nisan ayında gerçekleştirilmesi ve Mayıs-Haziran aylarında test edilmesi için bir zaman çizelgesi belirlendi ve en yüksek öncelikli konular arasında yer aldı.
Sonrasında EIP-2537, büyük bir geliştirme test aşamasına girdi, sonraki yaklaşık 20 ana geliştirici toplantısında neredeyse her seferinde ilgili tartışmalar yapıldı. Ana içerikler şunları içeriyor:
ABI kodlama sorunları tartışması
Her istemci uygulaması ilerleme senkronizasyonu sağlıyor.
Geth uygulaması PR, 16000 satır kod içeriyor, güvenlik ve etkinliğini belirlemek zor.
Geliştiriciler, Geth'in EIP-2537 geliştirmesini Temmuz'dan önce tamamlamanın zor olduğunu belirtti.
PR incelemesi için kriptografi mühendisleri bulmayı önerin, testnet kullanarak güvenliği test edin.
Karmaşık derleme optimizasyonlarının kaldırılmasının denetlenme zorluğunu azaltıp azaltmayacağını tartışma
Depozit sözleşmesi geliştiricisi, EIP-2537 kullanılmayan sürümün denetiminin tamamlandığını ve EIP-2537'yi kullanan bir sürüm çıkarmayı düşünmediklerini belirtti.
EIP-2537'yi özel olarak test etmek için YOLO test ağını artırmaya karar verildi.
Buna göre, EIP-2537'nin önemi, depozit sözleşmesinin tamamlanmasıyla birlikte önemli ölçüde azalmış ve Geth geliştiricileri bunun Berlin'den önce gerçekleştirilmesinin zor olduğunu düşünüyor. EIP-2537'nin Berlin tarafından kabul edilmemesi neredeyse kesin gibi görünüyor.
Sonraki toplantılarda daha fazla sorun ortaya çıkıyor:
Geth, EIP-2537 uygulaması PR'sında bir sorun tespit etti, daha fazla test ve düzeltme gerekmektedir.
YOLO testnet sorun yaşıyor, BLS imzasıyla ilgili olduğu düşünülüyor.
İstemci çeşitliliği sorununu tartışmak, mevcut EIP uygulamasını dondurmayı ve diğer istemci geliştirme maliyetlerini azaltmayı düşünmek.
Matter Labs, EIP-2539'un testlere dahil edilmesini istiyor, ancak Geth geliştiricileri buna karşı çıkıyor.
Sonunda 99. çekirdek geliştirici toplantısında, EIP-2537'nin YOLO v3 test ağından ve Berlin yükseltmesinden çıkarılmasına karar verildi. Bunun başlıca nedeni, EIP-2537'nin çekirdek geliştiricilerden çok fazla zaman alması ve diğer EIP geliştirmelerinin engellenmesine neden olmasıdır. İkincil faktör ise Ethereum Vakfı'nın EVM384'ü alternatif bir çözüm olarak önermesidir.
2021 Nisan'ında, Ethereum Berlin yükseltmesini tamamladı, çekirdek içindeki EIP-2565 gibi uygulamalar pek karmaşık değil, yükseltme biraz zayıf görünüyor, bunun nedeni en karmaşık olan EIP-2537'nin dışarı atılması.
Gelecek Gelişmeler
Berlin sonrası Londra yükseltmesinde, geliştiriciler EIP-2537'yi eklemeyi düşündüler, ancak bağımlılık kütüphanesinin değiştirilmesi nedeniyle gaz fiyatlandırmasının değişme olasılığı olduğu için sonuçta karmaşıklık nedeniyle tekrar vazgeçildi.
2021 yılının Haziran ayında EIP-2537'nin Shanghai güncellemesine dahil edilmesi resmi olarak önerildi. Ancak Merge güncellemesi geliştiricilerin büyük miktarda zamanını aldı. 2022 Eylül ayında Merge tamamlandıktan sonra, geliştiricilerin Shanghai hedefini tartışma fırsatı oldu.
2022 Kasım ayında, geliştiriciler EIP-2537'nin ertelenmesi gerektiğini düşündüler, Shanghai yükseltmesinin temel amacı PoS çekimlerini desteklemektir. Cancun yükseltmesi EIP-4844'e odaklandığı için EIP-2537 de tartışılmamıştır.
2024 Şubat ayına kadar, geliştiriciler Pectra yükseltmesine EIP-2537'yi dahil etmeyi tartıştılar ve uygulamanın artık bir sorun olmadığını, sadece bazı gaz tüketim fiyatlandırma sorunlarının olduğunu düşündüler. 2024 Aralık'tan 2025 Ocak'a kadar, geliştiriciler belirli maliyet hesaplama modellerini tartıştılar ve nihayetinde EIP-2537 maliyet sorununu çözdüler.
Özet
EIP-2537, 2020 Şubat'ta önerilen ve 2025 Ocak'ta nihai hale getirilen, yaklaşık 5 yıl süren bir süreçten geçmiştir. Bu süre zarfında, karmaşıklık veya yükseltme temasıyla uyumsuzluk nedeniyle birçok kez ertelenmiştir. Bu, EIP'nin Ethereum yükseltmesine dahil edilip edilmeyeceğinin yalnızca kendi değerine değil, aynı zamanda tarihsel süreç faktörlerine de bağlı olduğunu göstermektedir. Her Ethereum yükseltmesinin kendine özgü bir teması vardır; EIP-2537, Berlin yükseltmesinin en önemli EIP'si olmasına rağmen, zorluklar nedeniyle terk edilmiştir. Ardından Ethereum, PoS tarihsel sürecine girmiştir; saf yürütme katmanı EIP'leri önemsenmemiş, bu da EIP-2537'nin uzun süre kabul edilmemesine neden olmuştur.
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.
17 Likes
Reward
17
7
Repost
Share
Comment
0/400
BakedCatFanboy
· 08-09 07:22
Sekiz yıl bekledim, sonunda geldi.
View OriginalReply0
rugpull_ptsd
· 08-06 22:13
Beş yıl sonra zincire bağlanmak, gerçekten beklemek gerek.
View OriginalReply0
MetaverseHermit
· 08-06 08:26
Beş yılda bir güncelleme tamamlamak, gerçekten çok sıkıcı.
View OriginalReply0
CoconutWaterBoy
· 08-06 08:25
Beş yılda bir güncelleniyor, gerçekten sağlam.
View OriginalReply0
SignatureVerifier
· 08-06 08:24
teknik olarak bu bls uygulamasının ciddi bir pentesting'e ihtiyacı var, daha önce bu yarım pişmiş ön derlemeleri gördük...
View OriginalReply0
MEVHunterX
· 08-06 08:14
Bu öneri de çok uzatılmış.
View OriginalReply0
TrustMeBro
· 08-06 08:14
5 yıl... Görünüşe göre bu yükseltme işi gerçekten kolay değil.
EIP-2537'nin uzun yolu: Berlin yükseltmesinin reddedilmesinden Pectra'nın nihayet kabul edilmesine
EIP-2537: Ethereum eğrisi hesaplamalarının uzun yolu
EIP-2537, son zamanlarda Pectra çatallama yükseltmesinde eklenmesi belirlenen EVM önceden derlenmiş talimatıdır. Bu talimat, EVM'ye BLS12-381 eğrisi üzerinde bir dizi hesaplama işlevi ekler, bunlar arasında eğri alanındaki eşleme hesaplamaları da bulunmaktadır.
EIP-2573 ilk olarak 2020 yılında önerildi ve 2025 yılında Ethereum yükseltmesine dahil edilmesi onaylandı. Bu yazıda EIP-2537'nin yönetim süreci ele alınacak ve bu önerinin neden 5 yıl sonra yükseltmeye dahil edildiği tartışılacaktır.
Teklif Arka Planı
2017'nin Ocak ayında, Vitalik Buterin ilk kez eşleme algoritmasını ve alt_bn128 eğrisini tanıttı. Ardından Vitalik ve Christian Reitwiessner, EVM'ye alt_bn128 eğrisi hesaplama desteği eklemek için EIP-196 ve EIP-197'yi önerdiler. 2017'nin Ekim ayındaki Byzantium yükseltmesi, alt_bn128 eğrisini resmi olarak dahil etti ve EVM içinde eğri alanı eşleme hesaplamasını gerçekleştirdi, böylece ZK-Snarks kanıt doğrulaması EVM içinde tamamlanabildi.
2017 yılı Kasım ayında, zcash ekibi BLS12-381 eğrisini önerdi, alt_bn128'e kıyasla daha yüksek güvenlik ve performansa sahip. Birçok blok zinciri protokolü daha sonra BLS12-381 eğrisini benimseyerek alt_bn128 eğrisinden vazgeçti.
2018 Mayısında, Justin Drake, Ethereum'un gelecekteki PoS ve parçalanma yükseltmelerinin BLS12-381 eğrisine dayanan BLS çoklu imza algoritmasını kullanabileceğini belirtti. Bu, daha önceki EIP-1011 planının sahneden çekilmesine neden oldu ve sonraki ETH2 yükseltmesi de nihayet BLS12-381 eğrisini benimsedi.
ETH2 geliştirmeleri ile birlikte, BLS12-381'in ETH yürütme katmanına dahil edilmesi çağrıları artmaktadır. Şubat 2020'de, bazı araştırmacılar EIP-2537'yi önerdi ve ETH2 test ağında test edilmesini umdular. EIP-2537'nin yazarı Alex Stokes, bunu Berlin sert çatala dahil etme çağrısında bulundu.
İlginçtir ki, EIP-2537'nin yazarı aynı zamanda Matter Labs'ın kurucu ortağıdır ve Matter Labs'ın en ünlü ürünü ZKSync'tir.
Berlin Kargaşası
İçeriklerin tanıtımından önce, EIP-1962'ye değinmek gerekir. Bu, Matter Labs tarafından Nisan 2019'da önerilen ilk eliptik eğri alan eşleme ön tanım önerisidir ve BLS12, BN ve MNT4/6 olmak üzere üç eğriyi desteklemektedir. Bu EIP, farklı eğrileri işlemek için bir kerede 10 ön tanım komutu eklemeyi planlamaktadır. Ancak birçok geliştirici önerinin uygulanmasının çok karmaşık olduğunu ve akıllı sözleşme mühendisleri için kullanımının zor olduğunu sorgulamaktadır. Öneri sahibi olarak, Matter Labs eliptik eğri algoritma geliştirmesini tamamlamış ve çok dilli referans uygulamaları sağlamıştır.
EIP-1962 sorununu çözmek için, Matter Labs 2020 yılının Şubat ayında EIP-1962'yi parçalara ayıran birkaç EIP önerdi ve bunlardan bazıları arayüzünü devraldı:
EIP-2537 en önemlisi çünkü konsensüs katmanı da BLS12-381 eğrisini kullanıyor. EIP-1962 ve EIP-2537'nin temel amacı ana ağda konsensüs katmanı BLS imza doğrulamasını gerçekleştirmektir. O zamanlar ETH2, depo sözleşmesi geliştiriyordu, çünkü yürütme katmanında BLS doğrulama algoritması yoktu, bu nedenle orijinal tasarımda depo sözleşmesi imzayı doğrulamıyordu, bunun yerine konsensüs katmanı doğruluyordu; eğer hatalı bulunursa, bu kullanıcıların fon kaybına neden olabilirdi.
Bu bağlamda, ana geliştiriciler, kullanıcı fonlarının kaybedilme olasılığını önlemek için, depo sözleşmesinde imzaları doğrulamak amacıyla BLS12-381 önceden derlenmiş kodunu tanıtmak istiyorlar. Bu, o dönemde birçok geliştiricinin EIP-1962 ve EIP-2537'ye dikkat etmesinin nedeniydi.
EIP-2537 ilk ortaya atıldığında, Vitalik bunun bir dizi sorunu olduğunu belirtti, bu sorunlar esas olarak EIP belgelerinin içeriğiyle ilgiliydi. Ardından yazar yanıt tartışmaları gerçekleştirdi. 6 Mart 2020'deki çekirdek geliştirici toplantısında, Vitalik EIP-2537'nin gibi geri dönüşümlü SNARK kanıtları için çok etkili olduğunu, uzun vadede Ethereum'a zarar vermeyeceğini düşündü. Toplantı, EIP-2537'nin önceliğini onayladı, tüm istemciler bunu mümkün olan en kısa sürede gerçekleştirmeyi kabul etti ve Berlin yükseltmesi öncesinde geliştirmeyi tamamlamayı planladı.
Sonrasında EIP-2537 yüksek öncelikli bir görev haline geldi. 20 Mart'taki toplantıda EIP-2537'nin EIP-1962'nin yerini alarak çekirdek BLS teklifi olarak Berlin yükseltme ön listesini girdiği onaylandı. Nisan ayındaki toplantıda EIP-2537'nin Berlin sert çatal yükseltmesine dahil edilmesi resmen belirlendi, Nisan ayında gerçekleştirilmesi ve Mayıs-Haziran aylarında test edilmesi için bir zaman çizelgesi belirlendi ve en yüksek öncelikli konular arasında yer aldı.
Sonrasında EIP-2537, büyük bir geliştirme test aşamasına girdi, sonraki yaklaşık 20 ana geliştirici toplantısında neredeyse her seferinde ilgili tartışmalar yapıldı. Ana içerikler şunları içeriyor:
Buna göre, EIP-2537'nin önemi, depozit sözleşmesinin tamamlanmasıyla birlikte önemli ölçüde azalmış ve Geth geliştiricileri bunun Berlin'den önce gerçekleştirilmesinin zor olduğunu düşünüyor. EIP-2537'nin Berlin tarafından kabul edilmemesi neredeyse kesin gibi görünüyor.
Sonraki toplantılarda daha fazla sorun ortaya çıkıyor:
Sonunda 99. çekirdek geliştirici toplantısında, EIP-2537'nin YOLO v3 test ağından ve Berlin yükseltmesinden çıkarılmasına karar verildi. Bunun başlıca nedeni, EIP-2537'nin çekirdek geliştiricilerden çok fazla zaman alması ve diğer EIP geliştirmelerinin engellenmesine neden olmasıdır. İkincil faktör ise Ethereum Vakfı'nın EVM384'ü alternatif bir çözüm olarak önermesidir.
2021 Nisan'ında, Ethereum Berlin yükseltmesini tamamladı, çekirdek içindeki EIP-2565 gibi uygulamalar pek karmaşık değil, yükseltme biraz zayıf görünüyor, bunun nedeni en karmaşık olan EIP-2537'nin dışarı atılması.
Gelecek Gelişmeler
Berlin sonrası Londra yükseltmesinde, geliştiriciler EIP-2537'yi eklemeyi düşündüler, ancak bağımlılık kütüphanesinin değiştirilmesi nedeniyle gaz fiyatlandırmasının değişme olasılığı olduğu için sonuçta karmaşıklık nedeniyle tekrar vazgeçildi.
2021 yılının Haziran ayında EIP-2537'nin Shanghai güncellemesine dahil edilmesi resmi olarak önerildi. Ancak Merge güncellemesi geliştiricilerin büyük miktarda zamanını aldı. 2022 Eylül ayında Merge tamamlandıktan sonra, geliştiricilerin Shanghai hedefini tartışma fırsatı oldu.
2022 Kasım ayında, geliştiriciler EIP-2537'nin ertelenmesi gerektiğini düşündüler, Shanghai yükseltmesinin temel amacı PoS çekimlerini desteklemektir. Cancun yükseltmesi EIP-4844'e odaklandığı için EIP-2537 de tartışılmamıştır.
2024 Şubat ayına kadar, geliştiriciler Pectra yükseltmesine EIP-2537'yi dahil etmeyi tartıştılar ve uygulamanın artık bir sorun olmadığını, sadece bazı gaz tüketim fiyatlandırma sorunlarının olduğunu düşündüler. 2024 Aralık'tan 2025 Ocak'a kadar, geliştiriciler belirli maliyet hesaplama modellerini tartıştılar ve nihayetinde EIP-2537 maliyet sorununu çözdüler.
Özet
EIP-2537, 2020 Şubat'ta önerilen ve 2025 Ocak'ta nihai hale getirilen, yaklaşık 5 yıl süren bir süreçten geçmiştir. Bu süre zarfında, karmaşıklık veya yükseltme temasıyla uyumsuzluk nedeniyle birçok kez ertelenmiştir. Bu, EIP'nin Ethereum yükseltmesine dahil edilip edilmeyeceğinin yalnızca kendi değerine değil, aynı zamanda tarihsel süreç faktörlerine de bağlı olduğunu göstermektedir. Her Ethereum yükseltmesinin kendine özgü bir teması vardır; EIP-2537, Berlin yükseltmesinin en önemli EIP'si olmasına rağmen, zorluklar nedeniyle terk edilmiştir. Ardından Ethereum, PoS tarihsel sürecine girmiştir; saf yürütme katmanı EIP'leri önemsenmemiş, bu da EIP-2537'nin uzun süre kabul edilmemesine neden olmuştur.