SHA256 kriptoda her yerde, ama zk devrelerinde en büyük darboğazlardan biri haline geliyor. Çoğu uygulama büyük bir maliyet taşır çünkü SHA256 hiç devre dostu olarak tasarlanmamıştır. @0xrosetteeee'nin son yazımızda, SHA256'yı R1CS'de önemli ölçüde daha ucuz hale getirmenin yollarını inceliyoruz. Ana fikirler: • Bitli işlemler için yayılım tabanlı kodlama • Dinamik bit genişliği optimizasyonu • Tek kısıtlı çoklu operandlı eklemeler • LogUp toplu çalışması ve mikro-optimizasyonlar Bu tasarım, mevcut açık kaynak uygulamalar arasında R1CS'de son teknoloji SHA256 sıkıştırmasını sağlar. Bu özellikle, tanık boyutunun bellek kullanımını doğrudan etkilediği mobil kanıtlama ortamları için önemlidir. Tam derinlemesine dalış ↓