Web 3.0 platforms need an onboarding mechanism that can admit real users at scale without forcing them to reveal identity documents or pay one on-chain verification cost per user. Existing approaches typically rely on KYC-style disclosure, per-request on-chain verification, or trusted batching, making onboarding cost and latency difficult to predict under bursty demand. We present \textbf{ZK-AMS}, a credibly anonymous admission infrastructure that maps Personhood Credentials to anonymous on-chain Soul Accounts. Rather than introducing a new primitive, ZK-AMS composes zero-knowledge credential validation, permissionless batch submission, recursive proof aggregation, and anonymous post-admission account provisioning into one end-to-end workflow. Its key design feature is a confidential batching pipeline in which admission instances of a common relation are folded off-chain under multi-key homomorphic encryption, allowing an untrusted batch submitter to coordinate aggregation without direct access to individual user witnesses during batching; the confidentiality scope is characterized explicitly in the security analysis. The resulting batch is settled on-chain with constant verification cost per batch rather than per admitted user. We implement ZK-AMS on an Ethereum testbed and evaluate admission throughput, end-to-end latency, gas consumption, and parameter trade-offs. Results show stable batch-verification gas across evaluated batch sizes, substantially lower amortized on-chain cost than the non-recursive baseline, and practical cost-latency trade-offs for high-concurrency onboarding in Web 3.0 platforms.

翻译：摘要：Web 3.0平台需要一种能够大规模接纳真实用户、同时避免强制用户提交身份证明或为每个用户支付单次链上验证成本的准入机制。现有方法通常依赖KYC式信息披露、每请求链上验证或可信批量处理，导致在突发需求下准入成本与延迟难以预测。我们提出\textbf{ZK-AMS}——一种可信匿名准入基础设施，用于将人格凭证映射至匿名链上灵魂账户。ZK-AMS并非引入全新原语，而是将零知识凭证验证、无需许可的批量提交、递归证明聚合以及准入后匿名账户配置组合为端到端工作流。其核心设计特征在于机密批量处理管线：通过多密钥同态加密技术，将具有共同关系的准入实例在链下折叠，使得不受信任的批量提交者能够协调聚合过程，而在批量处理期间无法直接访问单个用户见证数据；安全分析中明确界定了机密性范围。最终生成的批量以恒定验证成本（而非每名准入用户）在链上完成结算。我们基于以太坊测试平台实现ZK-AMS，并评估了准入吞吐量、端到端延迟、Gas消耗及参数权衡。结果表明，在测试的批量大小范围内，批量验证Gas消耗保持稳定，摊销后的链上成本显著低于非递归基线方案，并为Web 3.0平台高并发准入提供了实用的成本-延迟权衡方案。