Sublinear Zero-Knowledge Proving Transforms On-Device Verifiable Computation
        
        
        
        
          
        
        
      
        
    
        
        This research introduces the first sublinear-space zero-knowledge prover, reframing proof generation as tree evaluation to enable efficient on-device verifiable computation.
        
        Sublinear-Space Zero-Knowledge Proofs Revolutionize Verifiable Computation Efficiency
        
        
        
        
          
        
        
      
        
    
        
        A novel zero-knowledge prover reduces memory from linear to sublinear, unlocking verifiable computation for resource-constrained devices and massive tasks.
