💥🔫 Glocklar artık gümrük ücretsiz. Gümrüksiz Bitleri (DFB) tanıtıyoruz: aritmetik garbling'e Bitcoin uyumluluk vergisini kaldıran bir teknik. BABE → 45 kat daha küçük Argo 20 kat daha küçük → UCLA ve UIUC ile araştırma.

Son makaleler Argo ve BABE güçlü bir şey gösterdi: Groth16 doğrulaması, düşük dereceli aritmetik hesaplama olarak ifade edilebilir ve bu da son derece verimli karışık devreler sağlar. Bu içgörü, SNARK doğrulamasını 42 GiB'den onlarca MiB'e indirdi.

Ancak bu planlar Bitcoin uyumlu olmak için ağır bir bedel ödedi. Bitcoin bitlerle çalıştığı için, alan öğeleri bit-parçalanarak kodlama boyutunu ~254× çarpmak zorundaydı.

Gümrük Vergisi Vergisi bu "iletişim vergisi"ni kaldırır. ~254× çarpma büyütme yerine, sadece küçük bir ek yük eklenir. Sonuçlar: 👉 BABE: 22.16 MiB → 500 KiB 👉 Argo: 6.8 MiB → 355 KiB

Bu teknik, asal alanlar üzerinde affine kodlamalarla herhangi bir aritmetik garbling şeması için işe yarar. Ayrıca Free-XOR tarafından kullanılan CCRH varsayımı altında da güvenli olduğu kanıtlanmıştır. Bu da çok daha küçük glocklar anlamına geliyor ve Bitcoin doğrulama protokollerini daha da pratik hale getiriyor.