Zero-Knowledge Proofs Verifiably Secure Large Language Model Inference
        
        
        
        
          
        
        
      
        
    
        
        A novel ZKP system, zkLLM, enables the efficient, private verification of 13-billion-parameter LLM outputs, securing AI integrity and intellectual property.
        
        ZK Proof of Training Secures Private Federated Learning Consensus
        
        
        
        
          
        
        
      
        
    
        
        ZKPoT uses zk-SNARKs to verify model contributions without revealing data, solving the privacy-efficiency trade-off for decentralized AI.
        
        Collaborative zk-SNARKs Enable Private, Decentralized, Scalable Proof Generation
        
        
        
        
          
        
        
      
        
    
        
        Scalable collaborative zk-SNARKs use MPC to secret-share the witness, simultaneously achieving privacy and 24× faster proof outsourcing.
        
        Selective Batched IBE Enables Constant-Cost Threshold Key Issuance
        
        
        
        
          
        
        
      
        
    
        
        This new cryptographic primitive enables distributed authorities to generate a single, succinct decryption key for an arbitrary batch of identities at a cost independent of the batch size, fundamentally solving key management scalability in threshold systems.
        
        Constant-Cost Batch Verification for Private Computation over Secret-Shared Data
        
        
        
        
          
        
        
      
        
    
        
        New silently verifiable proofs achieve constant-size verifier communication for batch ZKPs over secret shares, unlocking scalable private computation.
        
        Zero-Knowledge Proof of Training Secures Private Federated Learning Consensus
        
        
        
        
          
        
        
      
        
    
        
        ZKPoT, a novel zk-SNARK-based consensus, verifies decentralized machine learning contributions without exposing private data, ensuring both efficiency and privacy.
        
        Zero-Knowledge Proof of Training Secures Decentralized Federated Learning Consensus
        
        
        
        
          
        
        
      
        
    
        
        A Zero-Knowledge Proof of Training consensus mechanism leverages zk-SNARKs to enable private, verifiable model contributions, securing decentralized AI computation.
        
        Hyper-Efficient Universal SNARKs Decouple Proving Cost from Setup
        
        
        
        
          
        
        
      
        
    
        
        HyperPlonk introduces a new polynomial commitment scheme, achieving a universal and updatable setup with dramatically faster linear-time proving, enabling mass verifiable computation.
        
        Fast Zero-Knowledge Proofs for Structured Data Grammar Parsing
        
        
        
        
          
        
        
      
        
    
        
        Coral enables private, verifiable computation on structured data like JSON by proving correct parsing via efficient segmented memory.
        
        Fast Zero-Knowledge Proofs for Verifiable Machine Learning via Circuit Optimization
        
        
        
        
          
        
        
      
        
    
        
        The Constraint-Reduced Polynomial Circuit (CRPC) dramatically lowers ZKP overhead for matrix operations, making private, verifiable AI practical.
        
        Silently Verifiable Proofs Enable Constant Communication Batch ZKP Verification
        
        
        
        
          
        
        
      
        
    
        
        Silently verifiable proofs introduce a cryptographic primitive that reduces batch verification communication overhead to a single field element, unlocking truly scalable private computation.
        
        Zero-Knowledge Proof of Training Secures Private Decentralized AI Consensus
        
        
        
        
          
        
        
      
        
    
        
        A new ZKPoT consensus leverages zk-SNARKs to verify model training integrity without revealing private data, solving the privacy-efficiency dilemma.
        
        Zero-Knowledge Proof of Training Secures Federated Consensus
        
        
        
        
          
        
        
      
        
    
        
        Research introduces ZKPoT consensus, leveraging zk-SNARKs to cryptographically verify machine learning contributions without exposing private training data or model parameters.
        
        Succinct Zero-Knowledge Arguments for Unknown Order Homomorphic Encryption
        
        
        
        
          
        
        
      
        
    
        
        This research introduces novel ZK arguments for the CL cryptosystem, enabling private, verifiable computations in unknown order groups for enhanced privacy.
        
        One-Sided Permutation Enhances Private Set Intersection Efficiency and Privacy
        
        
        
        
          
        
        
      
        
    
        
        A novel Private Set Intersection protocol leverages one-sided permutations, fundamentally advancing secure data collaboration by optimizing privacy and computational efficiency for asymmetric datasets.
        
        Delegatable Updatable Private Set Intersection Enhances Dynamic Privacy
        
        
        
        
          
        
        
      
        
    
        
        A novel framework enables third-party computation and efficient set updates for private set intersection, expanding its utility in dynamic, privacy-preserving distributed systems.
        
        Zero-Knowledge Proofs Enable Verifiable Mechanisms without Disclosure or Mediators
        
        
        
        
          
        
        
      
        
    
        
        This framework uses zero-knowledge proofs to execute verifiable, private mechanisms, enabling trustless economic interactions without revealing sensitive design.
        
        New Zero-Knowledge Protocols Dramatically Accelerate Proof Generation Efficiency
        
        
        
        
          
        
        
      
        
    
        
        Novel ZKP protocols fundamentally enhance cryptographic efficiency, enabling scalable, private blockchain architectures and secure computational integrity.
        
        Doubly Private Smart Contracts Enhance Blockchain Confidentiality
        
        
        
        
          
        
        
      
        
    
        
        This research introduces a framework for smart contracts that ensures both on-chain and off-chain data privacy, enabling secure and anonymous decentralized applications.
        
        Nil Message Compute: Decentralized Computation beyond Blockchain Consensus
        
        
        
        
          
        
        
      
        
    
        
        A novel cryptographic framework enables secure, private, and scalable decentralized computation by eliminating reliance on traditional blockchain consensus mechanisms.
        
        Zero-Knowledge Mechanisms: Commitment without Disclosure
        
        
        
        
          
        
        
      
        
    
        
        A novel framework leverages zero-knowledge proofs to enable verifiable, private execution of economic mechanisms without revealing their underlying rules or requiring trusted intermediaries.
        
        Indistinguishability Obfuscation Enhanced with Lattice-Based Security
        
        
        
        
          
        
        
      
        
    
        
        Researchers have refined indistinguishability obfuscation, enabling it to rely solely on the standard Learning With Errors assumption, promising more robust and practical privacy-preserving cryptographic primitives.
        
        Confidential EVM Enables Private Smart Contract Execution
        
        
        
        
          
        
        
      
        
    
        
        Oasis Sapphire's confidential EVM, powered by hardware enclaves, enables private smart contract execution, overcoming public blockchain privacy limitations.
        
        Decentralized Verifiable Multiparty AI Computation Secures Generative Models and User Privacy
        
        
        
        
          
        
        
      
        
    
        
        This research pioneers decentralized, verifiable multiparty computation for generative AI, safeguarding user privacy and model integrity against centralized control.
