This PR introduces the --snark flag to the prove command, which converts (and validates) the final STARK output of the command into a SNARK using Bonsai. when using --snark, the --verifier-contract parameter must also be set to the on-chain address of the contract to use for validation. Additionally, a --verifier-rpc-url parameter can also be set to use a different rpc node than the one specified in eth-rpc-url.
Note: This PR does not update the README to explain these parameters to keep them in an experimental state.
This PR introduces the
--snarkflag to theprovecommand, which converts (and validates) the final STARK output of the command into a SNARK using Bonsai. when using--snark, the--verifier-contractparameter must also be set to the on-chain address of the contract to use for validation. Additionally, a--verifier-rpc-urlparameter can also be set to use a different rpc node than the one specified ineth-rpc-url.Note: This PR does not update the README to explain these parameters to keep them in an experimental state.