OR-Aggregation Enables Efficient ZKP Set Membership in IoT
        
        
        
        
          
        
        
      
        
    
        
        A novel OR-aggregation approach dramatically enhances zero-knowledge proof efficiency for set membership, enabling scalable, privacy-preserving data management in IoT sensor networks.
        
        Sublinear-Space Zero-Knowledge Proofs Enable Ubiquitous Verifiable Computation
        
        
        
        
          
        
        
      
        
    
        
        A novel equivalence reframes ZKP generation as tree evaluation, yielding the first sublinear-space prover, unlocking on-device verifiable computation for resource-constrained systems.
        
        Sublinear ZKP Prover Revolutionizes Verifiable Computation for Constrained Devices
        
        
        
        
          
        
        
      
        
    
        
        A novel zero-knowledge proof prover architecture drastically reduces memory requirements, enabling ubiquitous verifiable computation on resource-limited hardware.
        
        Novel OR-aggregation Enhances Zero-Knowledge Set Membership for blockchain-IoT
        
        
        
        
          
        
        
      
        
    
        
        Novel OR-aggregation enables efficient, constant-size zero-knowledge set membership proofs for blockchain-IoT, advancing privacy and scalability.
