ai-assisted

According to Bitcoin News, Boltzhq has shut down due to its five-person team being overwhelmed by increasingly complex AI-assisted attacks. A group of experienced Bitcoin users will take over the service with additional capital and engineering resources.The founder has stepped down. The service is currently still offline, and the new team is working to restart it.

The Ethereum Foundation has released a job posting for a Protocol Security Researcher, part of the protocol security team, responsible for identifying security vulnerabilities in various aspects such as the execution layer, consensus layer, network layer, specifications, and client implementations. The work includes AI-assisted security research and automated vulnerability discovery, hard fork reviews, fuzz testing tool development, manual audits of protocol changes, and coordinating vulnerability disclosures.The team requires candidates to have deep experience with the Ethereum protocol, with a preference for engineers who have actively participated in protocol development and are familiar with the specifications of the execution layer or consensus layer. Common programming languages include Go, Rust, Java, C#, Nim, and Python. Remote work is available, and the position is open to candidates in Europe and globally.

Boltzhq has indefinitely suspended its exchange service following reports of an increase in AI-assisted attacks and multiple controlled exploitations.Due to its non-custodial design, user funds have never been at risk, but wallets relying on Boltz for Lightning Network exchanges, including AquaBitcoin and BULLBITCOIN, experienced service interruptions during the deployment of alternative infrastructure.

According to official news, AI-assisted development of the Web3 infrastructure layer Canopy has completed a $8.5 million seed round financing, with participation from Arrington Capital, Fenbushi Capital, Borderless Capital, and SNZ Capital.The raised funds will be used to support its mainnet launch, expansion of the engineering team, and the development of native AI development tools.

Vitalik Buterin published an article discussing the application prospects of Formal Verification in the field of blockchain security.The article points out that a new paradigm is emerging in Ethereum's cutting-edge research and development, where code is directly written using EVM bytecode, assembly, or Lean, and its correctness is verified using automatically checkable mathematical proofs in Lean. Researcher Yoichi Hirai refers to this paradigm as "the ultimate form of software development."Vitalik believes that AI-assisted formal verification is expected to enhance both code efficiency and security, particularly suitable for security core modules such as STARK, ZK-EVM, quantum-resistant signatures, and consensus algorithms.The article also emphasizes that formal verification is not a panacea and may still fail due to issues such as incomplete proof coverage, specification errors, and hardware side channels; in the future, software may differentiate into "security cores" and "non-security edges," with Ethereum becoming one of the important security cores.

According to Cointelegraph, Vitalik posted on the X platform on Sunday, proposing to introduce personal AI large language models (LLMs) into decentralized autonomous organization (DAO) governance to address the long-standing issue of low participation rates in DAOs.Currently, the average voting participation rate in DAOs is only between 15% and 25%, which not only may lead to power concentration but also poses a risk of governance attacks.

According to official news, ChainCatcher has upgraded its news alert system and introduced AI assistance, connecting to more global core information sources to strengthen its 7*24h news alert system.

ChainCatcher news, AI-assisted 3D animation company Kinetix announced the public release of Emote Infrastructure, enabling game developers and virtual world creators to enhance user engagement and open new revenue streams by integrating the Emote SDK compatible with Windows, iOS, and Android platforms through Unity.The Kinetix SDK is free, allowing developers to integrate a cloud-based library of over 1000 emotes and profit from it. This is compatible with their game characters, visual styles, and user interfaces.It is reported that Kinetix aims to provide a platform to assist user-generated content in the metaverse, making creation fast and simple.ChainCatcher previously reported that Kinetix announced the completion of a $11 million seed round financing to promote the development of user-generated content in the metaverse. This round of financing was led by Adam Ghobarah, founder of Top Harvest Capital and former executive at Google and Google Ventures, with participation from The Sandbox, Naver's 3D avatar application Zepeto (NAVER Z), Sparkle Ventures, and others. (source link)