hodler

18 May 2026, 17:34

Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks

Vitalik Buterin said mathematically verified software may help protect cryptographic infrastructures as AI improves both code generation and vulnerability discovery.

18 May 2026, 16:24

Vitalik says AI-driven exploits could reshape crypto security

Vitalik Buterin believes AI-assisted exploits may force crypto infrastructure toward mathematically verified software systems.

18 May 2026, 15:13

Vitalik Buterin says AI-verified code will boost ETH security

🚨 Vitalik Buterin sees a game changer in AI-verified code for $ETH security. Developers may soon detect vulnerabilities faster than hackers, thanks to AI. 🧠 Critical point: Full software security still cannot be completely guaranteed by AI alone. Continue Reading: Vitalik Buterin says AI-verified code will boost ETH security The post Vitalik Buterin says AI-verified code will boost ETH security appeared first on COINTURK NEWS .

18 May 2026, 15:00

Solana Core Developers Urge Validators to Upgrade to Agave 4.0 for Major Performance Gains

BitcoinWorld Solana Core Developers Urge Validators to Upgrade to Agave 4.0 for Major Performance Gains The Solana network is poised for a significant performance leap as Anza, a core development team, officially recommended on May 18 that mainnet validators upgrade to the Agave 4.0 client. The recommendation, shared via Anza’s official X account, outlines a series of enhancements designed to dramatically improve transaction processing speed, network efficiency, and scalability. Key Upgrades in Agave 4.0: XDP, QUIC, and Replay Optimization At the heart of the Agave 4.0 release is the integration of XDP (eXpress Data Path) for the Turbine block propagation protocol. According to Anza, tests conducted with large mainnet validators showed a dramatic reduction in Turbine retransmission latency, dropping from approximately 600 milliseconds to around 0.8 milliseconds. This improvement is critical for maintaining network synchronization and reducing block propagation delays. Furthermore, the upgrade makes QUIC the exclusive method for transaction submission by removing legacy UDP-based transaction access. This move is expected to improve network reliability and congestion control. The development team also highlighted that replay stage performance has been enhanced by making Proof of History (PoH) verification and Ed25519 signature verification asynchronous, allowing validators to process transactions more efficiently. Scaling to One Billion Compute Units Per Block Anza stated that the performance headroom unlocked by these optimizations positions Solana to scale to one billion Compute Units (CU) per block. This represents a substantial increase in the network’s computational capacity, potentially enabling more complex decentralized applications and higher transaction throughput without compromising on speed or security. Phased Activation of SIMD Features In addition to the core performance upgrades, Agave 4.0 includes several Solana Improvement Documents (SIMD) features that will be activated in phases. These include the p-token standard, Stake Program v5, SBPFv3, prefunded account creation, and the BLS12-381 syscall. The phased rollout is designed to ensure network stability and allow validators to adapt to the changes gradually. Conclusion The recommendation for validators to upgrade to Agave 4.0 marks a pivotal step in Solana’s ongoing development. The dramatic latency reductions and increased CU capacity suggest the network is preparing for a new era of scalability. Validators and ecosystem participants are encouraged to review the upgrade notes and prepare for the transition to maintain network compatibility and performance. FAQs Q1: What is Agave 4.0? Agave 4.0 is the latest recommended client software for Solana validators, developed by Anza. It includes significant performance improvements, such as XDP for Turbine, QUIC-based TPU data access, and replay stage optimizations. Q2: Why is the latency reduction from 600ms to 0.8ms important? This reduction in Turbine retransmission latency dramatically improves how quickly validators can synchronize and propagate blocks across the network. Faster synchronization leads to better overall network performance, reduced confirmation times, and a more responsive user experience. Q3: What does ‘scaling to one billion CU per block’ mean for users? Compute Units (CU) measure the computational work required to process transactions and smart contracts. Scaling to one billion CU per block means the Solana network can handle significantly more complex operations and higher transaction volumes, supporting more demanding decentralized applications without congestion. This post Solana Core Developers Urge Validators to Upgrade to Agave 4.0 for Major Performance Gains first appeared on BitcoinWorld .

18 May 2026, 14:55

Vitalik Buterin: AI-Powered Formal Verification Could Transform Crypto Security

BitcoinWorld Vitalik Buterin: AI-Powered Formal Verification Could Transform Crypto Security Ethereum co-founder Vitalik Buterin has predicted that integrating artificial intelligence with formal verification technology could significantly strengthen the security of cryptocurrency systems and broader internet infrastructure. The remarks, reported by CoinDesk, highlight a growing intersection between AI and blockchain development. What is Formal Verification? Formal verification is a rigorous method of mathematically proving that a piece of software operates exactly as intended. Unlike traditional testing, which can only find bugs, formal verification provides a high level of assurance that certain classes of errors do not exist. However, it has historically been a slow and labor-intensive process, limiting its widespread adoption in fast-moving fields like crypto development. AI as a Catalyst for Security Buterin explained that recent advances in AI are making the process of writing both code and verification proofs far more efficient. While AI can rapidly generate large volumes of code—some of which may be inaccurate—formal verification can re-establish the accuracy of that code. This synergy, he argued, could be transformative. “AI can generate code at a massive scale, but it also generates a lot of incorrect code. Formal verification is the tool that can bring that accuracy back,” Buterin stated, according to the report. He emphasized that the combination allows developers to move faster without sacrificing security. Key Areas of Impact Buterin identified several critical areas within the cryptocurrency ecosystem where this combined approach will become increasingly important: Smart Contracts: Verifying that complex DeFi protocols and NFT contracts behave as expected, reducing the risk of exploits. Zero-Knowledge (ZK) Proofs: Ensuring the correctness of ZK circuits, which are foundational to privacy and scalability solutions. Consensus Mechanisms: Proving the mathematical soundness of protocols that secure proof-of-stake networks. Quantum-Resistant Cryptography: Validating the security of new cryptographic algorithms designed to withstand future quantum computing attacks. Why This Matters Now The crypto industry has suffered billions of dollars in losses from smart contract bugs, bridge hacks, and protocol exploits. Traditional auditing, while valuable, is not infallible. Formal verification offers a higher standard of proof, but its adoption has been limited by cost and complexity. Buterin’s comments suggest that AI is on the cusp of removing those barriers, potentially making mathematically verified code a standard practice rather than a luxury. Not a Silver Bullet Buterin also offered a cautionary note, stating that formal verification is not a panacea. He pointed out that it cannot solve all problems, particularly those arising from incorrect underlying assumptions or hardware-level vulnerabilities. If the specification itself is flawed, or if the hardware executing the code has a bug, formal verification of the software will not catch those issues. Conclusion The combination of AI and formal verification represents a pragmatic evolution in crypto security. By leveraging AI to accelerate the verification process, developers can aim for higher assurance without the traditional time penalties. While not a cure-all, this approach could become a critical tool in the ongoing effort to build more resilient and trustworthy decentralized systems. FAQs Q1: What is formal verification in simple terms? It is a mathematical method to prove that a piece of code will always behave exactly as designed, eliminating entire categories of bugs and vulnerabilities. Q2: How does AI help with formal verification? AI can automate the generation of verification proofs and help write code that is easier to verify, dramatically reducing the time and expertise required to use formal methods. Q3: Will formal verification make crypto completely hack-proof? No. Formal verification can only prove correctness relative to its specifications. It cannot protect against flawed design assumptions, oracle manipulation, or hardware failures. This post Vitalik Buterin: AI-Powered Formal Verification Could Transform Crypto Security first appeared on BitcoinWorld .

18 May 2026, 12:20

AEON raises $8M to build a dedicated payment layer for AI agents

BitcoinWorld AEON raises $8M to build a dedicated payment layer for AI agents AEON, a blockchain-based payment and settlement layer designed specifically for transactions between AI agents, has secured $8 million in pre-seed funding. The round was led by YZi Labs, with participation from IDG Capital, HashKey Capital, and the Stanford Blockchain Builder Fund, as reported by The Block. What AEON is building The project aims to solve a fundamental challenge in the emerging AI agent economy: how autonomous software agents can pay for services, access data, or settle transactions without human intervention. AEON’s infrastructure provides a dedicated payment rail that allows AI agents to initiate and complete payments programmatically, with on-chain verification and settlement. In May, AEON launched a payment product that already connects AI agents with over 50 million real-world offline merchants. The system uses a tool called the “x402 Facilitator,” which runs on the BNB Chain. This facilitator handles transaction verification, records settlements on-chain, and issues tamper-proof digital receipts — all without requiring a human to approve each transaction. Why a dedicated AI agent payment layer matters As AI agents become more autonomous — handling tasks like booking travel, managing supply chains, or executing trades — the need for machine-to-machine payments grows. Traditional payment infrastructure was built for human users, with friction points like authentication, manual approvals, and delayed settlement that are unsuitable for autonomous software. AEON’s approach treats AI agents as first-class economic actors. Each agent can hold a wallet, initiate payments, and receive funds, with the blockchain providing an immutable record of every transaction. This creates a trust layer that allows agents from different systems or organizations to transact with each other securely. Market context and investor interest The $8 million pre-seed round signals strong investor conviction in the AI agent infrastructure thesis. YZi Labs, the lead investor, has a track record of backing early-stage blockchain and AI projects. The inclusion of the Stanford Blockchain Builder Fund also suggests academic and research interest in the intersection of AI autonomy and decentralized finance. The broader market for AI agent payments remains nascent but is growing rapidly. Industry estimates suggest that by 2027, a significant portion of e-commerce transactions could be initiated or executed by AI agents. Infrastructure projects like AEON are positioning themselves to capture this emerging transaction volume. How AEON’s technology works AEON’s architecture consists of several key components. The x402 Facilitator acts as an intermediary that verifies transaction requests from AI agents, checks them against predefined rules, and submits them to the BNB Chain for settlement. The system issues receipts that are stored on-chain, making them verifiable and tamper-proof. The project’s ability to connect with over 50 million offline merchants is significant. It suggests AEON has integrated with existing payment networks or point-of-sale systems, allowing AI agents to pay for physical goods and services — not just digital ones. Conclusion AEON’s $8 million pre-seed round and its operational payment product place it at the forefront of a new category: infrastructure for autonomous agent economies. While the concept of AI agents paying for things is still early, the project has moved from theory to practice by connecting agents with tens of millions of real merchants. For investors and observers tracking the convergence of AI and blockchain, AEON represents a concrete bet on a future where software agents transact independently. FAQs Q1: What exactly does AEON do? AEON builds a payment and settlement layer on the blockchain that allows AI agents to make and receive payments autonomously, without human approval for each transaction. Q2: Who led the funding round? The $8 million pre-seed round was led by YZi Labs, with participation from IDG Capital, HashKey Capital, and the Stanford Blockchain Builder Fund. Q3: How many merchants can AEON agents transact with? AEON’s payment product connects AI agents with over 50 million real-world offline merchants, using its x402 Facilitator on the BNB Chain for verification and settlement. This post AEON raises $8M to build a dedicated payment layer for AI agents first appeared on BitcoinWorld .