Certora
项目简介
区块链智能合约安全分析公司
投资机构
为您找到相关结果约 9 个：
pSTAKE Finance将上线BNB流动性质押服务
CoinVoice最新获悉：7 月 20 日，流动性质押协议 pSTAKE Finance 将上线 BNB 流动性质押服务，允许用户通过质押 BNB 来铸造 stkBNB。BNB 流动质押的内部测试网一直在后台试运行当中，并由派盾 (PeckShield)、Halborn 进行审计，同时与 Certora 合作审核关键智能合约（包括质押、解除质押、委托）和监控智能合约规则。 此前报道，流动性质押协议 pSTAKE Finance 已上线 ETH 流动性质押服务，允许用户通过质押 ETH 来铸造 stkETH。[原文链接]
区块链安全分析公司Certora完成3600万美元B轮融资，Jump Crypto领投
CoinVoice最新获悉：5 月 17 日，区块链智能合约安全分析公司 Certora 宣布完成 3600 万美元 B 轮融资，本轮融资由 Jump Crypto 领投，Tiger Global、Galaxy Digital、Electric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase、VMware 等参投。[原文链接]
Bancor启动针对Bancor V3代码库的漏洞赏金计划，奖励最高可达100万美元
CoinVoice最新获悉：4 月 11 日，DeFi 协议 Bancor 宣布启动针对 Bancor V3 代码库的漏洞赏金计划，奖励将根据所披露错误的严重程度进行分配，最高可达 100 万美元。团队表示，尽管 V3 代码库 已由 OpenZeppelin、Peckshield 和 Certora 等安全公司进行了多轮审计，但为确保尽可能高的安全性，团队仍邀请开发人员和白帽黑客审查代码。 此外，V3 主网发布时间预计为 5 月中旬。此前报道，Bancor V3 将推出 Omnipool、Infinity Pools和无常损失保护等新功能。[原文链接]
dForce 在 Immunefi 平台发布漏洞赏金计划
CoinVoice最新获悉：去中心化金融协议 dForce 针对其借贷和合成资产协议核心功能在 DeFi 赏金网络 Immunefi 发布漏洞赏金计划，赏金根据漏洞严重程度分级，单个漏洞最高奖励 25 万美元。此前 dForce 已经聘请 Trail of Bits、ConsenSys Diligence、CertiK、Certora、派盾科技、慢雾科技、安比实验室等机构对 dForce 原生协议进行了代码审计和形式化验证。
Balancer 将于下周上线 V2 版，同时发起新提案增加紧急关停机制以减轻可能存在的漏洞
CoinVoice最新获悉：去中心化交易协议 Balancer 计划于下周进行 V2 版本的升级，团队还发起了一个提案，询问用户是否支持给 Balancer Labs 紧急暂停的权限，并且是否授予 Gauntlet Network 可以设置交易费用的权限。紧急暂停权限是为了减轻协议在上线后三个月内可能发生漏洞的影响，虽然治理的多签将有权限可以暂停协议，但是给 Balancer Labs 这个权限可以更快的执行该操作。此前 Balancer V2 合约现已上线以太坊主网，并已通过 Trail of Bits、OpenZeppelin 和 Certora 的安全审计，预计 V2 版用户界面将于 4 月 28 日发布。
Balancer Labs 针对 V2 版推出大型漏洞赏金计划，将向高危严重漏洞发现者奖励 1000 ETH
CoinVoice最新获悉：去中心化交易协议 Balancer Labs 针对 Balancer V2 推出漏洞赏金计划，赏金最高达 1000 ETH，具体来说，将向高危严重漏洞发现者奖励 1000 ETH （或 200 万美元），向高危漏洞发现者奖励 250 ETH （或 50 万美元），向中等漏洞发现者奖励 25 ETH （或 5 万美元），向低危漏洞发现者奖励 5 ETH （或 1 万美元）。
Balancer V2 将会引入新的 Vault，负责持有和管理所有 Balancer 池添加的所有资产，极大提升 Gas 效率和降低 Gas 成本，另外，还会引入可自定义 AMM 逻辑。Balancer Labs 表示，目前 Balancer 已通过 Trail of Bits、OpenZeppelin 和 Certora 完成了智能合约审计，此次漏洞赏金是针对 Balancer 核心合约 V2 版本的的一项计划。
Furucombo 将在本周发布迁移计划，攻击事件已报告给执法部门
CoinVoice最新获悉：DeFi 聚合平台 Furucombo （COMBO）在更新的攻击调查进展中表示，攻击事件已报告给执法部门； 安全公司 Certora 已开始进行全面审计，正寻求再进行一次审计； 迁移计划即将准备就绪，将在本周发布。此前报道，2 月底，Furucombo 遭遇攻击，价值约 1500 万美元资金受到影响。
dForce 即将发布借贷协议 V1 版本，现已通过 CertiK 和 Certora 安全审计
CoinVoice最新获悉：去中心化金融协议 dForce 即将发布借贷协议 V1 版本，现已通过区块链安全审计公司 CertiK、Certora 进行的安全审计和形式化验证。同时，dForce 将再聘请两家审计机构对 V2 进行安全审计。
dForce 借贷在资金池模式上，增加了超额抵押多货币贷款，允许用户通过超额抵押的方式生成不同币种的稳定币贷款，亮点包括增强风控模型、支持闪电贷、多货币支持、定制的公有或私有池、固定利率 / 期限存款、无抵押借贷、共享授信额度等功能。
Aave V2 已完成第 5 次安全审计，Sigma Prime 发现的缺陷均已修复
CoinVoice最新获悉：去中心化借贷协议 Aave 宣布其 V2 版本已通过安全机构 Sigma Prime 的安全审计，这也是 Aave V2 协议完成的第五次安全审计，此前是 Certik、Certora、Mixbytes、PeckShield 进行过安全审计。该审计报告显示共发现一个高等级和一个低等级的安全漏洞，目前均已修复。
最新收录
更多
GEODNET
GEODNET 的任务是使用新型屋顶空间气象站从地球及其大气层收集密集的实时地理空间数据。区块链的使用将促进一个强大而有弹性的网络，该网络提供用于农业、交通和金融等关键经济部门的安全和可信的地理空间数据产品，以及 Autonomy、AR/VR 和 Metaverse 的新兴应用程序。
Plena
Plena Wallet 是一个支持帐户抽象的多链自我托管钱包，并提供加密资讯和见解。
SendingNetwork
Sending.Network 是一个高性能、开放的 Web3 通信协议，其中从消息数据、用户 ID 到社交图谱的每个组件都是去中心化的。它旨在帮助开发人员构建社交去中心化应用程序，并帮助社区访问加密的去中心化群聊平台。
Saakuru
Saakuru 是一种以消费者为中心的 L2 协议，使用 OP Stack 开发，具有零交易费用，并利用委托模型消除用户的 Gas 费，为构建在 Saakuru 之上的任何应用程序创建无摩擦的体验，并通过 Saakuru 开发套件进行增强，支持嵌入复杂的内容 数字产品在 1 天内升级为 Web3。 以 Saakuru 区块链为中心的强大且对开发人员友好的产品套件可实现从 Web2 到 Web3 的经济高效且无缝的连接。
Circle of Games
Circle of Games 是一个由 COG-DAO 拥有和管理的区块链上的游戏平台。