Ethereum Kurucu Ortağı Vitalik Buterin, blogunda "Circle STARK'ları Keşfetmek" başlıklı yeni bir makale yayınladı. Makale, izin gerektirmeyen merkezi olmayan geçerlilik toplama Starkware'in bir M3 çipli dizüstü bilgisayarda saniyede 620.000 Poseidon2 hash değerini işleyebileceğini vurguluyor. Bu ilerleme, Poseidon2'ye bir karma işlevi olarak güvenilmesi durumunda, verimli bir sıfır bilgili Ethereum Sanal Makinesi (EVM) geliştirmedeki zorluğun çözüldüğünü göstermektedir.
Makale, çember STARK'ların, standart STARK'lara kıyasla geliştiriciler için minimum düzeyde ek karmaşıklık getirdiğine dikkat çekiyor. Temel farklılıklar, normal FRI'nin aksine, bunları uygularken esasen üç temel konu ile sınırlıdır.
FRI çemberinde kullanılan "polinomların" ardındaki matematiksel ilkeler biraz mantığa aykırı olsa da ve tam olarak anlaşılması zaman gerektirse de, bu karmaşıklık büyük ölçüde geliştiricilerden gizlenmiştir. Makale, çemberin matematiksel ilkelerinin karmaşık doğasının sistematik olmaktan çok özetlenmiş olduğunu vurguluyor.
Bu arada, daire FRI'sını ve daire FFT'lerini anlamak, diğer uzmanlaşmış FFT'lere de yararlı bir giriş görevi görebilir. Özellikle, Binius ve LibSTARK gibi sistemlerde kullanılan ikili alanlı FFT'lerin yanı sıra eliptik eğri FFT'ler gibi daha karmaşık yapılar da buna dahildir. Eliptik eğri FFT'leri, eliptik eğri noktası işlemleriyle iyi bir şekilde bütünleşen birkaça 1 eşlemeler kullanır.
STARK çemberini keşfetmehttps://t.co/WoVeucLXS6
Bu kavramları anlama konusunda nazik destekleri için @StarkwareLtd arkadaşlarına teşekkür ederiz!
Ayrıca https://t.co/qJP3lnaS8m adresindeki uygulamama bakın.
- vitalik.eth (@VitalikButerin) 23 Temmuz 2024
Vitalik Buterin, STARK Optimizasyonunda Önemli Bir Gelişme Olarak Temel İlkellerin Aritmetizasyonunu Öngörüyor
Son olarak Vitalik Buterin, Mersenne31, BabyBear gibi teknikleri ve Binius gibi ikili alan yöntemlerini birleştirmenin STARK'ın "temel katmanının" verimlilik sınırına yaklaştığını öne sürüyor. STARK optimizasyonunda gelecekteki ilerlemelerin, karma işlevleri ve imzalar gibi temel temel öğelerin aritmetizasyonunu optimize etmeye ve amaca ulaşmak için bu ilkel öğeleri kendilerini geliştirmeye odaklanacağını öngörüyor.
Ek olarak, daha fazla paralelleştirme sağlamak için özyinelemeli yapılar geliştirmeye, geliştirici deneyimini geliştirmek için sanal makinelerin (VM'ler) aritmetize edilmesine ve diğer gelişmiş görevlerin ele alınmasına vurgu yapılacaktır.
Vitalik Buterin'in Son Makalesinde Verimli ZK-EVM İçin Yeni Çözüm Sunduğu yazısı Metaverse Post'ta ilk kez çıktı.
