Efficient Commit-and-Prove SNARKs for Practical Zero-Knowledge Machine Learning
Artemis introduces novel Commit-and-Prove SNARKs, drastically reducing commitment verification overhead in zkML to enable scalable, trustworthy AI applications.
Sublinear Memory Zero-Knowledge Proofs Democratize Verifiable Computation
Introducing the first ZKP system with memory scaling to the square-root of computation size, this breakthrough enables privacy-preserving verification on edge devices.
Post-Quantum Dynamic K-Times Anonymous Authentication Enhances Privacy and Management
Pioneering lattice-based dynamic k-TAA enables adaptable, post-quantum anonymous authentication, critical for future privacy-preserving systems.
zk-SNARKs: Succinct Proofs for Verifiable, Private Computation
zk-SNARKs enable proving computational integrity and data privacy without revealing underlying information, revolutionizing secure and scalable decentralized systems.
Private Mechanism Design through Zero-Knowledge Commitments
This research introduces a novel framework for private mechanism design, enabling verifiable commitment to rules without revealing sensitive information or requiring trusted intermediaries.
Practical Verifiable Computation over Homomorphically Encrypted Data
A novel transformation for Interactive Oracle Proofs enables efficient verification of computations on encrypted data in the plaintext space.
Oblivious Accumulators Conceal Set Elements and Dynamic Changes
This research introduces oblivious accumulators, a novel cryptographic primitive that hides both the elements and the size of a committed set, fundamentally enhancing privacy in decentralized systems.
Verifiable One-Time Programs Enable Quantum-Assisted Secure Computation
This research introduces verifiable one-time programs, unlocking secure, single-round quantum-assisted computation for critical blockchain and internet applications.
Sublinear-Space Zero-Knowledge Proving for Resource-Constrained Devices
A novel sublinear-space zero-knowledge prover reframes proof generation as tree evaluation, enabling efficient on-device verifiable computation for widespread adoption.
