can you use zk snarks to prove an application binary is compiled from specific unmodified source
Conversation
Replying to
AFAIU most implementations essentially have this property; that is, the validation procedure effectively checks the value of each step of the computation, and it would in general be intractable to manufacture a distinct program which nevertheless has the expected steps.
The details depend on the specifics of the implementation, but see e.g. vitalik.ca/general/2019/0 for one representative scheme.
1
3
okay this one is gonna take me some time lol