1/ Full zk-bevis for hele AI-modeller er kraftige... Men i praksis: for tungt, for sakte, for dyrt. Derfor bygde vi DSperse → skivebasert verifisering.