zkML je výkonný – ale dokazování celých modelů je pomalé, náročné na paměť a zřídka praktické nad rámec ukázek hraček. Skutečný svět potřebuje chytřejší způsob: důkazy tam, kde na nich záleží nejvíce, rychlost všude jinde. Pracujeme na něčem, co přesně tohle řeší. Více již brzy.