Search papers, labs, and topics across Lattice.
The paper introduces ZK-AMS, a scalable admission and provisioning layer for Web 3.0 services that bridges real-world Personhood Credentials to anonymous on-chain service accounts while enforcing Sybil resistance. ZK-AMS leverages zero-knowledge credential validation, a permissionless batch submitter model, and a decentralized folding pipeline using Nova-style recursive aggregation and multi-key homomorphic encryption to achieve constant on-chain verification cost per batch. Experimental results on an Ethereum testbed demonstrate stable verification costs and improved admission efficiency compared to non-recursive baselines, making it suitable for large-scale Web 3.0 communities.
Achieve constant on-chain verification cost for Web3 account provisioning, regardless of batch size, using recursive ZK-proof aggregation.
Open Web 3.0 platforms increasingly operate as \emph{service ecosystems} (e.g., DeFi, DAOs, and decentralized social applications) where \emph{admission control} and \emph{account provisioning} must be delivered as an always-on service under bursty demand. Service operators face a fundamental tension: enforcing Sybil resistance (one-person-one-account) while preserving user privacy, yet keeping on-chain verification cost and admission latency predictable at scale. Existing credential-based ZK admission approaches typically require per-request on-chain verification, making the provisioning cost grow with the number of concurrent joiners. We present \textbf{ZK-AMS}, a scalable admission and provisioning layer that bridges real-world \emph{Personhood Credentials} to anonymous on-chain service accounts. ZK-AMS combines (i) zero-knowledge credential validation, (ii) a \emph{permissionless} batch submitter model, and (iii) a decentralized, privacy-preserving folding pipeline that uses Nova-style recursive aggregation together with multi-key homomorphic encryption, enabling batch settlement with \emph{constant} on-chain verification per batch. We implement ZK-AMS end-to-end on an Ethereum testbed and evaluate admission throughput, end-to-end latency, and gas consumption. Results show stable verification cost across batch sizes and substantially improved admission efficiency over non-recursive baselines, providing a practical and cost-predictable admission service for large-scale Web 3.0 communities.
