Major missing items

[wwared]

• Expose the plonk verification functions from here, alternatively replicate the build.rs logic to build the Go dependency, and expose the functions in the Go library instead (handled in Expose plonk verification through sphinx's gnark-ffi #3)
• Add simple functions for doing the proper serialization to and from an external format usable by smart contracts and the internal format used by the FFI functions (handled in Expose plonk verification through sphinx's gnark-ffi #3/fix: accept raw values as well as hash #4 plus feat: fixture raw proof zk-light-clients#216)
• Re-calculate the committed values digest based on the public values themselves, since those are exposed to the smart contract (handled in fix: accept raw values as well as hash #4)
• Some sort of error handling to prevent panics in the verifier from bringing the whole application down, possibly by spawning a dedicated thread for the FFI operations
• Silence the output to stdout/stderr of the underlying libraries