yeah, I think what calle is getting at is that the local device can cache the proofs locally too