And nvm about the signing part. But the proof comments still hold.