1/ Des zk-proofs complets pour des modèles d'IA entiers sont puissants… Mais en pratique : trop lourds, trop lents, trop coûteux. C'est pourquoi nous avons construit DSperse → vérification basée sur des tranches.