ai-assisted

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)