为什么712是EIP而不是ERC,尽管它是一个应用层构造?