链闻 ChainNews 诚邀读者共同监督,坚决杜绝各类代币发行、投资推荐及虚拟货币炒作信息。举报

安全审计文章 资讯 新闻 快讯 深度评论 介绍 解读

安全审计新闻快讯文章, 安全审计深度文章, 安全审计快讯, 区块链安全审计, 安全审计是什么, 安全审计介绍, 安全审计解读, 安全审计项目, 三分钟了解安全审计, 秒懂安全审计, 如何评价安全审计, 安全审计怎么样, 安全审计创始人, 安全审计招聘, 安全审计融资, 安全审计价格, 安全审计技术, 安全审计社区, 安全审计论坛, 安全审计浏览器, 安全审计排名, 安全审计白皮书, 安全审计本质, 安全审计意义, 安全审计代码, 安全审计游戏, 安全审计什么意思, 安全审计学习, 安全审计培训, 安全审计教程, 安全审计投资, 安全审计赚钱, 安全审计安全, 安全审计漏洞

安全审计机构 Runtime Verification 完成 530 万美元融资,IOSG Ventures 领投

链闻消息,安全审计机构 Runtime Verification 完成 530 万美元融资,IOSG Ventures 领投,Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation 参投。募集的资金将用于加速工具的开发,旨在提高不同区块链和嵌入式系统的安全性、可靠性和正确性,以及推广「运行中验证」(Runtime Verification)的方式来审计虚拟机以及智能合约。

CertiK 和慢雾的安全审计结果已集成到 CoinMarketCap

链闻消息,加密市场信息平台 CoinMarketCap 现已集成 CertiK 和慢雾的安全审计信息。在 CoinMarketCap 网站上搜索或点击任意项目名称,若其已被 CertiK 或慢雾审计,可直接查看安全审计信息。

DeFi 无险永续合约平台 Shield 完成智能合约安全审计

链闻消息,DeFi 无险永续合约平台 Shield 已完成其以太坊和 BSC 上智能合约安全审计,审计工作由安全机构 PeckShield 派盾进行。Shield 表示,PeckShield 对 Shield 经过系统、全面的漏洞静态扫描,动态攻击测试等代码安全审计工作,并对其共识算法、激励模型、交易模型、系统合约等各个模块进行了专业、全面审计,最终版本经 PeckShield 安全人员鉴定其已经符合 PeckShield 四大类 37 项检测要求,无已知安全风险。Shield 智能合约代码此前已通过慢雾科技的安全审计。...

固定利率借贷协议 Element Finance 发布安全审计结果,并开启 Element 漏洞赏金计划

链闻消息,固定利率借贷协议 Element Finance 发布安全审计结果,并开启 Element 漏洞赏金计划。由安全审计机构 Runtime Verification 执行的安全审计中,发现了 3 个严重漏洞,2 个中度漏洞,4 个低度漏洞以及信息发现和建议,所有问题都已修复或解决;由派盾 PeckShield 的审计发现了 1 个中度漏洞,2 个低度漏洞和 2 条信息建议,PeckShield 在 Runtime Verification 之后开始审计,因此检查了 Runtime Verificatio 审计后一部分修复的代码,先前所有审计发现的问题都已修复或解决。另外,Element Protocol v1 智能合约已开源,并开启漏洞赏金计划,根据漏洞的严重程度支付奖励,为保障其安全性,漏洞赏金计划将无限期运行。

Bonfida 为 Solana 生态发布代币归属权智能合约,已通过安全审计

链闻消息,建立在 Solana 上的 Serum DEX 前端 Bonfida 宣布在 Solana 生态中推出首个代币归属权智能合约(token vesting contract),合约已通过 Kudelski 的安全审计。Bonfida 团队表示,该合约可以为 SPL 代币设置解锁时间、期限等规则,如果有任何 Solana 项目希望使用该智能合约发布代币,可以直接联系 Bonfida 团队。

跨链协议 ChainSwap 将于今晚 9 点在 Uniswap 上进行代币 TOKEN 的 LBP

链闻消息,跨链协议 ChainSwap 宣布将于今日 21 点将代币 TOKEN 在 Uniswap 上进行 LBP (流动性初始化),任何人均可通过 ChainSwap 原创开发的 Uniswap LBP 功能中获取 TOKEN 代币。ChainSwap 表示,Uniswap LBP 已经通过了灵踪安全审计。

DeFi 借贷平台 ForTube 推出 V3 版本,已上线资产分池功能

链闻消息,DeFi 借贷平台 ForTube 宣布推出 ForTube V3 版本,目前,已上线资产分池功能。ForTube V3 以智能合约、风险市场风险和交易对手方风险三个维度为基础,完成了创新区和稳健区资金池的风险分级,提高了资金利用率,后续将推出新 DAO 治理模型、理财板块、Vault 功能及 NFT 玩法。...

Alpha Finance 代币经济学组件 Staking 模块将进行安全审计

链闻消息,跨链 DeFi 平台 Alpha Finance Lab 宣布其代币经济学中最重要的组成部分之一的 ALPHA staking 将开始由 Reviews DAO 和 DeFi 社区的安全研究人员进行安全审计,独立于目前 Peckshield 进行的全面安全审计。团队表示,通过 Alpha 的代币经济学,ALPHA 代币持有者可以从所有 Alpha 产品中获益,包括 Alpha Homora v1、Alpha Homora v2、AlphaX 以及其他更多的 Alpha 产品。Alpha 表示代币经济学的全部细节很快就会公开。

dForce 即将发布借贷协议 V1 版本,现已通过 CertiK 和 Certora 安全审计

链闻消息,去中心化金融协议 dForce 即将发布借贷协议 V1 版本,现已通过区块链安全审计公司 CertiK、Certora 进行的安全审计和形式化验证。同时,dForce 将再聘请两家审计机构对 V2 进行安全审计。...

区块链安全公司 CertiK 完成对 88mph 的 ERC-20 零息债券第二次安全审计

链闻消息,DeFi 固定利率生成协议 88mph 宣布已经完成区块链安全公司 CertiK 对 ERC-20 零息债券第二次安全审计,根据该报告,该合约没有发现重大安全隐患,仅有 2 个较小问题。目前审计报告可公开查看。...

跨链 DeFi 协议 Kava 已通过 CertiK 审计,确认平台代币发行模块代码的安全

链闻消息,跨链 DeFi 协议 Kava 发推称,「目前已通过区块链安全公司 CertiK 的全面审计,确保了 Kava DeFi 平台代币发行模块代码的安全。火币已将其生态资产 HBTC 接入 Kava DeFi 发行模块,后续将在 Kava 上铸造数百万美元的资产。」

Terra 开发团队启动一项 1000 万美元的 DeFi 安全审计基金,或将推进以太坊上 DeFi 项目的开发

链闻消息,稳定币项目 Terra (LUNA)背后团队 Terraform Labs 周四宣布,已启动一项 1000 万美元的 DeFi 项目安全审计基金 Terraform Capital,该基金将被用于安全审计成本支出,以推进美元稳定币 TerraUSD (UST)和治理代币 LUNA 在以太坊上各 DeFi 协议栈的集成。目前该基金正在组建一组安全审计团队,以开发新产品,以及针对早期采用者的安全保证。目前符合条件的团队有 Sentnl、Quantstamp 和 Solidified。此举的目标是推进 UST 和 LUNA 的用例,因此团队乐意将资金用于 Tendermint 之外的其他区块链,特别是以太坊上的 DeFi 项目。

Filecoin 首个分叉项目 Filecash 公链通过知道创宇安全审计

链闻消息,知道创宇宣布已完成对 Filecoin 首个分叉项目 Filecash 公链的安全审计服务,最终达到五星安全等级。在审计过程中发现了 4 个低危漏洞和 2 个中危漏洞,经过和 Filecash 社区沟通后,问题均已修复,并由知道创宇再次审查并通过。本次安全审计的范围包括编码安全、RPC 安全、P2P 安全、共识安全、账户系统安全、合约虚拟机安全以及业务逻辑设计安全等方面。
·

区块链安全警钟长鸣,听安全专家分享审计工作指南

站在安全审计人员和客户的角度,如何更好开展审计工作?
区块链安全警钟长鸣,听安全专家分享审计工作指南

二层扩容方案 Hermez 智能合约已开源,已完成一次代码审计

链闻消息,基于 ZK Rollup 概念的二层扩容网络 Hermez 宣布其智能合约已开源至 Github。另外 Hermez 还表示正在对代码进行几项审计,第一次审计来自于 Solidified,10 月已经有 3 名审计人员对 Hermez 的智能合约及其相关组件进行三周的审计,未发现任何严重或重大问题。Hermez 还在和独立审计人员 Adrià Massanet 合作,进行额外的代码审计,并与 Trail of Bits 团队合作,进行另一项全面的审计。

Trail of Bits 认为「钻石标准」实现还不值得推荐,仍有改进空间

链闻消息,安全研究机构 Trail of Bits 发布关于 EIP-2535「钻石标准」(Diamond Standard)提案的审计研究报告,他们认为「钻石标准」作为智能合约可升级性的实现之一,目前还不值得以目前的形式推荐它。「钻石标准」是一种智能合约的可升级模式,但是 Trail of Bits 认为目前的「钻石标准」代码设计过度,有很多不必要的复杂性。Trail of Bits 还同时表示,目前的提案只是一个草案,还有发展和改进空间。

Aave 生态 NFT 平台 Aavegotchi 代币质押将于 3 天内上线主网

链闻消息,Aave 生态 NFT 平台 Aavegotchi 表示其代币 GHST 的质押将于 3 天内上线以太坊主网,稍后会在另一篇文章中正式宣布上线。另外 Aavegotchi 还公开了 GHST 质押合约的审计报告,表示没有任何可利用的漏洞,目前官方还在准备完整的报告,之后会正式发表。

PeckShield 发布 DeFi 聚合器 Bella Protocol 智能合约审计报告,未发现严重漏洞

链闻消息,区块链安全公司 PeckShield 发布 DeFi 聚合器及资管平台 Bella Protocol (BEL) 中流动性激励计划相关的 YCurveStaking 智能合约审计报告。审计结果认为该智能合约的设计和工程能力良好,未发现严重或高危漏洞,而发现的 3 个低危漏洞和 1 个信息建议也已经得到了及时的确认和修复。

去中心化服务平台 Avalanche 已通过 PeckShield 审计服务,已发现漏洞均修复完成

链闻消息,区块链安全公司 PeckShield 正式通过了对去中心化服务平台雪崩协议 Avalanche (AVAX) 的安全审计服务,PeckShield 表示已发现漏洞均已和 Avalanche 团队沟通修复完成。链闻此前报道,雪崩协议 Avalanche 已正式上线主网。Avalanche 项目由康奈尔大学教授、IC3 联合创始人 Emin Gün Sirer、计算机学者 Kevin Sekniqi 以及 Facebook Libra 协议 HotStuff 共识第一作者 Ted Yin 共同创立。

DeFi 借贷平台 ForTube 已通过慢雾科技的安全审计

链闻消息,慢雾安全团队宣布完成对 DeFi 借贷平台 ForTube 的安全审计。慢雾表示,经过严密的审计,我们认为 ForTube 业务逻辑清晰、代码实现规范,结构设计严谨,符合我们的各项安全审计标准,审计过程发现的几个安全问题,在和 ForTube 团队沟通后已协助修复。ForTube 是原力协议推出的 DeFi 借贷平台,致力于为全球的数字货币爱好者提供去中心化的数字货币借贷服务。
返回页面顶部