开源AI模型如何打破规模经济垄断

Ines Montani在QCon伦敦演讲中指出,规模经济无法垄断AI革命,开源技术和模型将使所有人跟上生成式AI的步伐。文章详细分析了三类AI模型特点及生产部署策略,探讨了从原型到生产的快速迭代方法。

Manticore发现ENS漏洞 - 智能合约安全分析实战

本文详细分析了Manticore符号执行工具如何发现以太坊域名服务(ENS)的关键漏洞(CVE-2020-5232),展示了从合约字节码逆向到自动化漏洞利用生成的完整技术流程,涉及LLL语言合约分析与EVM层级的漏洞检测方法。

核均值嵌入的方差感知估计技术

本文提出一种利用再生核希尔伯特空间方差信息加速核均值嵌入收敛的方法,适用于独立数据和稳态混合序列场景,并在假设检验与鲁棒参数估计中验证了其有效性。

当心语言陷阱:Trail of Bits首次Vyper智能合约审计报告

本文详细分析了Vyper语言的安全特性与潜在风险,包括内置整数溢出检查、功能限制等设计优势,同时揭示了编译器函数哈希碰撞漏洞,并介绍了Manticore/Echidna等工具对Vyper合约的检测方案。

防止NLP模型更新在特定任务上性能倒退的技术

本文介绍了一种名为向后兼容重排序(BCR)的新方法,可防止NLP模型更新时在特定任务上出现性能倒退。该方法利用旧模型对新模型的n个最佳假设进行评分重排,在依存句法分析和会话语义分析任务中显著降低了负翻转率和负翻转影响。