Distributed Verifiable Randomness Secures Consensus and On-Chain Fairness
A Distributed Verifiable Random Function, built with threshold cryptography and zk-SNARKs, creates a publicly-verifiable, un-biasable randomness primitive essential for secure leader election and MEV mitigation.
Zero-Knowledge Proof of Training Secures Federated Consensus
The Zero-Knowledge Proof of Training consensus mechanism uses zk-SNARKs to prove model performance without revealing private data, solving the privacy-utility conflict in decentralized computation.
Interplanetary Bitcoin Standard with Proof-of-Transit Timestamping
This research introduces Proof-of-Transit Timestamping, a novel cryptographic primitive enabling tamper-evident audit trails for Bitcoin across high-latency, intermittently-connected interplanetary links.
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.
Sublinear-Space Zero-Knowledge Proofs Enable Pervasive Verifiable Computation.
This research introduces the first sublinear-space zero-knowledge prover, transforming proof generation into a tree evaluation problem to unlock on-device verifiable computation.
Multi-Client Functional Encryption Secures Private Multi-Source Data Computation
A novel Multi-Client Functional Encryption scheme enables secure, privacy-preserving inner product computations over data from multiple independent sources.
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.
