Example Noir Circuit for use in Succinct's Proving Service.
To save gas costs, Succinct expects circuits to expose inputs and outputs as a single hash. (Documentation for that is coming soon). The public input and output of a Noir circuit must be defined in a consistent manner.
This repository contains a Noir circuit with the expected interface and implements the adaptor commands in succinct.json for making nargo prove Succinct compatible.
In our input conversion script we convert the Noir Prover.toml to conform to the Succinct Platform's expected input.json format and
similarly our output conversion script we conver the Verifier.toml output into Succinct's expected output.json.