4 ms·
Ah 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 ind
by dumbo-octopus 2y ago
Ah 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?