以太坊联合创始人 Vitalik Buterin 表达了他对人工智能辅助代码形式验证和错误查找的潜力的兴奋。 Buterin 在周一的推文中指出,以太坊最重大的技术风险源于代码中的错误,任何可能显着改变这方面游戏规则的事情都将是开创性的。 “令我兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找。目前,以太坊最大的技术风险可能是代码中的错误,任何能够显着改变游戏规则的事情都将是令人惊奇的,”他写道。值得注意的是,以太坊协议面临的主要挑战之一是漏洞利用,黑客事件导致投资者损失数百万美元。根据 Chainaanalysis 的一份报告,2023 年被盗的加密货币资金达到了惊人的 17 亿美元,其中约三分之二的被盗资金可追溯到针对 DeFi 协议的黑客攻击。尽管总体盗窃数量与前几年相比有所下降,但 DeFi 黑客攻击的威胁仍然是一个重大问题。与此同时,尽管 Buterin 对人工智能的潜力表示乐观,但他也表示谨慎。在 1 月 30 日的博客中,这位以太坊联合创始人建议在将人工智能与区块链技术相结合时要谨慎行事,强调了谨慎和谨慎的方法的迫切需要,特别是在具有重大价值和风险的环境中部署人工智能时。值得注意的是,去年,智能合约开发公司 OpenZeppelin 使用 OpenAI 的 GPT-4 来检测 Solidity 智能合约中的安全问题进行了实验,结果好坏参半。根据该公司的一份报告,GPT-4 准确地识别了 28 个挑战中的 20 个漏洞,但有时它也会捏造不存在的漏洞。同样,区块链安全公司 CertiK 的首席安全官 Kang Li 也警告不要完全依赖人工智能驱动的工具进行编码。去年 9 月,李在韩国区块链周期间发表讲话时指出,如果不谨慎使用,人工智能工具可能会带来比其解决的更多安全问题。 Li 进一步强调,例如,ChatGPT 可能无法像经验丰富的开发人员那样熟练地检测逻辑代码错误。相反,这位专家建议利用人工智能助手作为经验丰富的开发人员的支持工具,使他们能够更有效地理解代码。
Hashed–韩国领先的加密企业–克服了加密冬天的挑战,今年在区块链项目上投资了2844万美元(368亿韩元)。加密货币寒冬期间2023年投资的散列根据Econovill最近的一份报告,Hashed的战略重点是早期企业,...
加密货币交易平台Lykke 与 IBM 和 UBS 两位前高管合作推出了一家专注于区块链的加速器和风险投资公司。总部位于瑞士(BVV) 周四宣布,为区块链企业提供包括资本投资在内的各种服务的助推加速器ICO 以及营销支持...
风险投资公司为初创公司提供的价值不仅仅是现金。他们还带来了业务经验、广泛的网络和关键服务。今年的熊市轨迹应该被视为 Web3 创始人筹集资金和打造尖端产品的有利机会。当今一些最强大的企业是在市场低迷时期建立的,创始人现在...
Binance US已成立政治行动委员会涉足美国政坛 Odaily星球日报讯 由于美国中期选举的大额捐助者SBF及其FTX同僚倒台,其竞争对手Binance US选择在这个时刻成立自己的政治行动委...