# 安全的所有文章

在 HTX 新聞中心流覽與「安全」相關的最新資訊與深度分析。潘蓋市場趨勢、專案動態、技術進展及監管政策,提供權威的加密行業洞察。

以太坊团队详述:人工智能如何改变智能合约的安全防护模式

以太坊团队发布了由核心开发人员(化名big_tech_sux)撰写的客座系列文章,探讨在人工智能高速发展时代形式化验证的作用。作者指出,大型语言模型(LLM)的进步使得用数学方法证明程序正确性变得更加可行。对于管理着数十亿美元资产的智能合约而言,形式化验证正逐渐从可选方案变为必需品。 形式化验证是一种数学方法,能证明程序在所有可能执行场景下的正确性,而不仅限于测试覆盖的范围。例如,可以数学证明函数 f(x) = x/2 的结果永远不会超过输入值。这种方法能发现极其罕见、传统测试几乎无法捕捉的错误,防止灾难性故障。 作者承认,过去形式化验证需要大型专家团队构建数学模型并进行复杂证明,过程艰巨。然而,现代的LLM,尤其是随着通用人工智能(AGI)的接近,正在显著简化这一流程。不过,即使借助AI,形式化验证仍然复杂且资源密集,例如将代码转化为形式化模型时可能出现影响结果可信度的误差。 文章强调,AI的发展同时提升了攻击者和防御者的能力。作者举例未发布的OpenAI模型曾发现可绕过多层防护的零日漏洞。在此背景下,形式化验证能将优势转向防御方:攻击者只需找到一种能入侵系统的输入序列,而防御者则可利用形式化验证来证明系统对所有可能输入的抵御能力。 因此,对于管理巨额用户资金的关键软件(如智能合约),形式化验证已成为“必要前提而非可选项目”。这也延续了以太坊联合创始人Vitalik Buterin此前关于使用AI进行代码形式化验证的讨论。

cryptonews.ru08/06 11:20

以太坊团队详述:人工智能如何改变智能合约的安全防护模式

cryptonews.ru08/06 11:20

骰子对抗黑客:为何韩国比特币持有者未受Coldcard漏洞影响

在针对硬件钱包Coldcard的攻击事件中,持有大量比特币的韩国用户社区几乎没有遭受直接损失,这与全球其他地区(尤其是英语社区)数千地址受损、损失超1500BTC(约1.3亿美元)的情况形成鲜明对比。此次攻击源于特定型号Coldcard的随机数生成器漏洞,导致攻击者可获取脆弱的助记词种子。 分析指出,韩国社区得以幸免并非偶然,而是源于其长期形成的谨慎文化。社区领袖多年来一直倡导不依赖任何设备的内部随机数生成器,而是通过线下物理方式独立生成助记词种子。推荐的方法包括:投掷硬币或骰子获取真随机数、完全离线创建BIP39助记短语,并使用计算器而非联网设备进行转换。社区提供了详细的线下操作指南。 相比之下,英语社区尽管技术素养高,却因过度依赖与制造商有商业联系的网红意见、社区内部的“回声室”效应以及缺乏对设备安全性的独立验证,而遭受了更严重的损失。 此事件凸显了比特币“勿信,需验证”原则同样适用于信息来源。核心结论是:在可能的情况下,应优先使用物理方法自主生成助记词种子,并默认不信任任何设备的内部随机数生成器。 文末还提及,从技术角度看,不同手动生成方法的熵产出效率有别,且物理投掷可能存在人为偏差,而硬件随机数生成器则依赖对芯片的信任。何种妥协方案更适合大众用户,仍是一个开放性问题。

cryptonews.ru08/06 10:51

骰子对抗黑客:为何韩国比特币持有者未受Coldcard漏洞影响

cryptonews.ru08/06 10:51

以太坊社区吵翻了!EIP-8363 动了谁的蛋糕?

以太坊社区正激烈争议一项名为EIP-8363(原EIP-8361)的提案。该提案由多位研究人员联合提交,核心是引入“渐进式发行销毁”机制,旨在为不断增长的以太坊质押率设置一条“收益下坡路”。具体而言,当全网有效质押余额接近当前ETH总供应量的一半(约6025万枚)时,验证者获得的共识层发行奖励将被逐步扣除并销毁,最终净收益趋近于零,以此降低质押激励。 提案支持者认为,当前协议始终为更多质押提供正向激励,可能导致ETH过度集中于大型托管商和交易所,同时未质押的ETH持有者持续被新增发行稀释,削弱了原生ETH作为中立资产的竞争力。 然而,社区反对声音更为集中。批评者指出,该提案若实施,将显著冲击独立质押者,因其固定成本不变而收益大降,弥补停机损失的时间可能增至近4倍。同时,质押衍生品(LST)与原生ETH的收益差将收窄,可能削弱其吸引力,并冲击依赖LST收益的DeFi循环杠杆策略及整个利率体系。Aave创始人等担忧这会损害ETH作为“互联网债券”的可预测现金流,降低机构配置意愿。另有观点认为,极低收益环境下,资本雄厚的大型机构可能更能承受,反而加剧验证者集权风险。 该提案目前仍处于早期草案阶段,计划在即将到来的Hegotá升级讨论中被审议。其影响深远,触及以太坊的安全假设、经济模型及资产定位,引发了关于谁将受益、谁将承压的广泛讨论。最终,供应变化还取决于网络使用与市场等多重因素。

marsbit08/06 05:21

以太坊社区吵翻了!EIP-8363 动了谁的蛋糕?

marsbit08/06 05:21

活动图片