GPU Bottlenecks Hinder Zero-Knowledge Proof Scalability and Adoption
This research identifies Number-Theoretic Transform as the primary GPU bottleneck for Zero-Knowledge Proofs, proposing architectural and tuning solutions to unlock verifiable computing at scale.
Succinct Zero-Knowledge Arguments for Unknown Order Homomorphic Encryption
This research introduces novel ZK arguments for the CL cryptosystem, enabling private, verifiable computations in unknown order groups for enhanced privacy.
LLM-driven Property Generation Enhances Smart Contract Formal Verification
A new framework leverages large language models to automate the creation of robust verification properties, significantly improving smart contract security analysis.
Zero-Knowledge Mechanisms: Private Commitment, Verifiable Execution without Mediators
This research introduces a framework for committing to and executing mechanisms privately, leveraging zero-knowledge proofs to enable verifiable properties without disclosure.
Hierarchical State Compression Enables Scalable Blockchain Verification
A new hierarchical state compression framework dramatically reduces blockchain state size, unlocking efficient light client verification and enhanced decentralization.
QScale: Probabilistic Chained Consensus for Moderate-Scale Systems
QScale introduces a novel probabilistic chained consensus, significantly reducing communication overhead for distributed ledgers at moderate scales.
Zero-Knowledge Mechanisms Enable Private, Verifiable Commitments without Mediators
This framework leverages zero-knowledge proofs for private mechanism commitment and execution, ensuring verifiable properties without disclosure or mediators.
Validated Strong Asynchronous BFT for Scalable Vote-Based Blockchains
A novel validated strong BFT model enables leader-based asynchronous consensus, reducing message complexity and achieving linear view changes for scalable blockchains.
Hybrid PoAD Consensus Boosts Smart Contract Scalability and Fairness
A novel hybrid consensus, PoAD, merges validator activity, delegated stakes, and verifiable randomness to fundamentally enhance smart contract scalability and fairness.
