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

Closed

AztecProtocol/aztec-packages

Assignees

opened

on May 16, 2024

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

Metadata

Assignees

lucasxia01

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests