Thetacrypt: Simplifying Threshold Cryptography for Distributed Systems
Thetacrypt introduces a versatile library for integrating diverse threshold cryptographic schemes, enabling simpler construction of robust, distributed systems and enhancing blockchain security.
Formalizing Maximal Extractable Value for Provably Secure Blockchains
This research introduces a rigorous, abstract model for Maximal Extractable Value, enabling formal security proofs against its detrimental impact on blockchain integrity.
Tempo: A Payments-First Blockchain for Global Stablecoin Transactions
Tempo introduces a Layer-1 blockchain optimized for stablecoin payments, enabling high-throughput, low-latency transactions with stablecoin-denominated gas fees, poised to digitize global financial infrastructure.
STARKs: Scalable, Transparent, Post-Quantum Secure Computational Integrity
This research introduces Scalable Transparent ARguments of Knowledge (STARKs), a cryptographic primitive enabling verifiable computation without trusted setups, ensuring post-quantum security.
Verifiable Tree Commitments Enable Scalable Cross-Shard State Synchronization
A novel cryptographic primitive, Verifiable Tree Commitments, revolutionizes sharded blockchain state management, enabling unprecedented scalability and security.
AI Transforms Smart Contract Security through Scalable Vulnerability Detection
This research introduces AI-driven methodologies to overcome traditional smart contract auditing limitations, promising enhanced security and efficiency for decentralized applications.
Decentralized AI Agents: A New Standard for On-Chain Autonomy
Nexus introduces a framework for AI agents to operate verifiably on-chain, unlocking autonomous finance and transparent decentralized applications.
Zklighter Enables Verifiable, Scalable, and Transparent Decentralized Exchange Order Books
This protocol revolutionizes decentralized trading by leveraging zk-SNARKs and novel data structures to ensure verifiable, efficient, and transparent order book operations.
HyperNova Enhances Practical Zero-Knowledge Virtual Machine Efficiency
HyperNova introduces a recursive zero-knowledge proof system that significantly reduces overhead for high-degree constraint computations, enabling more practical verifiable virtual machines.
