Developer proposes variable proof sizes for Ethereum's EIP-8288

• —EIP-8288 aggregates signatures and cryptographic proofs in the mempool and verifies them with a recursive STARK proof in the block
• —Vitalik Buterin and Thomas Coratger drafted it on June 3 over the size of post-quantum signatures and verification costs
• —ignotusnemo proposes separate tracking channels for verification obligations per approved proof type
• —Adoption would require rules for merging sub-proofs and compatibility when one program uses different proof schemes