Batch-Updatable Vector Commitments Enable Efficient Stateless Blockchain Architecture
Cauchyproofs introduces a quasi-linear batch-updatable vector commitment, solving the critical state proof maintenance bottleneck for practical stateless chains.
Zero-Knowledge Authenticator Secures Policy-Private Transaction Logic and Oblivious Updates
A new cryptographic primitive, the zkAt, uses zero-knowledge proofs to authenticate transactions while keeping complex, updateable policies fully private.
OR-Aggregation Cryptography Scales Merkle Tree Verification Universally
OR-logic proof aggregation fundamentally lowers Merkle tree verification cost, transforming data availability and enabling universal light client trustlessness.
Succinct Non-Interactive Argument Secures Light Client Trustlessness and State Verification
SNACK is a new cryptographic primitive that enables superlight clients to trustlessly verify complex blockchain state queries from a single untrusted full node.
Sublinear ZK Provers Democratize Verifiable Computation for All Devices
A streaming prover architecture reframes proof generation as tree evaluation, reducing ZKP memory from linear to square-root scaling for widespread adoption.
Optimal Prover Time Unlocks Scalable Linear-Time Zero-Knowledge Proofs
Libra is the first ZKP system to achieve optimal linear prover time $O(C)$ while maintaining succinct proof size, enabling practical large-scale verifiable computation.
Certificateless Proxy Re-Encryption Secures Decentralized On-Chain Data Access Control
Certificateless Proxy Re-Encryption eliminates key escrow and reduces on-chain storage by 40%, unlocking efficient, trust-minimized data sharing.
Time-Bound Signatures Cryptographically Enforce Transaction Expiry to Mitigate MEV
TB-Sig embeds a block height expiry into Schnorr signatures, granting users temporal control over transactions to fundamentally constrain block producer MEV extraction.
Lattice-Based Ring Signatures Secure Blockchain Transactions against Quantum and Privacy Threats
A new lattice-based linkable ring signature scheme achieves quantum-safe anonymity and high efficiency, resolving the post-quantum privacy dilemma.
