Trail of Bits
订阅后，此标签的相关内容 将出现在首页「我的订阅」中.
共搜索到 18 篇相关快讯
Freedom Factory 推出抗量子硬件钱包 PQ1量子安全硬件钱包制造商 Freedom Factory 近日推出硬件钱包新品 PQ1。Freedom Factory 表示，将完全开源 PQ1 的硬件与软件，包括内部原理图与 DIY 指南，并已委托安全公司 Trail of Bits 对相关 ERC-4337 账户抽象合约进行安全审查。Freedom Factory 曾获得 Vitalik Buterin 和 Balaji Srinivasan 的资金支持，用于支持 ethOS 开发。快讯区块链安全研究员 Josselin Feist 将加入 Aave 团队区块链安全研究员 Josselin Feist 将加入 Aave 团队。Aave 创始人 Stani Kulechov 对此表示，「Josselin 将成为 Aave 生态系统的伟大补充，并将提升 DeFi 安全性的标准。」Josselin Feist 曾担任 8 年 Trail of Bits 的区块链团队工程总监，负责区块链全栈安全审查。快讯Aave Labs 发布 Aave V4 安全计划完整透明度审计报告Aave Labs 发布 Aave V4 安全计划的完整透明度报告。其中包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。Aave Labs 将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。快讯Euler 重新推出 v2 模块化 DeFi 借贷协议，已经过 31 次审计据 The Block 报道，借贷协议 Euler 重新推出 v2 模块化 DeFi 借贷协议，Euler v2 允许开发者通过 Euler Vault Kit 无需许可地部署 ERC-4626 金库，并使用以太坊金库连接器连接到其他金库。每个金库都可以将现有金库中的存款识别为抵押品。Euler 的前端界面在启动时支持四种保险库类别：托管抵押品、受监管、不受监管和收益聚合金库。Euler v1 于 2023 年 3 月遭受 1.97 亿美元的闪电贷攻击后，重新推出 v2 模块化 DeFi 借贷协议。Euler 在回归之前，通过过 Certora、Omniscia、OtterSec、Open Zeppelin 和 Trail Of Bits 等公司进行了 31 次审计，此外还有价值 125 万美元的 Cantina 审计竞赛，将于本周推出与 Hats Finance 合作的价值 350 万美元的「Capture the Flag」。快讯Coinbase、Circle 和 Kraken 牵头成立信息安全和分析组织 Crypto ISACCoinbase、Circle 和 Kraken 牵头成立信息安全和分析中心 Crypto ISAC，旨在防范网络威胁和漏洞利用。Aleo、Arbitrum、Consensys、Solana 基金会、Evertas、Hedera、Fireblocks、Red Balloon Security、Ribbit Capital 和 Trail of Bits 也是 Crypto ISAC 的创始成员。 ISAC 在金融服务、国防和航空等主流行业中很常见。它们在企业和政府之间共享有关网络安全漏洞和事件的情报，并且经常被与邻里监视计划进行比较。快讯WorldCoin：Trail of Bits 审计未发现 Orb 软件存在漏洞Worldcoin 发文称，已获得对其 Orb 软件的第三方审计结果，此次审计由 Trail of Bits 执行，该公司称未发现「与所述项目目标相关的可直接利用的漏洞」，Trail of Bits 完整报告预计将于 3 月 14 日发布。快讯加密安全初创公司 Silence Laboratories 完成 410 万美元融资据 TechCrunch 报道，加密安全初创公司 Silence Laboratories 完成 410 万美元新一轮融资，Pi Ventures 和 Kira Studio 共同领投。Silence Laboratories 融资总额达到 600 万美元。Silence Laboratories 最初是一家多因素身份验证（MFA）公司，后来将其业务转向建立一家加密安全公司，正在利用多方计算（MPC）构建基础设施以帮助企业保护数据隐私和安全。Silence Laboratories 提供两种使用 MPC 技术的产品：Silent Shard 和 Silent Compute。Silent Shard 经过安全审计公司 Trail of Bits 的审计，使企业和用户能够限制暴露敏感私钥的风险并实施高级授权规则。Silent Compute 可以让企业能够协作处理信息，而无需向第三方泄露自己的私人数据。快讯Arbitrum 社区已开启「ArbOS 11 版本」AIP 提案投票，12 月 5 日结束Arbitrum 社区已开启「ArbOS 11 版本」AIP 提案投票，将于北京时间 12 月 5 日 06:11 结束，目前支持率为 99.8%。该提案引入对 Arbitrum 的多项改进，包括对 EVM 上海升级和 PUSH0 opcode 的支持，以及各种错误修复。这些改进现已经过审核，可供 Arbitrum Orbit 链、Arbitrum One 和 Arbitrum Nova 等采用，该提案涉及后两者。该提案称，ArbOS 升级可被视为 Arbitrum 硬分叉。具体而言，由于 Geth 最新版本已包含对上海 L1 升级中对 EVM 所做更改的支持，Arbitrum 也需同步支持，确保不与此前版本的节点软件产生分歧；可重试的修复；修复预编译返回的链所有者列表；修复一些预编译方法在恢复时占用所有 Gas 的问题；创建缺失的预编译方法来查看一些 L1 定价参数；修复从所有者到 ArbOwner 发出日志的静态调用的可能性；修复默认 L1 定价参数。目前，执行链上升级的智能合约代码已通过 Trail of Bits 审核。Arbitrum One 和 Arbitrum Nova 当前使用的 ArbOS 版本是 ArbOS 10。快讯Blockworks Research 新提案拟成立 Arbitrum 联盟，预计申请约 220 万枚 ARBBlockworks Research 在 Arbitrum 发起社区提案，计划成立由 Blockworks Research、Gauntlet 和 Trail of Bits 领导的 Arbitrum 联盟，为期 12 个月，旨在帮助将 Arbitrum DAO 成员将想法变为现实。该联盟为期 1 年的总成本将基于链上提案前一天 ARB 的 30 天 VWAP 价格，预估需花费约 220 万枚 ARB，其中 1/4 的款项将从 AIP 执行后的 91 天预先支付给每个联盟成员，接下来的 3/4 将在 274 天内陆续支付。资金流将保持在 DAO 控制之下，并且可以随时通过链上 DAO 提案切断。快讯第 171 次以太坊核心开发者共识会议：Devnet-9 启动后需为 Dencun 升级启动 Devnet-10Galaxy 研究副总裁 Christine Kim 发文总结第 171 次以太坊核心开发者共识会议（ACDE），开发者讨论了 Dencun 升级测试进展、EIP-4788 早期审计结果与 EVM 中的信标区块根、Holesky 测试网启动、EIP-7503、零知识虫洞的初步反馈、仅在同一事务中更改 EIP-6780 与 SELFDESTRUCT 规范。关于 Dencun 测试，Devnet-9 发布再次被推迟，开发者计划 9 月底或本周启动 Devnet-9（Foresight News 注，Devnet-9 已上线）。开发者还表示，Devnet-9 推出后，需要为 Dencun 升级启动第 10 个 devnet，Devnet-10 的生命周期将比较短。开发者还将测试验证者的工作流程，以使用 Devnet-9 和 10 上的 MEV-Boost 软件获得 MEV。关于 EIP-4788，开发者表示已完成三项由 Chainsecurity、Trail of Bits 和 Dedaub 进行的审计。审计中最重要的发现之一是，用户可以使用零时间戳查询智能合约地址，即使没有为零时间戳设置任何值。在本次 ACDE 会议前，Holosky 测试网也已启动。开发者还讨论了 EIP-7503，它提出了一种基于零知识密码学技术的以太坊新隐私解决方案，与 Tornado Cash 等加密货币混合器相比，该解决方案将为用户的交易提供更强大的隐私保证。它还将为用户提供一种方法来证明其帐户中的资金没有被 EIP-7503 支持的隐私协议所混淆，从而有效地允许用户出于监管和合规目的为其帐户提交「无罪证明」。最后 Geth 客户端团队的 Guillaume Ballet 在 EIP 6780 规范中提出了一个小问题。Ballet 指出，EIP 指定了后 Verkle 环境中 SELFDESTRUCT 的行为。快讯