Research post explores heterogeneous recursion with an authenticated class bank for EIP-8288's fixed verification key
A researcher suggests letting recursive proof steps use several approved proof sizes under EIP-8288, so small batches of proofs can be checked with a cheaper proving relation.