add interface for generating proof for different zk provers

[tohacking]

Problem: We currently only handle ZKWasm provers, to generalize to different zk vendor. We need to have an interface.

... needs more thoughts on this.