ERC-1923 创建于 2018 年 12 月 22 日，仓库状态 Stagnant。它试图为 zk-SNARK 生态建一个登记合约：验证密钥注册进表拿编号，验证器合约地址与密钥绑定，证明提交后还能登记公证与质疑记录。本文按原文梳理 registerVk、attestProof、challengeAttestation 组成的链条，并分析登记与验证拆开之后带来的新问题。