I think the Alethia design gets simpler if the anchor transaction doesn't exist and onchain parts are done through a system call like EIP-4788 (https://eips.ethereum.org/EIPS/eip-4788).
Certain logic done in the anchor tx can also just be done in the node directly when that makes sense (e.g. calculate the new base fee). This allows reusing code that already exists in the node vs needing a solidity implementation as well.
I think the Alethia design gets simpler if the anchor transaction doesn't exist and onchain parts are done through a system call like EIP-4788 (https://eips.ethereum.org/EIPS/eip-4788).
Certain logic done in the anchor tx can also just be done in the node directly when that makes sense (e.g. calculate the new base fee). This allows reusing code that already exists in the node vs needing a solidity implementation as well.