feat: add unconstrained context to key getters

[sklppy88]

Please read contributing guidelines and remove this line.

[sklppy88]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• feat: refactoring key getters #7487
• feat: add unconstrained context to key getters #7486 👈
• feat: refactor shared mutable to include private and unconstrained getters #7465
• feat: add unconstrained getters to sharedmutable #7429
• feat: add unconstrained context to txe #7448
• master

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @sklppy88 and the rest of your teammates on Graphite

[github-actions]

Changes to circuit sizes

Generated at commit: 26824c8cf4675af87ab46b44c060e5c53868d9cf, compared to commit: 4efbe51a7e0b322990640d367d8a1c33bab08c4c

🧾 Summary (100% most significant diffs)

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
private_kernel_empty_simulated	0 ➖	0.00%	+31 ❌	+7.97%
private_kernel_tail_simulated	0 ➖	0.00%	+31 ❌	+7.97%
public_kernel_tail_simulated	0 ➖	0.00%	+31 ❌	+7.97%
rollup_base	+1,769 ❌	+0.52%	+75,084 ❌	+2.00%
private_kernel_tail_to_public_simulated	0 ➖	0.00%	+16 ❌	+0.48%
public_kernel_app_logic_simulated	0 ➖	0.00%	+16 ❌	+0.48%
public_kernel_setup_simulated	0 ➖	0.00%	+16 ❌	+0.48%
public_kernel_teardown_simulated	0 ➖	0.00%	+16 ❌	+0.48%
private_kernel_empty	+31 ❌	+1.74%	+62 ❌	+0.01%
public_kernel_tail	+367 ❌	+0.04%	-17,564 ✅	-0.38%
public_kernel_teardown	-226 ✅	-0.09%	-26,997 ✅	-1.64%
public_kernel_setup	-342 ✅	-0.19%	-27,113 ✅	-1.71%
public_kernel_app_logic	-226 ✅	-0.09%	-27,093 ✅	-4.61%
private_kernel_tail_to_public	-486 ✅	-0.78%	-53,930 ✅	-10.86%
private_kernel_tail	-1,560 ✅	-7.45%	-73,962 ✅	-12.11%

---

Full diff report 👇

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
private_kernel_empty_simulated	1 (0)	0.00%	420 (+31)	+7.97%
private_kernel_tail_simulated	1 (0)	0.00%	420 (+31)	+7.97%
public_kernel_tail_simulated	1 (0)	0.00%	420 (+31)	+7.97%
rollup_base	341,542 (+1,769)	+0.52%	3,836,142 (+75,084)	+2.00%
private_kernel_tail_to_public_simulated	1 (0)	0.00%	3,344 (+16)	+0.48%
public_kernel_app_logic_simulated	1 (0)	0.00%	3,344 (+16)	+0.48%
public_kernel_setup_simulated	1 (0)	0.00%	3,344 (+16)	+0.48%
public_kernel_teardown_simulated	1 (0)	0.00%	3,344 (+16)	+0.48%
private_kernel_empty	1,811 (+31)	+1.74%	1,041,821 (+62)	+0.01%
public_kernel_tail	965,693 (+367)	+0.04%	4,645,487 (-17,564)	-0.38%
public_kernel_teardown	241,730 (-226)	-0.09%	1,618,002 (-26,997)	-1.64%
public_kernel_setup	183,195 (-342)	-0.19%	1,554,056 (-27,113)	-1.71%
public_kernel_app_logic	240,368 (-226)	-0.09%	560,162 (-27,093)	-4.61%
private_kernel_tail_to_public	61,801 (-486)	-0.78%	442,572 (-53,930)	-10.86%
private_kernel_tail	19,368 (-1,560)	-7.45%	536,962 (-73,962)	-12.11%

[sklppy88]

Closed as going a different direction for key registry.