L1-zkEVM workshop makes EIP-8025 the star, with a future beyond transaction re-execution.