Constant-Size Zero-Knowledge Set Membership via OR-aggregation Secures IoT
This new OR-aggregation primitive achieves constant-size zero-knowledge set membership proofs, radically securing resource-constrained decentralized systems.
Succinct Accumulator Lower Bound Imposes Fundamental Stateless Client Efficiency Limits
Foundational proof establishes a super-linear lower bound on total witness updates for succinct accumulators, limiting stateless client scalability.
Universal Vector Commitments Enable Efficient Proofs of Non-Membership and Data Integrity
Introducing Universal Vector Commitments, a new primitive that securely proves element non-membership, fundamentally enhancing stateless client and ZK-rollup data verification.
Efficient Zero-Knowledge Accumulator Enables Private Scalable State
A novel Zero-Knowledge Dynamic Universal Accumulator leverages Bloom Filters and vector commitments to create private, succinct, and efficient state proofs for scalable blockchain architectures.
Dynamic Universal Accumulators Achieve Constant-Time Set Verification at Scale
Research introduces a Dynamic Universal Accumulator that compresses massive data sets into a constant-size cryptographic proof, enabling efficient, constant-time verification for scalable systems.
