Decentralized Private Computation Unlocks Programmable Privacy and Verifiability
Research introduces Decentralized Private Computation, a ZKP-based record model that shifts confidential execution off-chain, enabling verifiable, private smart contracts.
Linear Prover Time ZK Proofs Unlock Universal Verifiable Computation
A new argument system achieves linear-time proof generation with succinct proof size, eliminating the primary computational bottleneck for ZK-rollups and verifiable computation.
Decentralized Proving Markets Secure Verifiable Computation Outsourcing Efficiency
This paper introduces a mechanism design framework for a decentralized proving market, transforming zero-knowledge proof generation into a competitive, economically efficient service.
Verifiable Computation for Approximate FHE Unlocks Private AI Scalability
This new cryptographic framework efficiently integrates Verifiable Computation with approximate Homomorphic Encryption, enabling trustless, private AI computation at scale.
Sublinear Zero-Knowledge Provers Democratize Verifiable Computation and Privacy at Scale
A new sublinear-space ZKP prover, reducing memory from linear to square-root complexity, transforms verifiable computation from a server task to an on-device primitive.
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.
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.
Batched IBE Enhances Blockchain Privacy and Scalability
This research introduces Batched Identity-Based Encryption, a novel primitive enabling selective transaction decryption to advance blockchain mempool privacy and efficiency.
Sublinear Space ZKP Prover Enables Efficient On-Device Verifiable Computation
A novel ZKP prover architecture significantly reduces memory footprint, enabling practical verifiable computation on resource-constrained devices, revolutionizing decentralized applications.
Scaling zkSNARKs through Application and Proof System Co-Design
This research introduces "silently verifiable proofs" and a co-design approach to drastically reduce communication costs for scalable, privacy-preserving analytics.
Group Verifiable Random Functions Advance Anonymous Token Scalability
A new cryptographic primitive, Group Verifiable Random Functions, enables anonymous, scalable token issuance by decentralizing randomness generation.
