barretenberg
barretenberg copied to clipboard
ClientIVCRecursiveVerifier should only have one transcript and one proof
and the proof should be stdlib