Paranoid EIP-8288: heterogeneous recursion with an authenticated class bank
In briefParanoid EIP-8288: heterogeneous recursion with an authenticated class bank
SummaryThe author describes a heterogeneous recursive aggregation scheme implemented in Parano1d, using a finite, authenticated bank of verifier classes so recursive steps can use several approved proof sizes. Small aggregates can use a smaller proving relation. The post explains how deferred matrix-evaluation claims are carried across classes and discusses how this could apply to the EIP-8288 aggregation backend, along with open questions.