barretenberg icon indicating copy to clipboard operation
barretenberg copied to clipboard

Published 20 hours ago • verified publisher icon AztecProtocol

Should circuit_size, etc.. be witnesses in Recursive VerificationKey?

Open lucasxia01 opened this issue 9 months ago • 0 comments

Currently, they are just native values because the proof already contains identical information that will be turned into witnesses. But, this deserves more thinking.

lucasxia01 avatar May 16 '24 17:05 lucasxia01