Aktualizace: Pravděpodobně se nejedná o supravodič při pokojové teplotě - Konkrétní problém, který byl objeven, spočívá v tom, že Protokol 2 neváže dokazovatel na obvod. To by mohlo být opravitelné levným subprotokolem, ale... - Začínám narážet na @ronrothblum konzistentní zpětnou vazbu, že Protokol 2 by zhroutil hierarchii polynomů. Dříve jsem si myslel, že specifická algebraická struktura vrstveného obvodu nás v podstatě chrání před informačně-teoretickými hranicemi, ale poté, co jsem se trochu více seznámil s literaturou, si myslím, že se mýlím - Z tohoto důvodu jsem v pokušení tvrdit, že s přístupem "agregovat všechny vrstvy" musí být nějaký inherentní problém. - Zdá se, že základní konstrukce SNAIL (Protokol 1) prozatím zůstává nedotčena a měla by být předmětem zájmu nezávisle
Ole Hylland Spjeldnæs
Ole Hylland Spjeldnæs24. 4. 2025
Představujeme šneka Ověřitelné výpočty s rychlostí 1,2-1,3x vyšší než nativní provádění*, více než 10 000x rychlejší než nejmodernější SNARKy * např. pro typické výpočty zkVM
5,17K