Stavíme grafový zkVM na @ziskvm systému. Naším cílem: přehodnotit architekturu proverů od základů, abychom odemkli lepší výkon, přenosnost a bezpečnost. 🧵

Důkazy ZKP vstupují do éry "rychlosti na prvním místě". Téměř každý prover nyní podporuje akceleraci GPU (CUDA, Metal atd.). Ale architektura za hardwareovým offloadem je stejně důležitá jako surový hardware.

Dnes existují dva hlavní přístupy: - HAL režim: stejné volání funkcí, odlišné hardwarové backendy. - Režim grafu: zakódovat celý proces dokazování jako výpočetní graf, poté optimalizovat a zkompilovat pro každou platformu.

Rozdělení je jasné: - AI systémy → režimu grafů - Většina ZKP proverátorů → HAL režimu (z historických, CPU-orientovaných důvodů) HAL je pohodlný, ale skrývá globální strukturu výpočtu.

Graph Mode umožňuje explicitní a kontrolovatelný celý prover, což umožňuje hlubší optimalizaci, multiplatformní provádění a lepší bezpečnost a auditovatelnost. V nadcházejícím příspěvku se podělíme o to, jak tento design ovlivňuje náš grafový zkVM a co tím odemyká. ⚡️