Sublinear Zero-Knowledge Proofs Democratize Verifiable Computation on Constrained Devices
A new space-efficient tree algorithm reduces ZK proof memory from linear to square-root, unlocking verifiable computation for all devices.
Sublinear Zero-Knowledge Proofs Unlock Ubiquitous Private Computation
A new proof system eliminates ZKP memory bottlenecks by achieving square-root scaling, enabling verifiable computation on all devices.
Zero-Knowledge Proof of Training Secures Private Decentralized Machine Learning Consensus
ZKPoT introduces zk-SNARKs to consensus, enabling private validation of machine learning contributions to unlock scalable, trustless federated systems.
Zero-Knowledge Authenticators Secure Private Policy on Public Blockchains
The Zero-Knowledge Authenticator (zkAt) is a new cryptographic primitive that enables users to prove transaction authenticity against complex private policies without revealing the policy logic or identity, unlocking private on-chain governance.
Zero-Knowledge Proof of Training Secures Private Decentralized Federated Consensus
ZKPoT is a new cryptographic primitive using zk-SNARKs to verify model contribution without revealing private data, unlocking decentralized AI.
Buterin Proposes New ZK Proof Metric to Accelerate Scalability and Privacy
A new hardware-independent metric for ZK/FHE performance standardizes cryptographic evaluation, accelerating Layer 2 development and privacy primitives.
Zero-Knowledge Proof of Training Secures Decentralized Federated Learning
This research introduces Zero-Knowledge Proof of Training, a zk-SNARK-based consensus mechanism that validates machine learning contributions without compromising participant data privacy, enabling secure, scalable decentralized AI.
Distributed Service Architecture Unifies and Benchmarks Threshold Cryptography Schemes
Thetacrypt proposes a unified, distributed service for threshold cryptography, enabling rigorous performance evaluation of diverse schemes under real-world network conditions.
Sublinear Memory ZKPs Democratize Verifiable Computation and Privacy
A new proof system reduces ZKP memory from linear to square-root complexity, unlocking verifiable computation on resource-constrained edge devices.
Collaborative SNARKs Enable Private Shared State Computation without Revealing Secrets
Collaborative SNARKs merge ZKPs and MPC to allow distributed parties to jointly prove a statement over private inputs, unlocking secure data collaboration.
Zero-Knowledge Proof of Training Secures Private Federated Consensus
Zero-Knowledge Proof of Training (ZKPoT) uses zk-SNARKs to validate FL model performance privately, eliminating the privacy-efficiency trade-off.
Sublinear Space ZK Proofs Democratize Verifiable Computation at Scale
A new streaming prover reduces ZKP memory from linear to square-root scaling, enabling verifiable computation on resource-constrained edge devices.
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.
Proof of Unity: Scalable, Private AI and IoT Blockchain Consensus
A novel hybrid consensus mechanism merges peer coordination and economic assurance, enabling high-throughput, low-latency AI and IoT integration without traditional trade-offs.
Dynamic Noisy Functional Encryption Secures Private Machine Learning
A novel dynamic multi-client functional encryption scheme, DyNMCFE, enables efficient, differentially private computations on encrypted data, advancing secure machine learning.
Augmenting LLMs for Reliable Zero-Knowledge Proof Code Generation
A novel agentic framework empowers large language models to reliably synthesize complex zero-knowledge proof circuits, democratizing access to verifiable computation.
Optimizing Zero-Knowledge Proofs: Enabling Practical Scalability and Efficiency
This research fundamentally transforms zero-knowledge proofs, introducing protocols that achieve linear prover times and succinct proof sizes, enabling widespread privacy-preserving computation.
