Oblivious Accumulators Fundamentally Enhance Data Privacy in Decentralized Systems
This research introduces oblivious accumulators, a cryptographic primitive that inherently conceals both elements and set size, enabling truly private decentralized applications.
Equifficient Polynomial Commitments Drastically Reduce Zero-Knowledge Proving Cost
Equifficient polynomial commitments introduce a new cryptographic primitive to drastically reduce SNARK prover time and proof size, enhancing verifiable computation scalability.
Batched Identity-Based Encryption Enables Selective, Efficient, and Privacy-Preserving Data Access
The new Batched IBE primitive allows public aggregation of decryption rights for specific data subsets, unlocking private, auditable data batching on-chain.
Transparent Recursive Proofs Secure Quantum-Resistant Decentralized State
Fractal introduces a hash-based, transparent SNARK, enabling recursive proofs for quantum-secure, constant-size verification of entire blockchain history.
Permissionless Consensus Secured in the Standard Model via Complexity Theory
Foundational security for decentralized systems is achieved by grounding Proof-of-Work in fine-grained complexity, moving beyond idealized models.
Lattice Cryptography Secures Blockchain Transactions with Smaller Keys
Researchers designed a novel lattice-based signature scheme, using SampleMat and trapdoor-less signing, to reduce post-quantum transaction size, securing blockchains against future quantum attacks.
Equifficient Polynomial Commitments Enable Faster, Smaller zk-SNARKs
Research introduces Equifficient Polynomial Commitments, a new primitive that yields Pari, the smallest SNARK at 160 bytes, and Garuda, a prover three times faster than Groth16.
Obfuscation Enables Deterministic Asynchronous Consensus Defying FLP Impossibility
Program obfuscation and time-lock puzzles overcome the FLP impossibility, yielding a deterministic consensus for asynchronous networks.
Equifficient Polynomial Commitments Achieve Smallest Proof Size and Fastest SNARKs
Equifficient Polynomial Commitments are a new primitive that enforces polynomial basis representation, enabling SNARKs with 160-byte proofs and triple-speed proving.
Verifiable Delay Functions Fail Random Oracle Model Security
Foundational VDF security is disproven in the Random Oracle Model, forcing all future randomness and fair ordering protocols to rely on stronger, structured assumptions.
Layered Commit-Reveal Protocol Secures Decentralized Randomness Beacons
Commit-Reveal Squared uses randomized reveal order and a hybrid architecture to cryptographically secure decentralized randomness, eliminating last-revealer bias.
Non-Delegatable Commitments Enforce Cryptographic Proof of Work and Identity
Non-Delegatable Commitments cryptographically bind action to private key possession, preventing outsourcing and enforcing honest participation in attestations.
Optimal Asynchronous Consensus Resilience Using Complexity-Efficient Hash-Based Agreement
A new hash-based Multi-Valued Byzantine Agreement protocol achieves near-optimal fault tolerance with constant time complexity, enabling robust asynchronous consensus.
Matrix Multiplication Enables Truly Useful Proof-of-Work with Negligible Overhead
The cuPOW protocol transforms AI's matrix multiplication bottleneck into a secure, energy-efficient Proof-of-Work primitive with near-zero computational overhead.
Homomorphic Encryption and VRF Achieve Scalable Unpredictable On-Chain Randomness
Homomorphic encryption combined with VRFs constructs a linear-scaling distributed randomness beacon, eliminating pre-computation bias in consensus leader selection.
WARP: Linear Accumulation Unlocks Post-Quantum Scalable Verifiable Computation
Introducing WARP, a hash-based accumulation scheme achieving linear prover time and logarithmic verification, radically accelerating recursive proof systems.
Post-Quantum Transparent zkSNARKs Achieve Succinct, Trustless, and Efficient Verifiable Computation
Phecda combines new polynomial commitment and VOLE-in-the-Head to deliver the first post-quantum, transparent, and succinct zero-knowledge proof system.
Linear-Time Accumulation Scheme Secures Post-Quantum Proof-Carrying Data
The WARP accumulation primitive achieves linear prover time and logarithmic verification, fundamentally unlocking post-quantum, scalable verifiable computation aggregation.
Linear-Time Accumulation Enables Post-Quantum Recursive Proof Systems
WARP is the first accumulation scheme to achieve linear prover and logarithmic verifier complexity, enabling practical, post-quantum secure recursive proofs.
