- Non-uniform PCD (required to fan-in UTXOs). Likely through PCD from multi-folding schemes - Commit-carrying IVC ([learn more](https://discord.com/channels/1325928330494476359/1325928332923244598/1499914125374128298)). Required to model infinite computation - Wasm component opcode support