> Verifiable computation doesn't require your faith Isn’t it so that in general verifiable computation needs a trusted setup phase? Although it can be run betw

> Verifiable computation doesn't require your faith Isn’t it so that in general verifiable computation needs a trusted setup phase? Although it can be run between multiple parties, still one needs to have faith in their honesty. Only a small subset of computations does not require a trusted setup phase. Proof of shuffle and threshold decryption comes to my mind as examples.