Constrain the trace to a particular source code

[ecioppettini]

It seems that the current implementation of the wasm snark doesn't really use the source code for anything that could give you a program-dependent verifier key.

Or in other words, it doesn't prove that the trace comes from a particular program.

Is there a reason this is not implemented? Is there supposed to be another way of getting the same guarantee?

Since otherwise you probably need to run the program again to verify the trace.

[Forpee]

Good question, this version of zkEngine doesn’t constrain the bytecode. It’s on our to-do list, but since this version is no longer under active development, it’s not a high priority. We’re currently working on a newer version of zkEngine that has this capability