FX168财经网_全球视野外汇黄金加密货币NFT资讯网

Numen Cyber 与 MUFEX 就 Web3 安全建立战略合作伙伴关系

cyte 则是保护服务器安全，实时检测黑客针对服务器的各种攻击并自动阻断、报警。 MUFEX 是一家位于加密货币行业前沿的 DEX。MUFEX 的主要优势之一是其 MLP 流动性池，可显著减少滑点并提供精准且无与伦比的交易机会。这一尖端功能增强了整体交易体验，确保无缝执行并提高市场效率。除了技术实力外，MUFEX 还重视卓越的客户服务。MUFEX 拥有一支由来自 Binance，Bybit，Huobi 和 MEXC 等知名交易所的近 30 名经验丰富的企业家组成的团队，具备重新定义用户参与度并释放加密货币行业无限可能性的能力。 Numen 和 MUFEX 的合作将发挥双方的专业知识和资源，以应对不断演变的区块链安全挑战，为用户提供全面解决方案。关于 Numen Cyber Numen Cyber 是链上威胁检测与防御的先驱，团队成员拥有在亚马逊、华为、百度、奇虎360等众多知名大厂与 OKLink，知道创宇，成都链安等知名 Web3 主体安全岗位从业经历。拥有 Web2+Web3 多重安全技能储备的 Numen Cyber 旗下拥有 ImmunX 和 Leukocyte 两款安全产品，分别可在应用层和物理层为 Web3 项目提供保护。其中 ImmunX 包含安全策略开放市场和合约防火墙等独创功能，可以为 Web3 生态提供一站式全方位的保护；Leukocyte 则是保护服务器安全，实时检测黑客针对服务器的各种攻击并自动阻断、报警。Numen 已发现 Aptos，Sui，EoS，Ripple，Tron 在内的 Web3 生态漏洞与微软、谷歌、苹果等产品漏洞。目前 Numen Cyber 的合作伙伴包括不限于 Binance，Sui，Cobo，BitForex，ChainUp，Suiet 等，也包括新加坡金融管理局、新加坡国立大学、中国移动，以及阿里云、腾讯云、华为云、亚马逊、微软等。关于 MUFEX MUFEX 是一家改变游戏规则的去中心化永久交易交易所，致力于提供卓越的用户体验。通过使用 ZKP 技术，MUFEX 确保了用户的隐私和用户资产的安全，同时提高了整体交易性能和体验。通过智能合约钱包，MUFEX 提供了一个让人想起 Web2.0 的无缝注册和登录过程，消除了对助记短语或私钥的需求，同时确保了个人资产的安全。MUFEX 拥有类似于传统集中式交易所的交易体验，并通过创新的 MLP 流动性池来最大限度地减少滑动，为精准和无与伦比的交易机会奠定了基础。 MUFEX 还致力于 chat2Trade，使交易无处不在，并支持 Web3 的广泛采用。MUFEX 引入了业界领先的联盟系统和平台，超越一切，提供卓越的客户服务。MUFEX 拥有一支由近30名成员组成的团队，其中包括来自币安，Bybit，Huobi 和 MEXC 等知名交易所的经验丰富的企业家，站在加密货币行业的前沿，随时准备重新定义用户使用加密货币的方式，释放无限的可能性。 END 来源：金色财经

金色财经2023-06-14

金色观察 | 借贷协议Venus Protocol身陷BNB清算风波一文速览事件始末

网上爆出去年10月BNB Bridge黑客事件的攻击者在 Venus 上抵押的BNB头寸即将面临大规模清算风险。一时间此事引发市场和投资者广泛关注，Venus Protocol 官方不得不连续发文做出澄清。由于BNB Bridge攻击者在 BNB Chain 上借贷协议 Venus Protocol 抵押多达 924,821 枚 BNB（价值约 2.5 亿美元），而BNB价格又在清算线附近（约220美元），导致抵押头寸随时可能被迫平仓。如此超大规模的 BNB 供应量一旦处理不善，将有可能带动连环清算行为发生。那么，当前BNB清算困境是如何造成的、BNB Chain是怎样应对BNB Bridge攻击者仓位的、Venus Protocol 官媒为何发文又改口删文？下面金色财经将带你回顾BNB清算风波原委，一文厘清事件利益关系。悬顶八个月的达摩克利斯之剑这次发生的BNB清算风波的起因最早可以追溯到去年的10月份，时至今日已经过去八个月时间。但只要BNB Bridge攻击者在Venus上抵押的BNB头寸一直存在，那么Venus和BNB Chian 团队的心情也将会同BNB价格形成正比。 2022 年 10 月 7 日，BNB Chian 跨链桥 BSC Token Hub 遭遇攻击。黑客利用跨链桥漏洞分两次共窃取了约200 万枚 BNB（价值约6亿美元）。随后，黑客使用 Venus 的借贷服务抵押了924,821 枚 BNB，并从中借走 5000 万 USDT、6250 万 BUSD 和 3500 万 USDC。尽管当天币安就暂停了BNB Chain，但损失并不只是当时官方公布的账面亏损，巨额抵押仓位也埋下了一颗不知何时会爆炸清算的地雷。之后的市场行情走向也让这一颗“雷”出现了第一次险情。2022年11月19日，BNB价格跌至250美元附近，引起BNB Chian 担忧。为了防止BNB进一步下跌导致清算发生，BNB Chian核心团队于当月的23日提出针对该事件的白名单清算机制的 VIP-79 提案。具体内容为BNB Chain 核心团队为此头寸的唯一清算者，并会与 Binance 和其他 BNB 链生态系统参与者合作，在该头寸达到清算线时接管，并共同偿还债务。 VIP-79 提案算是BNB Bridge黑客攻击事件的应对方案，这一保证也给BNB Chian和Venus Protocol 的用户和市场投资者吃了一颗定心丸。旧事重提，3000万接管金就位尽管受行情波动影响BNB价格在去年的12月16日一度跌至220美元，但好在有惊无险守住了清算安全线。随后BNB币价一路走高也让市场渐渐淡忘这一抵押仓位的存在风险，然而SEC对币安的接连重拳出击成为BNB价格的难以承受之痛。于是在今年的6月初，随着BNB价格再次滑落至250美元附近，BNB Bridge 攻击者的抵押仓位事件再次被市场观察机构发现提及。 6月7日，链上数据监测平台Lookonchain 在社交媒体上首先提到一则去年10月7日推特用户@0xfoobar发布的BNB Bridge攻击事件的推文，然后发文表示利用 Binance Bridge 漏洞窃取了约 200 万枚 BNB 的（价值近 6 亿美元）攻击者在 VenusProtocol 上存入了 924,821 个 BNB，价值 2.49 亿美元，当前质押率为 1.23。当 BNB 的价格下跌至 220 美元时，将被大规模清算。同时，Lookonchain 提到Venus VIP-79提案中的内容，即BNB Chain核心团队是该仓位的唯一清算人，所以多达92万枚的 BNB不会自动清算。媒体第一时间转发报道后引起各方广泛关注，纷纷提及并质疑如此大规模且价值巨大的BNB抵押头寸将会如何处置。事件持续发酵以及BNB价格连续下跌迫近220美元附近，Venus Protocol不得不做出回应。 6月12日，Venus Protocol 官推先是发文表示，如果 BNB 价格达到清算门槛，BNB Chain 核心团队将按计划接管 Venus 上的 BNB 头寸。清算人地址已经准备 3000 万美元来退换账户贷款，必要的话还会有更多。不会有 BNB 被抛售到市场上，Venus 预计也不会出现亏损。但让人奇怪的是，这条推文仅仅存在4个小时后就被Venus 官方删除，并且重新发布了替代声明，其中就提到上述的VIP-79提案。对于更新 BNB 清算公告，Venus 解释说，这是为了向用户提供更多背景信息，并公布实际治理提案的链接，解释相关机制以提高透明度。面对这一公告，有网友提出质疑，如果BNB Bridge的攻击者未能及时偿还贷款或增加抵押存款，那么一旦BNB价格跌破220美元，仅凭这3000 万美元又如何能担保价值2.9亿美元的抵押头寸呢？如果BNB价格持续下跌，BNB Chain 是否又真的能保证这一仓位不会被清算？或许是为了证实Venus Protocol 的说法，BNB Chain 官方也迅速回应了这一声明，并表示团队将确认接管Venus上的BNB头寸。无论网友发出怎样的质疑，根据0xScope Protocol监测数据显示，0x5630开头清算人地址已收到从币安转出的3000万枚USDT，该地址将在BNB跌破220美元时对BNB Bridge攻击者在Venus上的头寸进行清算。目前该地址持有约3000万枚USDT和3000万枚 BUSD。结尾随着BNB价格回升至250美元附近，Venus上的924,821 枚BNB抵押头寸再次逃出生天，用户和投资者方面也暂时放下了对BNB清算问题的追问。但面对内忧外患的加密市场，尤其是美国SEC对币安的穷追猛打，未来BNB价格能否始终保持在220美元上方难以预料。然而只要BNB Bridge攻击者的BNB抵押头寸依然存在，无论躲过多少次危机，92万多枚BNB的清算风波都会出现。来源：金色财经

金色财经2023-06-14

两大“利好”重磅突袭！币安BNB代币弹升逾5% 赵长鹏却笑不出来？

美元。报道提到，该基金旨在保护用户因黑客攻击或其他币安系统的安全漏洞而蒙受的损失。赵长鹏也曾在受压时期提及该基金以安抚用户，包括在竞争对FTX倒闭时。该基金持有比特币、与美元挂钩的加密货币，以及币安创造的BNB。 BNB在该基金中的占比很高，大约达到其美元价值的50%。在美国证监会提出诉讼后，尽管短线上出现反弹，但BNB已暴跌超过20%，且美国司法部也在持续对该交易所进行刑事调查。延伸阅读：昔日华人首富涉“刑事”！美国司法部将起诉赵长鹏证监会前官员：FBI特工调查洗黑钱币安一位发言人说，该紧急保险基金会被定期评估，并在需要时进行补充。 BNB技术分析 Newsbtc表示，BNB价格在过去一周测试了220美元的支撑区域，在220.60美元附近形成低点，价格现在缓慢走高。在230美元的阻力位上方有一个动作，多头将价格推高至从317.0美元摆动高点向下移动至220.6美元低点的23.6%斐波拉契回撤位上方。此外，在BNB/USD货币对的4小时图上突破关键看跌趋势线，阻力位在230美元附近。然而，该货币对仍低于280美元和100简单移动平均线。 (来源:Newsbtc) 从好的方面来看，BNB在255美元附近面临阻力。下一个主要阻力位在268美元附近。它接近从317.0美元摆动高点到50%斐波拉契回撤位220.6美元低点。明确突破268美元阻力位和270美元，可能会开始稳步上涨。下一个主要阻力位在280美元附近，高于该水平价格可能上涨至300美元阻力位。如果BNB未能清除268美元的阻力位，它可能会开始另一次下跌。下行的初步支撑位在240美元附近。下一个主要支撑位在230美元附近。如果下行跌破230美元的支撑位，则可能会进一步下跌至220美元的支撑位。任何更多的损失，都可能将价格推向200美元的支撑位。

颜辞2023-06-14

区块链动态2023年6月14日早参考

，Atomic Wallet用户遭受的黑客攻击损失已超过1亿美元。Elliptic追踪此次攻击目标的5500多个钱包，该公司表示，朝鲜黑客组织Lazarus Group应对这起事件负责，这将是自一年前Horizon Bridge遭受1亿美元攻击以来的首次重大加密货币盗窃案。黑客现在开始改变方式，转向通过俄罗斯加密货币交易所Garantex进行资产洗钱。 5 . 金色财经报道，币安CEO赵长鹏推特发文称，币安并未出售比特币或BNB，并且仍然持有FTT。 6 . 金色财经报道，美国证券交易委员会(SEC)和BAM Trading(币安的美国子公司)最近提交了一份同意令请求，该请求将放宽SEC之前冻结公司资产请求的部分限制。拟议中的新同意令将为SEC提供更多保证，并允许BAM Trading做出薪资和其他财务承诺。根据文件：BAM Trading和BAM Management可以继续支付购买商品和服务的费用、BAM Trading和BAM Management人员的工资，包括预先存在的福利、专业费用和其他类似的日常业务运营费用。允许资产解冻的主要规定是，币安在任何情况下都不得向任何币安实体或代表币安行事的个人或实体支付或转让任何资产。 7 . 金色财经报道，美国众议院金融服务委员会主席麦克亨利在周二的听证会上表示，他打算在未来几周内就一项综合性法案举行委员会投票，以建立加密货币产品的监管框架。他表示，预计将在议员7月11日复会后提交一份议案，供该委员会审议。本月早些时候，麦克亨利等人提出了一份讨论草案，该草案将明确监管机构监管加密产品的责任，并为加密公司和交易所在这些机构注册提供途径。 8 . 金色财经报道，负责监督美国证券交易委员会起诉Binance和Binance.US案件的联邦法官拒绝下达临时限制令，冻结美国交易平台的资产。这将允许该公司的美国子公司继续开展业务，同时与监管机构讨论限制措施。如果双方能就限制达成一致，华盛顿特区地区法院的法官Amy Berman Jackson表示，“绝对没有必要”申请限制令。同时，法官命令Binance.US向法院提供一份其商业支出清单，并命令双方继续谈判。周四下班前，将发布最新情况。 9 . 6月14日消息，FTX创始人Sam Bankman-Fried（SBF）赢得了巴哈马法院的临时禁令，阻止巴哈马政府同意在他去年12月被引渡到纽约后添加到美国起诉书中的指控。SBF在曼哈顿联邦法院辩称，增加的贿赂、竞选资金和其他罪名必须被驳回，因为它们没有包括在他从巴哈马返回面对美国指控的协议中，纽约联邦检察官表示，只要获得巴哈马总检察长的同意，就可以继续处理新指控，而巴哈马法官Loren Klein目前已裁定支持SBF，并表示他有权参加关于总检察长是否应同意新的美国指控进行法庭审理。 10. 6月14日消息，亚马逊AWS服务于北京时间02:49至6:37因错误率和延迟增加导致大范围中断，目前此问题已解决，服务恢复正常运行。在此期间，链游Illuvium和Solana生态NFT平台Metaplex的“Creator Studio”功能受到影响。Illuvium称：“这不是特定于Illuvium的问题，全球范围内的许多数字服务都受到影响。” 目前Metaplex尚未发布情况进展，Illuvium表示：“网站已备份，部分功能已恢复，待所有问题解决将再次更新。 11. 6月14日消息，苹果公司表示，它与基于Nostr协议的开放社交应用Damus进行了交谈，并就Damus的zaps功能如何在该平台上生存达成了共识。苹果公司称，“我们已经与该开发人员交谈，解释他们如何解决这个问题，并确认他们可以在下一次更新中解决这个问题。” Damus创作者William Casarin也在Damus应用程序上发布了消息，解释了zaps将如何改变。Casarin称，“目前，用户可以通过‘note’底部的闪电按钮给其他人打赏，苹果希望取消这一功能，但它将允许Damus用户在他们的个人资料上相互打赏。Damus可以在个人资料上保留zap按钮，但不能保留‘note’。如果它在‘note’上，会被认为是“销售数字内容”。Damus随后在推特上发布了另一条推文，称这一变化“削弱”了平台优势。此前消息，Damus发推称，将在14天内从苹果App Store下架。Apple表示不允许在其平台上出现zaps功能，因为zaps“可能”会被内容创作者用来销售数字内容。来源：金色财经

金色财经2023-06-14

MBK公链：实现数字资产安全管理的创新模式

金色财经2023-06-14

金色早报 | SEC提出的冻结Binance.US资产请求被驳回

亚和哈萨克斯坦警方调查Atomic钱包黑客攻击 Atomic首席执行官Konstantin Gladych表示，团队正在与公司注册国爱沙尼亚的警方合作，该钱包于 6 月 3 日遭到黑客攻击。该团队也收到了哈萨克斯坦警方的请求。我们将请求转发给了爱沙尼亚警方和 Chainalysis，我们向他们提供了调查所需的所有信息，我们还将受害者的数据提供给Crystal Blockchain 和 Elliptic。交易所和场外交易中心使用它们来阻止可疑交易。 ▌矿企Blockstream将于2024年第三季度推出ASIC矿机比特币基础设施公司Blockstream预计将在2024年第三季度左右推出专用集成电路(ASIC)矿机。该公司于2021年收购了以色列矿机制造商Spondoolies，并将制造商的核心团队带入Blockstream的矿业部门，该部门由ChrisCook领导，前Spondoolies首席执行官Assaf Gilboa担任执行副总裁。2023年1月，Blockstream筹集了1.25亿美元用于扩大挖矿业务，并表示计划筹集更多资金为其挖矿业务提供资金。新的ASIC原定于2022年推出，但Back现在预计该矿机将在2024年下半年上市。 ▌Bit Digital2023年第一季度赚取362个比特币数字资产矿业公司Bit Digital,Inc.公布了其未经审计的第一季度财务业绩截至2023年3月31日。截至2023年3月31日，公司拥有现金、现金等价物和受限制现金2920万美元，总流动性（定义为现金等价物和受限制现金、USDC以及数字资产的公平市场价值）约为7130万美元。总资产为9220万美元。截至2023年3月31日，股东权益为8700万美元。公司在本季度赚取了362.0个比特币。分别在原生质押和Portara流动性质押中赚取8.7ETH和23.0rETH-h。BTC和ETH的持有量分别为724.8和9,136.2，公允市值分别约为2060万美元和1660万美元。 ▌美国SEC在2022年对加密货币领域的打击行动中赚取140亿美元随着美国证券交易委员会(SEC)继续加大对加密货币领域一些最大企业的打击力度，包括对Coinbase和Binance提起诉讼，它从执法工作中获益匪浅。根据2022财年的年度报告，监管机构在此期间产生了141亿美元的收入，比2021年的122亿美元增加了19亿美元。根据该文件，这些资产大部分来自SEC执法行动中没收的收入，根据SEC从11月发布的新闻稿，在2022财年，这些资产比上一年增加了9%，因为该机构带来了2022年760次执法行动。 ▌Elliptic：Atomic遭受黑客攻击损失已超过1亿美元区块链安全公司Elliptic周二表示，Atomic Wallet用户遭受的黑客攻击损失已超过1亿美元。Elliptic追踪此次攻击目标的5500多个钱包，该公司表示，朝鲜黑客组织Lazarus Group应对这起事件负责，这将是自一年前Horizon Bridge遭受1亿美元攻击以来的首次重大加密货币盗窃案。黑客现在开始改变方式，转向通过俄罗斯加密货币交易所Garantex进行资产洗钱。重要经济动态 ▌美众议长麦卡锡与共和党强硬派的债务协议可能导致政府停摆美国众议院议长麦卡锡本周应共和党内超级强硬派议员要求，同意在众议院推动比大约两周前达成的支出上限再增加1200亿美元的开支削减计划，此举可能导致美国政府在10月再度面临停摆，并加剧经济衰退风险。民主党人对麦卡锡摒弃原协议的举动表示不满。众议院拨款委员会的最高民主党议员Rosa DeLauro说：“如果我们无视国家的法律，我们几乎可以肯定政府会关门。”而经济学家Anna Wong估计，在2024财年再削减1200亿美元的支出将使美国2023年的经济增长减少0.1%，2024年的增长减少0.25%。金色百科 ▌Web3隐私是什么 Web3.0 的主要特征包括：公开透明的区块链账本、去中心化等。通过区块链来记录链上数据，即我们的交易和交易中所包含的信息，具体来说一般包括: 转账发送者, 转账接收者, 转账金额。如果用户不想透露出来这些链上数据信息，这就是 Web3 里面需要保护的用户隐私。免责声明：金色财经作为区块链资讯平台，所发布的文章内容仅供信息参考，不作为实际投资建议。请大家树立正确投资理念，务必提高风险意识。来源：金色财经

金色财经2023-06-14

金色观察 | 一文速览57个Linea 生态项目

PI 是一种链上网络安全协议，旨在防止黑客和利用者跨各种区块链进行欺诈。 GameFi： Cataclysm 网站：https://www.cataclysm-game.com/zero-mission “大灾变:零任务”是一款迷你游戏，即将于2023 年底推出，同时也是链上加强版免费 PC 游戏“大灾变”的前奏。 Battlemon 网站：https://battlemon.com/ GameFi 生态系统围绕交互式 3D NFT 来构建，具有实用程序和具有结果概率的链上机制，玩家可以通过挖矿、游戏、质押来获得奖励。来源：金色财经

金色财经2023-06-13

Arweave 亚洲夏季黑客松开营倒计时

and联合主办的Arweave亚洲夏季黑客松课程官宣定档！同时开发者们的报名也正式开启啦！点击此处前文回顾。在半个月后的今天，我们的黑客松喜迎开营仪式倒计时的同时也迎来了我们首批赞助天团，他们分别是永久存储协议Arweave官方、Forward Research、亚马逊云科技、SevenX 、DODO、Giveaway、UPDAO、YZ Intelligence和DB3。同时也感谢LXDAO、BeWater、PKU链协、WTF、泰莱大学、深大链协、成都信息工程大学学生链协、港中深新增合作社区的支持。本次活动将采用线上授课制，课程时长持续两个半月，丰富的学习资源和强大的导师团队已经齐备，翘首以盼你的加入！课程设置将遵循从基础认知到工程实践的原则，将从由PermaDAO优秀的贡献者橙子、Marlbolo和Kyle发起的 Arweave 基础理论知识入手，再到开发公会负责人Webber与Sandy老师带来的手把手代码实操课程，逐层深入到 everPay 、Permaswap等核心组件的开发。另外在7月初开发者自由组队期间，同步会有丰富的生态导师讲解实战业务，为大家展开Arweave生态的可能性： KNN3、Mind Network、DB3、Adot、Metaforo、ReadON和Weweave等各类项目导师将知无不言！课程详情如下：除了导师阵容，本次评审阵容异常强大，将分为生态评委、赞助评审、社区评审和媒体评审四组。其中生态评审打分占比50%、赞助评审打分占比40%、社区与媒体评审打分占比10%。生态评委共有11位由 Arweave 创始人 Sam 、everVision 创始人 Outprog、MaskNetwork的CTO刘怿斯、KNN3联合创始人Tomas Yu、MindNetwork首席安全官Dennis、DB3的联合创始人王太泽以及Muran、ReadON的CTOJ兼联合创始人TroyHua、Metaforo创始人Yao、Permaswap核心开发Jay以及everpay核心开发Sandy组成。赞助评审有7位，他们分别是AWS Web3 Tech Lead郝志煜、SevenX投资总监Hill、DODO CEO Radar Bear、Giveaway开发主管Ken、UPDAO Co-Founder Mark Wang、YZ Intelligence售前架构师负责人柏飞、DB3 Co-Founder Muran。社区评审同样也有11位，他们是TintinLand社区主管Tracy、登链社区发起人Tiny熊、Rebase社区联合发起人Shootrt、SeeDAO原规则共同设计者咖啡、BuilderDAO投研公会负责人Jane、MoleDAO Co-builder Allan、AvatorDAO合伙人蒋蒋蒋、Web3Builder.tech核心贡献者兼EthStorage技术负责人Qiang、Afflux联合创始人Lawrence、0xU核心成员Harvey以及LegalDAO联合创始人Turing。媒体评审共有7位，他们是Odaily的媒体代表、Blocklike市场主管鸭先知、Cointime媒体代表、BlockBeats副主编Jack、PANews运营总监Jeffrey、MarsBit媒体代表以及金色财经内容主编Maxwell。以上所有的评审将会为我们的参赛作品打出自己的分数。详情如下：看了那么多，相信你一定跃跃欲试了，你可以点击此处看一下我们的参赛须知！ l点击此处填写报名表，即刻开启你的黑客松之旅！（表单为谷歌表单，需要各位科学上网哦）如果你只是想围观一下，那也没问题，欢迎加入我们的DC黑客松频道围观讨论，所有黑客松的相关话题都会在里面进行！（也需要科学上网）最后，我们已经很荣幸地得到了Arweave官方的赞助许可以及多个赞助方的支持，但我们仍然在招募赞助方，因为我们希望Arweave生态的赛事可以被更多的小伙伴关注到！商务联络人如下：最后的最后，感谢各位的参与者、导师、社区与媒体的支持！这个夏天让我们一起期待永久存储的概念能够更加深入人心以及更多优秀的Arweave生态项目，同时期待一下6.15日的开营仪式吧！来源：金色财经

金色财经2023-06-13

Numen：没有 Web2 底层的安全性就没有 Web3 安全

以在用户无感知的情况下窃取用户资产。黑客如何通过 Chrome 0day 窃取你的个人数字资产（图标仅为示意）下面是一些利用 Web2 0day 或者漏洞窃取数字资产的真实案例： 1.Hackers steal crypto from Bitcoin ATMs by exploiting zero-day bug https://www.bleepingcomputer.com/news/security/hackers-steal-crypto-from-bitcoin-atms-by-exploiting-zero-day-bug/ 2.North Korean hackers exploited Chrome zero-day for 6 week https://www.techtarget.com/searchsecurity/news/252515092/North-Korean-hackers-exploited-Chrome-zero-day-bug-for-six-weeks 3.Microsoft Word Vulnerability Could Steal Your Cryptocurrencies https://thenationview.com/cryptocurrency/43279.html 4.Report: Android Vulnerability Allows Hackers to Steal Crypto Wallet Info https://cointelegraph.com/news/report-android-vulnerability-allows-hackers-to-steal-crypto-wallet-info 从上述案例可以看出 Web2 漏洞对数字资产的危害是真实存在的，危害以及影响也是非常大的。 Web2 漏洞不仅可以对个人资产造成影响，也会对交易所、资产托管企业、“矿”业等造成严重威胁。 Numen 为什么要研究底层安全从前文可知，当前 Web2 对 Web3 有着极大的影响力，没有 Web2 底层的安全，就没有 Web3 领域的安全。而 Numen 团队恰好由来自全球的顶级安全专家组成，具备 Web2+Web3 全方位全生态覆盖的技术能力。Numen 团队已经发现过微软、谷歌、苹果产品的 Web2 高危漏洞，以及如 Aptos，Sui，EoS，Ripple，Tron 等知名 Web3 生态的安全漏洞。此外，Numen 认为，Web3 领域的安全措施仅通过单一代码审计等方式并不充足，Web3 领域需要更多的安全设施，如实时检测与响应恶意交易等。安全技术是一件严肃其直接关乎用户资产的事情，安全研究能力也是一家安全公司的水平体现，这也是为什么 Numen 从刚开始成立就去做 Web2 漏洞研究的目的，因为“未知攻，焉知防”。 https://www.leiphone.com/category/gbsecurity/CT5us5IC3Fpdu4SX.html 以下是我们numen自己发现的一些安全漏洞的技术细节： 1.《HTTP提权漏洞CVE-2023-23410分析及PoC》 https://mp.weixin.qq.com/s/wMFrOfL5mTO9BHzGhpKrEA 2.《DHCP服务远程代码执行漏洞CVE-2023-28231分析及PoC》 https://mp.weixin.qq.com/s/YqZVlQOMg8WEOrVEbsLGwg 3.《独家揭秘通过泄露Sentinel Value绕过Chrome v8 HardenProtect》 https://mp.weixin.qq.com/s/61AOj7dVeLpaye8-N3ASKw 4.《Javaweb框架ZK CVE-2022-36537漏洞分析附exp》 https://mp.weixin.qq.com/s/Y2e0sHzmRZPKTZPFubntYg 5.《From Leak TheHole to Chrome Render RCE》 https://mp.weixin.qq.com/s/SjteNZ0t886KLOHdZ5XCeA 6.《0day漏洞: Chromium v8引擎最新UAF代码执行漏洞分析》 https://mp.weixin.qq.com/s/sM6lEDE7Fxn26ONkgPoB4A Numen 会持续坚持并扩大对底层安全技术的研究，并以兼容并蓄的态度，欢迎友商同行、技术同袍们的沟通交流，Web3 机构，交易所，钱包厂商与我们交流合作，一起将 Web3 领域打造得更为安全。 END 来源：金色财经

金色财经2023-06-13

智能合约智能性的下一步：深入剖析ZKML赛道

经得到了一些显着的早期采用，被用作各种黑客马拉松项目的基础设施。 Cathie So的circomlib-ml库包含了用于Circom的各种ML电路模板。电路包括一些最常见的ML函数。由Cathie开发的Keras2circom是一个Python工具，使用底层的circomlib-ml库将Keras模型转换为Circom电路。 LinearA开发了两个用于zkML的框架：Tachikoma和Uchikoma。Tachikoma用于将神经网络转换为仅使用整数的形式并生成计算轨迹。Uchikoma是一个工具，将TVM的中间表示转换为不支持浮点运算的编程语言。LinearA计划支持使用域算术的Circom和使用有符号和无符号整数算术的Solidity。 Daniel Kang的zkml是一个基于他在《Scaling up Trustless DNN Inference with Zero-Knowledge Proofs》论文中的工作构建的ML模型执行证明的框架。在撰写本文时，它能够在约5GB的内存和约16秒的运行时间内证明一个MNIST电路。在更广义的模型到证明编译器方面，有Nil Foundation和Risc Zero。Nil Foundation的zkLLVM是一个基于LLVM的电路编译器，能够验证用流行编程语言（如C++、Rust和JavaScript/TypeScript等）编写的计算模型。与这里提到的其他模型到证明编译器相比，它是通用的基础设施，但仍适用于复杂的计算，如zkML。当与他们的证明市场结合使用时，这可能尤为强大。 Risc Zero构建了一个通用的zkVM，针对开源的RISC-V指令集，因此支持现有成熟的语言，如C++和Rust，以及LLVM工具链。这允许在主机和客户zkVM代码之间实现无缝集成，类似于Nvidia的CUDA C++工具链，但是使用ZKP引擎代替GPU。与Nil类似，使用Risc Zero可以验证ML模型的计算轨迹。 02广义证明系统证明系统的改进是使 zkML 取得成果的主要推动力，特别是自定义门和查找表的引入。这主要是由于 ML 对非线性的依赖。简而言之，非线性是通过激活函数（例如 ReLU、sigmoid 和 tanh）引入的，这些激活函数应用于神经网络中线性变换的输出。由于数学运算门的限制，这些非线性在 zk 电路中实现起来具有挑战性。按位分解和查找表可以通过将非线性的可能结果预先计算到查找表中来帮助解决这个问题，有趣的是，这在 zk 中的计算效率更高。出于这个原因，Plonkish 证明系统往往是 zkML 最受欢迎的后端。Halo2 和 Plonky2 及其表式算术方案可以通过查找参数很好地处理神经网络非线性。此外，前者拥有充满活力的开发人员工具生态系统和灵活性，使其成为包括 EZKL 在内的许多项目的实际后端。其他证明系统也有其优势。基于R1CS的证明系统包括Groth16，因其小型证明尺寸而闻名，以及Gemini，因其处理极大电路和线性时间验证器而闻名。基于STARK的系统，例如Winterfell证明器/验证器库，尤其在通过Giza的工具将Cairo程序的追踪作为输入，并使用Winterfell生成STARK证明来验证输出的正确性时，非常有用。 03zkML特定的证明系统在设计能够处理先进的机器学习模型的复杂、电路不友好的操作的高效证明系统方面已经取得了一些进展。基于GKR证明系统的zkCNN和基于组合技术的Zator等系统往往比通用证明系统更具性能，这一点在Modulus Labs的基准测试报告中有所体现。 zkCNN是一种使用零知识证明来证明卷积神经网络正确性的方法。它使用sumcheck协议来证明快速傅里叶变换和卷积，具有线性的证明时间，比渐近计算结果更快。已经引入了几个改进和泛化的交互证明，包括验证卷积层、ReLU激活函数和最大池化。根据Modulus Labs的基准测试报告，zkCNN特别有趣的地方在于它在证明生成速度和RAM消耗方面优于其他通用证明系统。 Zator是一个旨在探索使用递归SNARK来验证深度神经网络的项目。验证更深层次模型的当前限制是将整个计算轨迹适应单个电路中。Zator提出使用递归SNARK逐层进行验证，可以逐步验证N步重复计算。他们使用Nova将N个计算实例减少为一个可以通过单个步骤进行验证的实例。采用这种方法，Zator能够对具有512层的网络进行SNARK，这与大多数当前的生产AI模型一样深。Zator的证明生成和验证时间仍然对于主流应用案例来说过长，但他们的组合技术仍然是非常有趣的。应用领域鉴于zkML处于早期阶段，其关注点主要集中在上述基础设施上。然而，目前也有一些项目致力于应用开发。 Modulus Labs是zkML领域中最多样化的项目之一，他们既开展示例应用，也从事相关研究。在应用方面，Modulus Labs通过RockyBot（一个链上交易机器人）和Leela vs. the World（一个人类与经过验证的链上Leela国际象棋引擎对战的棋盘游戏）展示了zkML的用例。该团队还进行了研究，编写了《智能的代价》，对不同模型规模下的各种证明系统的速度和效率进行了基准测试。 Worldcoin正在尝试应用zkML来创建一个保护隐私的人类身份证明协议。Worldcoin使用定制硬件处理高分辨率虹膜扫描，并将其插入到Semaphore实现中。然后可以使用该系统执行诸如成员资格证明和投票等有用操作。他们目前使用受信任的运行时环境和安全的安全区域来验证相机签名的虹膜扫描，但他们最终的目标是使用零知识证明来验证神经网络的正确推理，以提供加密级别的安全保证。 Giza是一种协议，采用完全无信任的方法在链上部署AI模型。它使用包括ONNX格式表示机器学习模型、Giza Transpiler用于将这些模型转换为Cairo程序格式、ONNX Cairo Runtime用于以可验证和确定性的方式执行模型，以及Giza Model智能合约用于在链上部署和执行模型的技术堆栈。尽管Giza也可以归类为模型到证明编译器的类别，但他们作为一个ML模型市场的定位是目前最有趣的应用之一。 Gensyn是一个分布式硬件供应网络，用于训练ML模型。具体而言，他们正在开发一个基于梯度下降的概率审计系统，并使用模型检查点来使分散式GPU网络能够为全尺度模型提供训练服务。尽管他们在这里的zkML应用非常特定于他们的用例——他们希望确保当一个节点下载和训练模型的一部分时，他们对模型更新的诚实性——但它展示了将zk和ML相结合的强大力量。 ZKaptcha 专注于 web3 中的 bot 问题，为智能合约提供验证码服务。他们目前的实施让最终用户通过完成验证码来生成人类工作的证明，验证码由他们的链上验证程序验证，并通过几行代码由智能合约访问。今天，他们主要只依赖于 zk，但他们打算在未来实现 zkML，类似于现有的 web2 验证码服务，分析鼠标移动等行为以确定用户是否是人类。鉴于 zkML 市场还很早，许多应用程序已经在黑客马拉松级别进行了试验。项目包括 AI Coliseum，一个使用 ZK 证明来验证机器学习输出的链上 AI 竞赛，Hunter z Hunter，一个使用 EZKL 库来验证带有 halo2 电路的图像分类模型输出的照片寻宝游戏，以及 zk Section 9，它将 AI 图像生成模型转换为用于铸造和验证 AI 艺术的电路。 zkML面临的挑战尽管在提高和优化方面取得了飞速的进展，但zkML领域仍然面临一些核心挑战。这些挑战涉及技术和实践等方面，包括：以最小的精度损失进行量化电路规模，特别是当网络由多个层组成时矩阵乘法的高效证明对抗攻击量化是将浮点数表示为定点数的过程，大多数机器学习模型使用浮点数表示模型参数和激活函数，在处理zk电路的域算术时，需要使用定点数。量化对机器学习模型的准确性的影响取决于所使用的精度级别。一般来说，使用较低的精度（即较少的比特数）可能会导致准确性降低，因为这可能引入舍入和近似误差。然而，有几种技术可用于最小化量化对准确性的影响，例如在量化后对模型进行微调，以及使用量化感知训练等技术。此外，zkSummit 9上的一项黑客马拉松项目Zero Gravity显示出，针对边缘设备开发的替代神经网络架构（例如无权重神经网络）可以用于避免电路中的量化问题。除了量化之外，硬件是另一个关键挑战。一旦通过电路正确地表示了机器学习模型，由于zk的简洁性，验证其推理的证明将变得廉价且快速。这里的挑战不在于验证者，而在于证明者，因为随着模型规模的增长，RAM消耗和证明生成时间会迅速增加。某些证明系统（例如使用sumcheck协议和分层算术电路的基于GKR的系统）或组合技术（例如将Plonky2与Groth16相结合，Plonky2在证明时间方面效率高但对于大型模型的高效证明大小较差，而Groth16在复杂模型的复杂度上不会导致证明大小增长）更适合处理这些问题，但在zkML项目中管理权衡是一个核心挑战。在对抗攻击方面，仍然有待努力。首先，如果一个无信任的协议或DAO选择实施一个模型，在训练阶段仍然存在对抗攻击的风险（例如训练模型以在看到特定输入时表现出特定行为，这可能被用来操纵后续的推理）。联邦学习技术和训练阶段的zkML可能是最小化这种攻击面的一种方式。另一个核心挑战是当模型保护隐私时存在模型盗窃攻击的风险。虽然可以混淆模型的权重，但在给定足够的输入输出对的情况下，从理论上讲，仍然有可能反向推导出权重。这主要是对小规模模型的风险，但仍然存在风险。智能合约的可扩展尽管在将这些模型优化为在zk的限制条件下运行时存在一些挑战，但改进工作正在以指数速度进行，一些人预计在进一步的硬件加速下，我们很快就能与更广泛的机器学习领域达到同等水平。为了强调这些改进的速度，zkML从0xPARC在2021年展示了如何在可验证电路中执行小规模MNIST图像分类模型的演示，到Daniel Kang在不到一年后为ImageNet规模的模型做同样的工作的论文。在2022年4月，这个ImageNet规模的模型的准确性从79%提高到92%，并且像GPT-2这样的大型模型在近期内有望成为可能，尽管目前的证明时间较长。我们认为zkML是一个丰富而不断发展的生态系统，旨在扩展区块链和智能合约的能力，使其更加灵活、适应性强和智能化。尽管zkML仍处于早期开发阶段，但它已经开始显示出有希望的结果。随着技术的发展和成熟，我们可以期待在链上看到更多创新的zkML用例。来源：金色财经

金色财经2023-06-13

24小时热点