UXLINK Multisig Wallet Compromised via DelegateCall Vulnerability
A delegate call vulnerability in the UXLINK multisig wallet granted an attacker administrative control, enabling unauthorized token minting and significant asset draining.
Blind Vote and Private Auctions: Gas-Efficient Blockchain Protocols
Introduces Blind Vote, an untraceable, gas-efficient on-chain voting protocol using blind signatures, and private, trustless auction algorithms.
LLMs Enhance Smart Contract Formal Verification Accessibility and Effectiveness
This research validates large language models as potent verification oracles, simplifying complex smart contract auditing and bridging AI with formal methods.
Griffin AI Suffers $36m Cross-Chain Exploit via Forged LayerZero Peer
A misconfigured cross-chain bridge allowed an attacker to mint unauthorized tokens, triggering a significant market cap collapse and undermining trust in interoperability protocols.
Formal Verification Ensures Smart Contract Integrity and Eliminates Critical Vulnerabilities
Formal verification mathematically proves smart contract correctness, fundamentally preventing catastrophic code flaws and securing decentralized applications.
Doubly Private Smart Contracts Enhance Blockchain Confidentiality
This research introduces a framework for smart contracts that ensures both on-chain and off-chain data privacy, enabling secure and anonymous decentralized applications.
AI Agents Enhance Blockchain Security and Usability through Novel Architectures
This research introduces a systematization of AI agents for blockchain, proposing a four-layer architecture that enables intelligent automation and addresses critical security and privacy challenges.
SEC Advances DeFi Lending Framework, Prioritizing Investor Protection
The SEC's proactive DeFi lending framework mandates operational adjustments for platforms, balancing investor protection with market innovation.
LLMs Automate Smart Contract Formal Property Generation for Enhanced Security
PropertyGPT leverages large language models and retrieval-augmented generation to automatically create formal specifications, significantly improving smart contract security.
