1/ Det största hindret för zkML är inte kryptografi. Det är arkitektur. Att försöka bevisa en hel modell som en krets garanterar: • massiv minnesanvändning • timslång provning • oanvändbara utplaceringar Vi behövde en ny struktur.