As an Ethereum staker if you run a ZK verifier instead of an EL: PROs: Less CPU, disk and bandwidth CONs: In case a prover-killer attack you earn less rewards. You can't contribute to censorship resistance for FOCIL. You don't contribute to mempool propagation. You don't contribute to sync for other nodes. Would you take the deal?