solidot新版网站常见问题,请点击这里查看。
adv
数学
matrix(791)
发表于2022年01月14日 19时25分 星期五
来自开普罗纳的魔法师
黎曼(Bernhard Riemann)提出关于素数分布的开创性猜想之后,162 年过去了。尽管尽了最大努力,数学家在证明黎曼猜想上取得的进展很小。但他们设法在一个相对简单的相关问题上取得了进展。在 9 月发表的一篇论文中,高等研究院的 Paul Nelson 解决了亚凸界问题(subconvexity problem),这是黎曼猜想的一种轻量级版本。证明本身是一项重大成就,让人们期待与素数相关的更大发现。Nelson 表示:“这是一个有点牵强的梦想,但是你可以非常乐观地希望,也许我们可以研究这样的问题来了解黎曼猜想是怎么回事。”黎曼假设和亚凸界问题很重要,因为素数是数学中最基本的——也是最神秘的对象。当你将它们放在数轴上时,其分布方式似乎没有规律。但在1859 年,黎曼设计了名为黎曼 zeta 函数的对象——一种无限和——它推动了一种革命性的方法,如果得到证明,它将揭开素数的隐藏结构。证明它几年前还被视为是科幻故事。
科幻
matrix(791)
发表于2022年01月10日 22时29分 星期一
来自华氏451
Ada Palmer 是芝加哥大学的欧洲史教授。她受伏尔泰(Voltaire)和狄特罗(Diderot)等 18 世纪哲学家的启发,创作了四卷科幻系列小说《Terra Ignota》。Palmer 认为伏尔泰可被认为是第一位科幻小说作家,这要归功于他在 1752 年写的一篇小说。她表示:“伏尔泰写过一篇短篇小说,名为《微型巨人(Micromégas)》。在这篇小说中,一个来自土星的外星人和一个来自天狼星附近恒星的外星人来到地球,他们体型巨大,在地球上探索,却找不到生命形式,因为对他们来说,鲸鱼就像跳蚤那么大。”“他们最终意识到,地上的那一小块木头其实是一艘船,里面满载着生物,于是他们开始接触。所以这是第一次接触的故事。” 玛丽雪莱(Mary Shelley)在1818年创作的小说《科学怪人(Frankenstein)》通常被认为是第一部科幻小说。伏尔泰的写作时间比雪莱早得多,所以他应该得到这个头衔吗?这取决于你对科幻小说的定义。Palmer 表示:“《微型巨人》不涉及技术,所以如果你将科幻小说定义为依赖技术——就《科学怪人》而言,关于的是‘人类的知识是否让我们获得了超越以往的力量?这意味着什么?’——那么《微型巨人》没有探讨这些问题。但是外星人和第一次接触是一个非常核心的科幻元素。”
地球
matrix(791)
发表于2021年12月30日 16时47分 星期四
来自夜袭动物园
德国 Alfred Wegener 研究所的一组研究人员在南极冰架下发现了多达 77 种海底栖息物种——暗示这片神秘区域的生物多样性可能比科学家意识到的丰富得多。人们对南极洲漂浮冰架下的环境知之甚少,南极洲冰川向海延伸,面积达 160 万平方公里。这个严酷、寒冷的环境一直被长久的黑暗笼罩,之前对冰下生命的研究只记录了几十种耐寒的生命形式。本月早些时候发表在《当代生物学》上的新研究在一个地点发现的物种数量比以前在这个冰冻大陆上的所有冰架上记录的物种还要多。2018 年研究人员通过在威德尔海的埃克斯特伦冰架上钻取两个洞后收集了海底标本。英国南极调查局的新闻稿表示,他们发现这片海底的生物多样性“比这个大陆架上许多有光和食物来源的开放水域样本更丰富。”研究发现四个物种出现了与开放水域栖息地中“类似动物相当的”年增长率。
比特币
1
matrix(791)
发表于2021年12月23日 17时14分 星期四
来自精灵王之女
美国采取法律行动,没收并归还一名员工从索尼子公司 Sony Life Insurance Company Ltd 窃取的 1.54 亿美元比特币。美国司法部表示:根据政府诉讼,东京 Sony Life Insurance Company Ltd.(Sony Life)的一名员工 Rei Ishii 涉嫌在公司财务账户之间转移资金时窃取了 1.54 亿美元。Ishii 伪造交易指令,将资金转移到 Ishii 在加州拉霍亚一家银行控制的账户。法庭文件显示,Ishii 将 Sony Life 的转账地址改为他控制的一个 Silvergate Bank 账户。然后将被盗资金转换为 3879 个比特币,通过 Coinbase 将所有入账资金都自动转移到一个离线加密货币冷钱包中。将钱转换为加密货币后,Ishii 还给主管和 Sony Life 的几位高管发送一封用英语和日语写的勒索电子邮件,试图说服他们不要协助调查人员。勒索电子邮件写道:“如果你们接受和解,我们将退还这笔钱。如果你们要提起刑事诉讼,就无法收回这笔钱了。”“我们会盯着这一切,但有一件事是肯定的,你们会和我们达成一致。我们强烈建议停止与包括执法部门在内的任何第三方沟通。” 12 月 1 日,在与日本执法部门协作调查后,FBI 获得了私钥,在 Ishii 的钱包中查获了 3879.16242937 个比特币,并将这些比特币转移到 FBI 的比特币钱包中。东京警视厅于同一天逮捕了 32 岁的 Ishii,以涉嫌于从欺诈性转账获得1.54亿美元的罪名对他提出刑事指控。
安全
matrix(791)
发表于2021年12月07日 13时23分 星期二
来自树上银花
HardenedVault 写道 "2021年11月30日到12月1日,又到了一年一度的开放固件大会,至今已经是第4届,由于疫情的缘故,开放固件大会2020和2021都是线上举行的,今年有来自全球的300名固件领域的从业人员参与,赛博堡垒(HardenedVault)是今年的赞助商之一,赛博堡垒与多个厂商交流了2022财年的服务器和边缘设备的高级防护方案,而HardenedLinux依旧在自由与开放固件生态项目中。今年的议题非常丰富,u-bmc,LinuxBoot以及ARM和Intel的下一代固件战略布局。另外,自从SolarWinds事件后,供应链安全成为了业界关注的重点,固件和硬件领域的供应链问题带来的危害远比大部分人认知的要严重,冗长的链条和碎片化带来的复杂性让防护的一方难以应对尝试把恶意检测规则和LVFS(Linux Vendor Firmware Service)融合能阻挡部分威胁,这算是一个猫鼠游戏的有趣尝试。最后就是这年头到哪里都会有人讨论Rust实现和各种重写的替代方案,这有点像2014到2019那段时间里如果新方案里没个go的实现都不太好意思讲是cutting-edged,今年有一个议题是讲oreboot(Rust重写coreboot):"
科技
matrix(791)
发表于2021年11月18日 15时35分 星期四
来自荷鲁斯崛起
美国食品和药品管理局(FDA)宣布,批准一种虚拟现实系统作为慢性背痛的处方疗法。被称为EaseVRx 的疗法进入该机构近几年批准的数字疗法的短名单。EaseVRx 包括一个 VR 头显和一个放大用户呼吸声音以辅助呼吸练习的设备。它利用认知行为疗法的原理,旨在帮助人们识别和理解各种思维模式和情绪。FDA 在声明中表示,该项目通过放松、分散注意力和提高对内部信号的认识解决疼痛。FDA 批准 EaseVRx 依据的是一项为期八周的研究数据,该研究针对 179 名症状持续了 6 个月或更长时间下背部疼痛的患者。一半人使用 EaseVRx 疗法,另一半参与者使用另一种没有使用认知行为疗法的二维虚拟现实程序。大约三分之二使用 EaseVRx 的参与者表示,他们的疼痛减少了 30% 以上,对照组中只有 41% 的人有类似的减轻。研究结束后,EaseVRx组 的参与者的疼痛减少持续了长达三个月,对照组的人则没有。FDA 神经和物理医学设备办公室代理主任Christopher Loftus 在一份声明中表示,该 VR 系统可以成为阿片类药物的替代选择去治疗背部疼痛。EaseVRx 由 AppliedVR 公司开发的,该公司也在测试其平台作为纤维肌痛、烧伤疼痛或分娩时疼痛的治疗方法。
太空
1
matrix(791)
发表于2021年11月17日 16时30分 星期三
来自新世纪福音战士ANIMA.1
过去五年太阳系最有趣的问题之一是:是否存在一颗大行星藏在寒冷的黑暗区域,其轨道如此之长可能需要 20,000 年才能运行一周?答案被证明不可知,但一项新研究揭示神秘假想天体存在的痕迹

英国伦敦帝国理工学院天文学家 Michael Rowan-Robinson 对红外天文卫星(IRAS)在 1983 年收集的数据进行分析,发现三个可能是第九行星的点源。Rowan-Robinson 在他的预印本论文中总结道,这实际上不是真正的探测,但确实存在可能性,用这些数据建模行星现在的位置,以便进行更有针对性的搜索,确认或排除它的存在。他写道:“鉴于 IRAS 探测的质量很差,极大限制了调查,而且在远红外探测非常困难的天空区域,候选目标存在的可能性并不是压倒性的。”

“然而鉴于对第九行星猜想的极大兴趣,在被提议的天空区域中搜索提议参数的天体,看看它是否与行星星历表不一致,这种做法是值得的。”关于太阳系外围存在一颗隐藏行星的猜测持续了几十年,在 2016 年,一篇论文提出新证据,猜测达到新的高潮。加州理工学院的天文学家 Mike Brown 和 Konstantin Batygin 发现,太阳系外围的柯伊伯带中的小天体的轨道运行很奇怪,似乎是受到一颗大天体引力影响的模式。

但找到这个讨厌的东西比听起来复杂得多。如果它在那里,其质量可能是地球的 5 到 10 倍,运行轨道在 400 到 800 个天文单位之间(天文单位指的是日地平均距离,如冥王星同太阳的距离大约为 40 个天文单位)。天体距离遥远,很小且很冷,可能根本没有反射太多阳光;我们也不知道它在广阔的天空中的确切位置。所以对于它是否真实存在一直有争议,这是一个非常有趣的辩题。IRAS 从 1983 年 1 月起运行 10 个月,对 96% 的天空进行远红外勘测。在这个波长下,可能可以探测到像第九行星之类小而寒冷的天体,因此 Rowan-Robinson 决定重新分析与第九行星一致的参数数据。
比特币
matrix(791)
发表于2021年11月15日 15时58分 星期一
来自图书馆员与追寻鹅妈妈
按照目前的趋势,量子计算机将能破解公钥加密技术,可能会对加密货币世界造成严重威胁,目前部分加密货币的市值达到数千亿美元。 如果加密被破解,攻击者可以冒充加密货币、NFT 或其他此类数字资产的合法所有者。加州大学伯克利分校教授、计算机安全企业家 Dawn Song 在 10 的时对 Collective[i] Forecast 论坛表示:“一旦量子计算足够强大,那么基本上所有的安全保障都会消失。当公钥加密被破解时,用户会丢失资金,整个系统将会崩溃……”

量子软件制造商 Classiq Technologies 首席执行官 Nir Minerbi 表示:“我们预计,几年内将有足够强大的计算机可以”破解区块链。 对于加密货币爱好者来说,好消息是量子计算问题可以通过采用后量子密码技术来解决,计算机行业已在开发这种技术。美国政府的国家标准与技术研究所试图提前解决这个问题,几年来,它一直在谨慎地研究能抵抗量子计算的密码算法,全球的研究人员都参与其中。一些加密货币和区块链项正积极地开发对抗量子计算的软件……

量子计算机制造商 IonQ 首席执行官 Peter Chapman 表示,目前研究中的后量子加密算法的一个问题是,它们通常需要更长的数字加密密钥和更长的处理时间。这可能会大大增加容纳区块链所需的计算能力...... Permission.io 公司将加密货币用于有针对性的广告系统,该公司首席技术官 Hunter Jensen 表示,对加密货币的真正量子测试将是治理结构,而不是技术……Post Quantum 公司销售后量子加密技术,公司首席执行官 Andersen Cheng 表示:“如果社区行动太慢或者太过混乱,真正去中心化的加密货币将会受到打击。”
滑稽
matrix(791)
发表于2021年11月14日 18时10分 星期日
来自迷宫之屋
微软开始向 Beta 和 Release Preview Insider 渠道推送 Windows 11 的 bug 修复补丁。修复的问题包括:新任务栏和开始菜单的渲染问题,蓝牙音量控制问题,部分 32 位应用的运行问题,打印机问题,等等。其中一个值得注意的变化是黑屏死机变回蓝屏死机。蓝屏死机已成为 Windows 操作系统的一个标志性错误,但上个月发布的 Windows 11 将系统崩溃时的颜色从原来的蓝色变成了黑色,最新更新又改了回去。最新更新预计会在数周内推送给 Windows 11 用户。
安全
matrix(791)
发表于2021年11月11日 17时24分 星期四
来自一九八四
1,000 多名 Android 手机用户感染了一种新发现的恶意软件,它会悄悄实时录音录像、下载文件并执行其他监视活动。研究人员共发现了 23 个悄悄安装该间谍软件的应用,安全公司 Zimperium 的研究人员将间谍软件称为 PhoneSpy。它提供了一系列完整的功能,除了窃听和盗取文件之外,还包括传输 GPS 位置数据、修改 Wi-Fi 连接以及执行叠加攻击(overlay attacks)以获取 Facebook、Instagram、Google和 Kakao Talk 应用的密码。Zimperium 研究人员 Aazim Yaswant 在官方博客上写道:“这些恶意的 Android 应用被设计为在后台静默运行,不间断地监视受害者而不引起任何怀疑。我们相信 PhoneSpy 的幕后黑手收集了大量受害者的个人和公司信息,包括私人通信和照片。”
Google
matrix(791)
发表于2021年11月10日 22时58分 星期三
来自金斯顿城·卷二:风暴之歌
经过多年的调查,欧盟委员会认定美国科技巨头 Google 经常给自己的购物服务以优惠待遇,并在搜索结果中降低对手的排名。2017 年,欧委会对 Google 处以 24 亿欧元的罚款。这是欧盟行政部门近年来对 Google 的总金额超过 80 亿欧元的三次反垄断处罚中的第一次。Google 遵守了这一决定,并改变了其购物服务的工作方式,但同时向欧盟普通法院提出上诉。Google 辩称,该处罚"在法律、事实和经济方面都是错误的"。在欧洲和美国的竞争者提出几项投诉后,欧委会于 2010 年 11 月就开始审理此案。就欧委会目前的决定,Google 仍可向欧盟最高法院欧洲法院提出上诉
商业
matrix(791)
发表于2021年11月10日 14时16分 星期三
来自小无知月宫探险(上中下)
通用电气宣布了拆分为三家上市公司的计划。该公司拟在 2023 年初剥离其医疗保健部门,并在一年后剥离其能源业务,留下主营航空业务的部门。成立于 1892 年有 129 年历史的通用电气曾是全球企业集团雄心的缩影,它的产品几乎无所不包,从电灯泡到电视和洗衣机、航空发动机和医疗设备,如今它正在与其传奇的过去作最后的割裂。计划拆分的三家独立公司中,航空业务去年的收入达到了 220 亿美元,医疗保健去年收入 170 亿美元,能源业务的产品包括了风力涡轮机和燃气发电机,这些产品的发电量约占世界电力的三分之一。
安全
matrix(791)
发表于2021年11月03日 21时57分 星期三
来自超能第七感·碰撞
HardenedVault 写道 "DSA 型签名算法(包括 ECDSA)的原始实现中需要一个和私钥属于同种数学对象(GF(p) 的元素,p 为素数)的随机数,该随机数必须同时满足以下三个性质:1)随机性:无法仅通过被签名数据(以下称“载荷”)和生成的签名推算出来。2)机密性:不可泄露到签名过程之外。3)唯一性:该随机数对不同的载荷必须不同。否则,攻击者将有可能通过载荷与签名推算出私钥。如果该随机数来自一个有缺陷的随机数发生器,则随机性和唯一性会变得难以保证——攻击者可能通过收集足够多的载荷——签名对找到随机数发生器的规律,进而推算出私钥,虽然行业用户认为这是“可忍受”的缺陷直到LadderLeak漏洞的公开披露彻底让真相浮出水面,在最坏的情况下,攻击者只需要付出30万美金就可以破解P-224的密钥。由于开源的安全ECDSA实现进展并不顺利,Vault Labs给出了测试缺陷的方法和临时安全解决方案: 确保所有你使用的证书是>= P-256或者RSA(有其他风险需要考量)以及安全人员不要漏掉对没有接入互联网的服务的审计。"
USA
1
matrix(791)
发表于2021年11月03日 17时24分 星期三
来自白鸟异传
经过数个月的谈判,拜登总统的“Build Back Better”议程本周进入了辩论的最后阶段。两党合作的基础设施法案包含投资数十亿美元在全国范围内扩展高速宽带,旨在未来十年缩小数字鸿沟。但政府为宽带支付的 650 亿美元首期付款只能惠及有能力买得起电脑的家庭。因此最新版的“Build Back Better”更进一步,拨出资金为贫困的美国人提供联邦政府资助的台式机、笔记本电脑和平板电脑

白宫上周发布了最新版本的“Build Back Better”计划,提出了一项 1.75 万亿美元的预算提案,以应对气候变化并投资医疗保险等其他社会服务。在该法案 1,600 多页的内容中,有一项新的计划——联网设备补助计划(Connected Device Grant Program)——将帮助向低收入家庭提供免费或者打折的台式机、笔记本电脑或平板电脑。为实现这一目标,商务部将得到 4.75 亿美元,以奖励想要在本地分发这些设备的社区团体。
NASA
matrix(791)
发表于2021年11月01日 15时58分 星期一
来自环游黑海历险记
NASA 科学家在《自然》杂志上发表一篇评论,呼吁建立一个向世界报告地外生命的框架。NASA 首席科学家 James Green 及其同事写道:“我们可能是发现地球外生命证据的一代人……可能到来的特权,责任也随之而来。随着生命探测目标在空间科学领域中日益突出,开启社区对话,探讨如何在一个多样化、复杂且极有可能引起轰动的主题上传达信息很重要……”

Green 及其同事认为我们应该重新定义此类发现,不会变成在某个时刻突然向世界宣布外星人的存在。相反它应该被视作一种渐进式的努力,反映科学本身的进程。他们写道:“相反,如果我们将寻找生命的过程重新定义为一种渐进式的努力,我们传递的观察价值就是带有语境的或者是暗示性的,而不是确定性的,强调错误的开始和死胡同是健康的科学过程意料之中的组成部分。”这将涉及科学家、技术专家和媒体之间的交流,首先就生命证据的客观标准达成一致,其次就传播这些证据的最佳方式达成一致。他们表示,最好现在——在发现地外生命之前做好这些,而不是等到事到临头再手忙脚乱。
长城
matrix(791)
发表于2021年10月26日 15时35分 星期二
来自动物庄园的秘密
2019 年世界前五大排放国占全球排放量的 60% ,其中中国的排放量与其它四国总和相当。中国的碳排放量仍在增加。造成这一问题的一大部分原因是数十家国有企业。去年中石化一个子公司对全球变暖的贡献就超过了加拿大,世界上最大的钢铁厂宝武去年向大气中排放的二氧化碳量比巴基斯坦还要多,超过了奥地利和比利时的总和。任何希望影响气候变化的尝试都必须包括中国的国企

中国脱碳有几个有利因素。太阳能和风能现在比化石燃料便宜。电动汽车和电池技术已经成熟,中国在这两个领域都处于领先地位。对氢和碳捕捉等绿色技术的投资处于历史最高水平,增加了大规模部署的可能性……

中国最大的任务是让电力系统“变绿”。这意味着关闭数以千计的燃煤发电厂并大幅增加清洁能源。中国在可再生能源方面处于世界领先地位,刚刚在沙漠中启动了一个 100GW 的大型项目,其规模将超过今天印度安装的所有风能和太阳能项目。被称为“五巨头”的中国公用事业公司——华能、华电、中电投、国家能源集团、中国大唐是世界最大的排放企业。2020 年仅这几家企业的排放就增加了 9.6 亿吨二氧化碳,比俄罗斯整个燃煤电力行业的两倍还多。

电力五巨头承诺到 2025 年实现排放达到峰值,但电力需求仍在增加,政府官员一直在将煤炭作为维持能源安全的一种方式——尤其是在世界努力应对冬季能源短缺之时。今年上半年,中国国企申请新建燃煤发电机组 43 台,新建煤电装机容量 15GW。

中国一半以上的石油用于运输。政府一直在全国范围内大力推广电动汽车,电动汽车数量已是世界第一。规划者希望到 2025 年,每五辆新车中就有一辆是新的电动汽车,这一比例现在是 5%。同更环保的发电相结合,这是减少碳排放的最佳选择。
比特币
matrix(791)
发表于2021年10月13日 19时10分 星期三
来自失忆的星球
最大加密货币交易所币安(Binance)周三宣布,为响应当地政府监管政策要求,币安 C2C 将于 2021 年 12 月 31 日 24:00(东八区时间)下架 CNY 交易区。币安公告并称,币安将对平台用户进行清查,平台若发现中国大陆地区用户,则其对应账户将切换至“只允许提现”模式,用户将只能进行提现、撤单、赎回、平仓操作。央行等多部门 9 月下旬发文明确,虚拟货币相关业务活动属于非法金融活动,境外虚拟货币交易所通过互联网向境内居民提供服务同样属于非法金融活动;将加强虚拟货币交易炒作风险监测预警,并要求金融机构和非银行支付机构不得为虚拟货币相关业务活动提供服务。随后几日,BitMart、火币等交易所宣布停止新用户注册的同时,着手清退中国大陆地区存量用户。
开源
matrix(791)
发表于2021年10月08日 23时16分 星期五
来自火星之剑
sosconf 写道 "2021中文学生开源年会(sosconf.zh 2021)将于 2021 年 10 月23日至10月24日首次在南方科技大学举行。 学生开源年会(sosconf)是首个由学生组织面向学生的非盈利社区全球性开源技术峰会,峰会基于开放源代码的理念,鼓励学生享受开源、了解开源、参与开源、贡献开源,并能从开源中得到实践和乐趣。峰会每年在不同国家不同城市举办,为学生群体建立活跃、多元、纯粹、关注学习和未来的技术社区,让不同国家学生积极交流,站上国际舞台,展示实验室里的创想。会议曾于重庆大学与电子科技大学举办。此次会议中,所有组织人员、志愿者到演讲者都是由在校学生组成,不限制听众身份。中文学生开源年会是学生开源年会X计划的重要组成部分,中文将是本场活动使用的主要语言。
南方科技大学(Southern University of Science and Technology) 位于广东深圳,是深圳市创办的一所创新型大学。在南方科技大学举办中文学生开源年会也属学校首次。
活动具体信息请参见官方网站:https://sosconf.org"
安全
matrix(791)
发表于2021年10月03日 20时37分 星期日
来自守卫者
HardenedVault 写道 "”复杂性“的概念本身就过于复杂难以简单的解释,而安全领域的从业者则每天都在和"复杂性"打交道,有些威胁和风险相对容易理解和找出已知风险的应对之策,虽然这通常会很耗时,但有些风险并不是那么容易理解,要制定防护措施的难度更甚,Intel ME属于这一类 。早在2008年,Intel就将ME(管理引擎)引入芯片组,它比操作系统具有更高的特权,这意味着操作系统级别的安全检测方案对ME几乎是无效的,更重要的是,绝大部分用户都不知道他们的计算机中有一个独立的“小电脑”存在(请翻阅HardenedVault白皮书中图灵完备性的章节)。安全研究方面,2009 年 Alexander Tereshkin和 Rafal Wojtczuk证明了植入Ring -3 rootkit的可能性(注:在此上下文下“Ring”的概念为,应用:Ring 3,Linux 内核:Ring 0,虚拟化:Ring -1,BIOS/UEFI/SMM:Ring -2,Intel ME: Ring -3)。赛博堡垒近日发布了一份关于Intel ME的风险评估报告,其中对ME的制造模式,威胁模型,防护能力,攻击路径以及漏洞后门等方面进行了详细的描述"
Linux
matrix(791)
发表于2021年09月13日 23时49分 星期一
来自失落之心
HardenedVault 写道 "在模糊测试领域,2010年代的前半段和后半段几乎被TrinitySyzkaller两大工具垄断,经过了数年的发展,syzkaller作为通用QA测试基本能满足Linux内核主线的迭代开发需求,但针对特定子系统的深度探索是远远无法达到高稳定性要求的行业,比如金融,工控,车联网,云计算等行业都会出现几种情况,1)引入第三方内核代码,通常这些代码都是安全漏洞的高危地带,即使不开源,通过逆向工程也可满足安全分析的需求:2)某些行业应用依赖于特定内核子系统中的特定模块,通用型QA无法快速的实现其代码覆盖率:3)应用程序中不完备的回归测试,即应用的运行并没有完成对内核稳定性的基本测试。为了更好的解决这些问题,HardenedVault开发了基于状态导向的 fuzzer : VaultFuzzer , VaultFuzzer方案兼容现有的syzkaller框架,最大的优势在于可以把客户的业务需求和特定内核子系统给关联起来,这样的模糊测试可以为业务系统带来更强的稳定性。"