💥🔫 Glocky jsou nyní bez cla. Představujeme Duty-Free Bits (DFB): techniku, která odstraňuje daň z kompatibility s Bitcoinem za aritmetické zkreslení. BABE → 45x menší Argo → 20x menší Výzkum s UCLA a UIUC.

Nedávné studie Argo a BABE ukázaly něco silného: Ověření Groth16 lze vyjádřit jako výpočet nízkostupňové aritmetiky, což umožňuje extrémně efektivní zkreslené obvody. Tento poznatek zmenšil zkreslené ověřování SNARK z 42 GiB na desítky MiB.

Tyto schémata však stále zaplatila vysokou cenu, aby se stala kompatibilní s Bitcoinem. Protože Bitcoin pracuje s bity, musely být prvky pole bitově rozloženy, což znamenalo násobení velikosti kódování ~254×.

Duty-Free Bits tuto "daň z komunikace" odstraňuje. Místo násobného zvětšení ~254× přidává jen malou režii. Výsledky: 👉 BABE: 22,16 MiB → 500 KiB 👉 Argo: 6,8 MiB → 355 KiB

Tato technika funguje pro jakékoli schéma aritmetického zkreslení s afinními kódováními nad prvočíselnými tělesy. Je také prokázáno bezpečné podle stejného předpokladu CCRH, jaký používá Free-XOR. To znamená: mnohem menší glocky, což činí ověřovací protokoly Bitcoinu ještě praktičtějšími.