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

AztecProtocol / barretenberg

Apache License 2.0

129 stars 78 forks source link

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

Open lucasxia01 opened 2 months ago

lucasxia01 commented 2 months ago

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