3 ms·

We have mathematical techniques for this--such as ZKSTARK--that allow for the construction of proofs while not also hiding the execution from the user. Showing

by saurik 6y ago

We have mathematical techniques for this--such as ZKSTARK--that allow for the construction of proofs while not also hiding the execution from the user. Showing you "I did this correctly" should not imply being unable to watch it happen and decide to put a stop to it if you don't like what it was doing.

Spivak 6y ago
But it does? That's a fairly narrow definition of "watching it happen" when both the real computations and the data are hidden from you. Have you gained anything except fewer practical uses? I mean at the end of the day wouldn't it be nice to be able to use a cloud service and be sure that server is running exactly the published source and your secrets are hidden? That the trust-domain of your phone can extend into a datacenter?
lxgr 6y ago
I'm not familiar with ZKSTARK, but does it allow running computations in a trusted way without revealing some of the input parameters? The latter constraint is something that I think is usually not addressed by zero knowledge proofs but rather only trusted computing (or the software equivalent, whitebox cryptography, assuming it exists).