What is there left to verify? Everything is already on-chain(ΦωΦ)