Goldwasser-Kalai-Rothblum Protocol Turbocharges Verifiable Computation Efficiency
A new proof system architecture uses the sumcheck protocol to commit only to inputs and outputs, achieving logarithmic verification time for layered computations, drastically scaling ZK-EVMs.
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.
Blockchain Digital Courts Enforce Agreements, Surpassing Traditional Legal Systems
This research introduces a novel "digital court" smart contract, leveraging behavioral incentives to enable self-enforcing agreements on blockchains, circumventing traditional legal enforcement.
New Data Availability Sampling Paradigm: Uncoded Commitments, On-the-Fly Coding
This research introduces a novel data availability sampling method, enhancing blockchain scalability and security through dynamic, on-the-fly data encoding.
Enhancing Quantum Oblivious Transfer with Efficient One-Way Function Commitment Schemes
Optimized commitment schemes using one-way functions significantly enhance quantum oblivious transfer efficiency, advancing secure privacy-preserving communication.
Kaspa Vprogs: Scalable, Verifiable, Composable Off-Chain Computation
Kaspa's vProgs framework enables off-chain application execution with on-chain verifiability via zero-knowledge proofs, balancing sovereignty and composability for scalable decentralized systems.
First Standard-Model One-Shot Signatures and Commitment Scheme Separation
New one-shot signature construction leverages indistinguishability obfuscation, resolving a decade-old cryptographic commitment problem and bolstering post-quantum security.
Zero-Knowledge Mechanisms Decouple Commitment from Disclosure in Mechanism Design
A novel framework leverages zero-knowledge proofs to enable verifiable, private mechanism execution without trusted mediators, preserving strategic equivalence.
Ethereum EIP-4844 Implements Proto-Danksharding for Layer 2 Scalability
EIP-4844 establishes a dedicated data availability layer for rollups, fundamentally re-architecting transaction cost economics for the Ethereum ecosystem.
