Skip to content

Conversation

@AztecBot
Copy link
Collaborator

@AztecBot AztecBot commented Jan 8, 2026

BEGIN_COMMIT_OVERRIDE
feat(avm)!: dont expose/require VK (#19414)
chore(avm): params should be references
chore: defensive asserts for map/vector retrievals and optional values in cpp (#19439)
END_COMMIT_OVERRIDE

The AVM VK is fixed and available in the binary, therefore we don't need to ask the user to provide it, and we also don't need to return it after proving. I kept the `avm_get_vk` CLI option since it might be useful for inspection.

Also included some cleanup and unification on the TS side.

Closes [AVM-189](https://linear.app/aztec-labs/issue/AVM-189/avm-remove-vk-from-cli-parameters).
Copy link
Collaborator

@ludamad ludamad left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤖 Auto-approved

@AztecBot
Copy link
Collaborator Author

AztecBot commented Jan 9, 2026

🤖 Auto-merge enabled after 4 hours of inactivity. This PR will be merged automatically once all checks pass.

@AztecBot AztecBot added this pull request to the merge queue Jan 9, 2026
Merged via the queue into next with commit 2dc5653 Jan 9, 2026
18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants