1/ Fullständiga zk-bevis för hela AI-modeller är kraftfulla... Men i praktiken: för tungt, för långsamt, för dyrt. Det är därför vi skapade DSperse → segmentbaserad verifiering.