DeepSEA System: Foundational Verification for Smart Contracts
A new system provides end-to-end formal verification for smart contracts by linking a verified language and compiler to operational semantics.
Blockchain-Native Distributed Key Generation Enables On-Chain Verification
A novel Distributed Key Generation protocol leverages blockchain consensus to make public keys verifiable on-chain, enhancing decentralized security and trust minimization.
Affine One-Wayness: Post-Quantum Temporal Verification via Polynomial Iteration
A new cryptographic primitive, Affine One-Wayness, establishes transparent post-quantum temporal ordering, enhancing distributed system security and synchronization.
Efficiently Updating Zero-Knowledge Proofs for Dynamic Data
This research introduces dynamic zk-SNARKs, a breakthrough enabling efficient, incremental proof updates crucial for verifiable AI and evolving blockchain states.
Blockchain Secures TEE State Continuity against Rollback and Forking
This research introduces Narrator-Pro, a blockchain-integrated TEE system, to prevent state manipulation attacks, enabling robust, decentralized confidential computing.
Rigorous Extractability Proofs Fortify KZG Polynomial Commitment Schemes
This work introduces a novel framework to rigorously prove KZG polynomial extractability, ensuring cryptographic integrity for scalable blockchain systems by formalizing knowledge proofs.
Collaborative Proof of Team Sprint Reduces Blockchain Energy Consumption
A novel consensus mechanism, Proof of Team Sprint, replaces individual mining competition with collaborative puzzle-solving to drastically cut energy use in blockchain networks.
Sublinear Memory Zero-Knowledge Proofs Democratize Verifiable Computation
Introducing the first ZKP system with memory scaling to the square-root of computation size, this breakthrough enables privacy-preserving verification on edge devices.
Designing Fair Transaction Fee Mechanisms for Leaderless Blockchains
This research introduces a game-theoretic model and a novel auction mechanism, FPA-EQ, ensuring fair and efficient transaction processing in emerging leaderless blockchain architectures.
