3 ms·
> And the best way to verify a compiled binary is correctly compiled is to do the compilation. That's a trivial amount of work. Constructing a ZKP of the same i
by sabas123 2y ago
> And the best way to verify a compiled binary is correctly compiled is to do the compilation. That's a trivial amount of work. Constructing a ZKP of the same is certainly more cost intensive.
This makes the assumption that you both have the source code and that the compiler is deterministic. With the latter one being not the case for (most?) modern compilers.
- dumbo-octopus 2y agoAh yes, the totally-valid use case of ensuring that a third party has properly compiled source code that you don't have access to. I'm sure this comes up in industry all the time.
- Ar-Curunir 2y agoI mean, do you ever run any closed-source software?
- dumbo-octopus 2y agoCan you provide an example of a ZKP of memory safety of a compiled output that would be less computationally expensive than static analysis of the binary?
- OJFord 2y agoIt doesn't assume the compiler is deterministic, because you don't need to use the result for verification, you can just use the result.