in ZK we trust — everyone else brings a proof