1/ Volledige zk-proofs voor hele AI-modellen zijn krachtig… Maar in de praktijk: te zwaar, te langzaam, te duur. Daarom hebben we DSperse gebouwd → op basis van slice-verificatie.