ZKPoSP:面向分层确定性钱包的可链接零知识来源证明
作者提出 ZKPoSP,证明公钥或地址由隐藏的钱包种子诚实派生,而不泄露种子或私有派生状态,并给出四种构造,区别在于谁可链接:仅用户、链接上下文内的任何人(确定性标签可兼作 nullifier)或指定权威机构(加密该标签)。论文定义正确性、派生可靠性、来源可靠性、不可诬陷与不可链接五项性质,并在 ZKPoSP 派生关系、随机预言机模型及证明系统的零知识与模拟可抽取性下给出概要证明;同时描述 Bitcoin 到 Solana 跨链转账应用(收款地址须与源地址同钱包),并报告基于 Plonky3 的派生证明基准测试。材料为预印本,仅取得作者摘要与元数据,未读取论文全文。