VeriLoRA: Fine-Tuning Large Language Models with Verifiable Security via Zero-Knowledge Proofs.
该论文提出了 VeriLoRA,首个将低秩适配(LoRA)微调与零知识证明(ZKP)相结合的框架,旨在解决大语言模型(LLM)在不可信环境下微调的安全性和可验证性问题。LoRA 通过低秩矩阵分解大幅降低微调所需的计算和存储资源,但标准 Lo
共收录 154 条相关情报。
← 返回所有主题该论文提出了 VeriLoRA,首个将低秩适配(LoRA)微调与零知识证明(ZKP)相结合的框架,旨在解决大语言模型(LLM)在不可信环境下微调的安全性和可验证性问题。LoRA 通过低秩矩阵分解大幅降低微调所需的计算和存储资源,但标准 Lo
该论文提出了一种名为Odysseus的新型越狱攻击范式,针对商业多模态大语言模型(MLLM)集成系统。当前的安全过滤器通常假设恶意内容必须在输入或输出中显式可见才能被检测,但多模态系统允许攻击者利用图像等多重模态隐藏恶意意图。Odysseu
本文针对低秩适配(LoRA)模型在开源社区(如Hugging Face)中广泛使用所带来的安全挑战展开研究。LoRA作为一种高效的大语言模型微调方法,其适配器文件可被轻易分享和传播,但这也为恶意攻击者提供了植入后门的机会。现有后门攻击方法在
该论文深入研究了RPKI(资源公钥基础设施)中标记为“无效”的前缀背后的隐藏原因和潜在安全风险。RPKI旨在通过验证BGP路由的起源授权来增强互联网路由安全性,但实际部署中大量前缀被标记为无效,其原因和后果尚未得到充分理解。作者通过大规模测
隐写术是一种将秘密信息隐藏在公开载体中的技术。生成式隐写术利用生成模型(如GAN)生成载体并嵌入秘密,但面临容量、效率和安全性的三难问题:传统方法往往牺牲其中一方。本文提出ANStega(Adversarial Network-based
本文旨在揭示以太坊MEV(矿工可提取价值)机器人全生命周期的盈利策略。研究背景是MEV机器人在以太坊生态中广泛存在,但其内部运作机制和盈利手段尚不透明。核心问题是如何系统性地理解MEV机器人的行为模式、盈利策略及其演变。作者提出了一种基于链
本论文是一篇系统化知识(SoK)研究,旨在从攻防双视角深入评估Linux内核加固机制的有效性。研究首先系统梳理了现有Linux内核安全加固技术,包括内核地址空间布局随机化(KASLR)、堆栈防护、控制流完整性(CFI)、内核控制流完整性(k
该论文深入研究了函数内联(function inlining)对基于机器学习的二进制分析安全任务的影响。函数内联是编译器优化中常见的技术,但极端内联可能显著改变二进制代码的统计特征,从而影响依赖这些特征的机器学习模型的性能。作者针对五个关键
本研究报告探讨了字符串逻辑 FC(Function-or-Constraint)在解析器组合中的应用。FC 逻辑最初在数据库理论中用于信息抽取,本文提出其应用范围可以更广,特别是作为统一框架来组合多种解析器,并与语言理论安全(LangSec
本论文聚焦于Chainlink预言机中的Off-Chain Reporting (OCR)协议的安全缺陷。OCR协议是Chainlink用于在链外聚合预言机数据并提交至链上的关键组件,其设计目标是通过签名聚合和离线计算提高效率。然而,作者发
该论文重新审视了DNS安全领域中的区域隔离原则(Zone-Based Isolation),特别是针对Bailiwick检查的信任假设。传统上,DNS解析器依赖Bailiwick检查来防止跨区域数据污染,即确保只有与查询域名处于同一区域的授
该论文针对区块链网络中脱链(off-chain)拍卖的可扩展性问题进行研究。传统的链上拍卖受限于区块大小和交易吞吐量,难以支持高频或大规模竞拍。作者提出一种新的脱链拍卖协议,通过将大部分计算和通信移出链外,仅在链上提交结算证明,从而大幅降低
本文对认证字典(Authenticated Dictionaries, AD)——一类支持密钥透明、二进制透明、可验证键值存储及完整性保护文件系统等应用的密码学数据结构——进行了系统化综述。首先,作者提出了一个统一框架,捕获了五种常见部署场
本文研究了蜂窝网络中公共预警系统(PWS)的安全问题,该系统用于在地震、恶劣天气等威胁事件中向特定地理区域内的所有移动电话广播紧急警报。攻击者可能伪造这些警报,传播虚假新闻或钓鱼链接,导致公众恐慌或用户受害。作者首次提出并实现了开源的5G紧