1/ Kompletní zk-proofy pro celé modely AI jsou výkonné... Ale v praxi: příliš těžký, příliš pomalý, příliš drahý. Proto jsme DSperse vytvořili → ověřování na základě řezů.