vac:sc: § ift:` § eip-discussions_2024q4 status: § staking-protocol-v1 xp-token-v1 xp-nft-v1 codex: § formal-verification_2024q4