Creates a high-level description of the public claims of a proof, by
redacting information from the proof's inputs and outputs.
This code assumes that the arguments have already been checked using checkProofArgs, and their requirements have already been checked using
checkCircuitParameters. This function doesn't duplicate any
checking, so invalid input might result in errors thrown from TypeScript,
or might simply result in a failure to generate a proof.
Creates a high-level description of the public claims of a proof, by redacting information from the proof's inputs and outputs.
This code assumes that the arguments have already been checked using checkProofArgs, and their requirements have already been checked using checkCircuitParameters. This function doesn't duplicate any checking, so invalid input might result in errors thrown from TypeScript, or might simply result in a failure to generate a proof.