💥🔫 Glocks są teraz wolne od cła. Przedstawiamy Duty-Free Bits (DFB): technikę, która usuwa podatek od kompatybilności z Bitcoinem na arytmetycznym zamieszaniu. BABE → 45x mniejsze Argo → 20x mniejsze Badania z UCLA i UIUC.

Najnowsze prace Argo i BABE pokazały coś potężnego: Weryfikacja Groth16 może być wyrażona jako obliczenia arytmetyczne o niskim stopniu, co umożliwia niezwykle wydajne zaszyfrowane obwody. To spostrzeżenie zmniejszyło weryfikację zaszyfrowanych SNARK-ów z 42 GiB do dziesiątek MiB.

Ale te schematy wciąż poniosły wysokie koszty, aby stać się kompatybilne z Bitcoin. Ponieważ Bitcoin działa z bitami, elementy pola musiały być rozdzielone na bity, co zwiększyło rozmiar kodowania o ~254×.

Duty-Free Bits usuwa ten "podatek komunikacyjny." Zamiast ~254× mnożnikowego wzrostu, dodaje tylko niewielki narzut. Wyniki: 👉 BABE: 22.16 MiB → 500 KiB 👉 Argo: 6.8 MiB → 355 KiB

Technika działa dla każdego schematu arytmetycznego zniekształcania z kodowaniami afinicznymi w polach pierwszych. Jest również udowodnione, że jest bezpieczna pod tym samym założeniem CCRH, które jest używane przez Free-XOR. Oznacza to: znacznie mniejsze glocki, co sprawia, że protokoły weryfikacji Bitcoin są jeszcze bardziej praktyczne.