Circle STARKs'i keşfet
Son yıllarda, STARKs protokol tasarımı daha küçük alanlar kullanmaya yönelmektedir. İlk STARKs uygulamaları 256 bit alan kullanıyordu ve bu, eliptik eğri tabanlı imzalarla uyumluydu. Ancak bu tasarımın verimliliği düşüktü ve büyük sayıları işlerken hesaplama gücünü israf ediyordu. Bu sorunu çözmek için, STARKs daha küçük alanlar kullanmaya yönelmeye başladı: önce Goldilocks, sonra Mersenne31 ve BabyBear.
Bu dönüşüm, kanıt hızını artırdı. Örneğin, Starkware bir M3 dizüstü bilgisayarda saniyede 620,000 Poseidon2 hash değeri kanıtlayabiliyor. Poseidon2'yi bir hash fonksiyonu olarak güvenilir bulduğumuz sürece, verimli bir ZK-EVM geliştirme sorununu çözebiliriz. Peki, bu teknolojiler nasıl çalışıyor? Bu kanıtlar daha küçük alanlarda nasıl oluşturuluyor? Bu makale, bu ayrıntıları inceleyecek ve özellikle C üzerinde duracak.