Hi everyone,
Currently, I am trying to build a Solana Smart contract with Noir. So, I would like to generate my proofs locally via the command line and then use a verifier written in Rust to easily verify my generated proofs on my smart contract. It seems that maybe I can verify my proof by making FFI calls to the C++ Barretenberg codebase. It seems a bit clunky though (although this seems to be a pretty viable function for the community).
Also, with my domain application inputs in Rust what is the best way to convert them into witnesses/proof inputs for Noir? There doesn’t seem to be a good way to do this.