OR-Aggregation Revolutionizes Zero-Knowledge Set Membership for IoT Networks
A novel OR-aggregation technique dramatically improves zero-knowledge set membership proofs, enabling scalable, privacy-preserving data management in resource-constrained IoT environments.
Off-Chain Mechanisms Unlock Scalable Relational Blockchain Databases
GriDB pioneers off-chain cross-shard data services, leveraging succinct proofs and delegation to overcome blockchain database scalability limitations.
Zero-Knowledge Proofs: Practical Cryptographic Privacy and Scalability Advancement
Zero-knowledge proofs enable verifiable computation without revealing underlying data, fundamentally enhancing privacy and scalability across decentralized systems.
Enhancing PBFT with Authorization Module Improves Blockchain Confidentiality and Performance
A novel PoA-PBFT algorithm integrates authorization, boosting blockchain confidentiality and efficiency for diverse decentralized applications.
Formalizing MEV: A New Model for Provably Secure Blockchains
This research formalizes Maximal Extractable Value, providing a mathematical framework to analyze and mitigate economic attacks in decentralized systems.
Scalable Zero-Knowledge Proofs for Blockchain Cryptographic Hashing Verification
This research introduces a novel methodology for scalable zero-knowledge proofs, enabling verifiable cryptographic hashing integrity in blockchains without revealing underlying data.
Formalizing MEV Theory to Secure Decentralized Blockchain Architectures
This research establishes a rigorous, abstract model for Maximal Extractable Value, enabling formal security proofs against its detrimental impact on blockchain integrity.
Nova’s Recursive ZKPs Dramatically Scale Sequential Verifiable Computation
Nova introduces folding schemes for incremental verifiable computation, fundamentally enabling scalable, trustless execution of long-running processes.
Zkunlearner Enables Verifiable, Multi-Granular, Forgery-Resistant Machine Unlearning
zkUnlearner introduces a bit-masking technique for zero-knowledge proofs, enabling verifiable, multi-granular data unlearning in AI models and resisting forging attacks.
