As a developer, I should be able to verify if a given data, hash pair are a valid verification key.

[45930]

See: https://discord.com/channels/484437221055922177/1357003022307295405

It would be convenient if the SDK exposed a way to verify the validity of a given string verification key hash. Ultimately, we would want to access this within a circuit, e.g. to upgrade a side-loaded verification key committed to on chain.

Deniz found that you can set any value for the verification key hash and the transaction will succeed on LocalBlockchain: https://github.com/0x471/o1js-vk-hash-validation/blob/main/README.md - This is a confusing DevX and we can improve it by validating in JS whether the pair is valid.

[Trivo25]

o1js/src/lib/proof-system/zkprogram.ts

Lines 944 to 945 in 38a3a0d

	// Assert the validity of the auxiliary vk-data by comparing the witnessed and computed hash
	const hash = inCircuitVkHash(circuitVk);

This might help, we check this implicitly internally already - I agree with adding an explicit way if possible!