1/ De grootste blokkade voor zkML is niet cryptografie. Het is architectuur. Proberen een heel model als één circuit te bewijzen garandeert: • enorme geheugengebruik • urenlange bewijzing • onbruikbare implementaties We hadden een nieuwe structuur nodig.