Sublinear Zero-Knowledge Provers Unlock Ubiquitous Verifiable Computation
This research pioneers a sublinear-space zero-knowledge prover, transforming ZKP accessibility for resource-constrained environments and expanding verifiable computation applications.
Optimizing Zero-Knowledge Proofs for Scalable Distributed Computation
This research pioneers novel ZKP protocols, achieving linear prover time and distributed generation, fundamentally transforming scalable privacy-preserving computation.
Formalizing Maximal Extractable Value for Robust Blockchain Security
This research establishes a rigorous theoretical framework for Maximal Extractable Value (MEV), enabling systematic analysis and the development of provably secure blockchain protocols.
MEV Spam Severely Limits Blockchain Scaling, Demands New Auction Design.
Maximal Extractable Value (MEV) spam significantly hinders blockchain scalability, necessitating programmable privacy and explicit bidding for efficient blockspace utilization.
Zero-Knowledge Proofs: A Comprehensive Application and Infrastructure Survey
This survey distills the expansive landscape of Zero-Knowledge Proof applications, illustrating their transformative role in privacy and verifiable computation across digital systems.
Novel Zero-Knowledge Protocols Accelerate Proof Generation
This research introduces advanced zero-knowledge proof protocols, fundamentally transforming cryptographic efficiency and enabling broader privacy-preserving applications.
OR-Aggregation: Constant-Size ZKPs for Resource-Constrained Networks
This research introduces a novel OR-aggregation technique, fundamentally transforming privacy and verifiable computation efficiency in resource-constrained environments.
Formalizing MEV: A New Theoretical Model for Blockchain Security
This research establishes a rigorous, abstract model for Maximal Extractable Value, enabling formal security proofs against its detrimental impact on blockchain integrity.
Generalizing Zero-Knowledge Proofs for Streaming Data with Robust Security
This research introduces advanced zero-knowledge streaming proofs, enabling secure verification of complex computations on data streams with unprecedented robustness against information leakage.
