Vad finns det kvar att verifiera? Allt är redan på kedjan (ΦωΦ)