1/ Největší překážkou pro zkML není kryptografie. Je to architektura. Snažit se dokázat celý model jako jeden obvod zaručuje: • masivní využití paměti • hodinové dokazování • nepoužitelná nasazení Potřebovali jsme novou strukturu.