项目简介
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
投资机构
标签
为您找到相关结果约 81 个：
Aave V2 已完成第 5 次安全审计，Sigma Prime 发现的缺陷均已修复
CoinVoice最新获悉：去中心化借贷协议 Aave 宣布其 V2 版本已通过安全机构 Sigma Prime 的安全审计，这也是 Aave V2 协议完成的第五次安全审计，此前是 Certik、Certora、Mixbytes、PeckShield 进行过安全审计。该审计报告显示共发现一个高等级和一个低等级的安全漏洞，目前均已修复。
ZKSwap 发布第 5 版测试网，下周将启动最终轮测试网激励活动
CoinVoice最新获悉：ZKSwap 官方表示已重置测试网并发布第 5 版测试网，重点修复了前面 4 个版本中的各种漏洞，并且已经修复了 ABDK、Certik、慢雾 3 家审计单位所反馈的问题。官方表示，第 5 版测试网可公开上线， 并且，由于使用了更多的高性能服务器来加速 zk 证明的计算，从而进一步解决了 Layer2 的 tps 问题。预计下周还会再发布一个测试网版本，并开启最后一轮的测试网激励活动（流动性挖矿、交易即挖矿 、智能合约锁仓挖矿）。主网上线容量设置的可能性为 zkswap 系统日交易量处理达到 400 万~500 万笔，将达到以太坊全网的 5 倍左右，并将逐步支持 128 个 token 在 layer2 进行交易和转账，layer2 交易最多将支持 1920 个交易对。
The Sandbox ASSET 智能合约出现重复漏洞，已部署新合约并将于 18 日之前完成所有相关用户的 ASSET 恢复
CoinVoice最新获悉：去中心化虚拟游戏平台沙盒游戏 The Sandbox 表示，The Sandbox ASSET 智能合约很容易出现重复问题，目前还没有恶意用户利用该漏洞进行攻击，其他所有智能合约均不受影响，SAND 和 LAND 智能合约也没有风险。另外，The Sandbox 已于 1 月 13 日告知交易 The Sandbox ASSET 的所有主要交易平台（包括 OpenSea、Arkane Marketplace、Lootex、Playdapp 和 iNFT），这些交易平台已于 2021 年 1 月 16 日 UTC 00：01 暂停了 ASSET 的交易。
The Sandbox 表示，「该漏洞由 Optimism 安全研究员 Maurelian 于 1 月 4 日提出，允许用户在使用 batchTransfer 函数时向自己发送代币。之后我们进行了内部上测试确认了该问题，1 月 5 日至 14 日之间进行了修复，并提交给 Solidified 安全审计员再次审计，1 月 15 日部署了新的智能合约，并于 1 月 16 日 12:00PM UTC 进行了快照，目前已开始将 ASSET 副本重新分配给持有者，将在 UTC 时间 1 月 18 日 00：00 之前完成所有用户的 ASSET 恢复。」
The Sandbox 表示，「The Sandbox 此前通过了 Certik 和 Solidified 的审计，ASSET 智能合约最初于 2019 年 9 月 4 日由 Solidified 审计，当时三名审计员进行了为期 2 周的审计。」The Sandbox 平台的关键功能之一是可以从零开始创造素材资产 （ASSET），将其上传到市场，然后通过区块链货币化。
币安 Launchpool 新币挖矿将上线比特币算力杠杆币 BTCST
CoinVoice最新获悉：币安新币挖矿宣布将上线比特币标准算力（BTCST），一种锚定真实世界算力的比特币杠杆币。同时，币安创新区将于 1 月 13 日 14:00 点开放 BTCST 交易，并开通 BTCST/BNB、BTCST/BTC、BTCST/BUSD、BTCST/USDT 交易市场。
官方表示，BTCST 通过锚定标准化的算力，为比特币挖矿行业带来了流动性溢价，每枚 BTCST 代币锚定 0.1 TH/s、功耗比为 60 W/TH 的比特币算力。通过在币安智能链上 dApp 质押 BTCST，持有者即可参与比特币挖矿，领取挖矿奖励。另外，BTCST 项目已通过区块链安全供应商 CertiK 的审计。
通用协议联盟推出「碳中和」比特币代币 Bitcoin Zero
CoinVoice最新获悉：通用协议联盟（Universal Protocol Alliance）宣布推出碳中和的比特币 Bitcoin Zero （BTC0），发行在以太坊网络，通过一个包装器实现。Bitcoin Zero 将 1 BTC 与每次 BTC0 被铸造时从 Verra （非营利组织「验证碳标准」）和其他国际标准机构认证的 REDD+雨林项目中收回的 10 吨二氧化碳结合起来。BTC0 可在数字货币交易平台 Uphold 上进行交易。
通用协议联盟（Universal Protocol Alliance）由 Bittrex Global、Certik、Uphold 以及 Ledger 等组成，此前发布了可交易的碳信用额代币 Universal Carbon （UPCO2），每个代币都由一个基础的碳信用额作为支持。
去中心化链上资金保险池 CertiKShield 创建 WNXM Shield 保险资金池
CoinVoice最新获悉：区块链安全公司 CertiK 的去中心化链上资金保险池 CertiKShield 针对「Nexus Mutual 创始人 Hugh Karp 个人 37 万枚 NXM 被盗」创建 WNXM Shield 保险资金池，为 WNXM 持有者提供 CertiKShield 保险服务。目前所有 WNXM 的个人持有者均可以加入 CertiKShield，购买所需的 WNXM Shield，当其资产产生丢失、被盗或无法访问等情况，CertiKShield 可为其提供补偿。
购买 CertiKShield 服务后，相应比例的 CertiKShield 资金保险池将被锁定，以确保有足够的抵押资产用于理赔。购买 Shield 所支付的费用将作为奖励直接发送给担保提供者。担保提供者会提前提供自己的加密货币作为抵押品，用于支付获批的索赔申请。
最新收录
更多
Almanak
Almanak 是一个 web3 模拟基础设施，它利用基于代理的建模来优化 DeFi 和游戏项目。Almanak 的使命是利用数据科学和交易知识来最大化协议的盈利能力，同时确保其经济安全。
StableStock
StableStock 是一个结合传统金融和去中心化金融的链上股票资产平台，旨在通过稳定币结算提供美股等资产的数字化交易方式。平台包含三大核心模块：StableBroker（支持稳定币买入股票）、StableVault（将股票资产代币化并用于链上应用）、StableSwap（实现不同代币的低滑点兑换）。
OVERTAKE
OVERTAKE 是一个面向游戏开发者的平台，用户可以在这里玩游戏、构建游戏并获利。其使命是为数据驱动的游戏开发者创建一个游乐场，让用户能够积极参与游戏内容的创作、策划和分发，最终促进更高效、更包容的生态系统。
LYS Labs
LYS Labs旨在简化和优化加密货币领域的流动性质押和再质押流程。 其创新的核心是流动性模态衍生品（LMD），以基于以太坊的新型金融工具为代表
IVIX
IVIX 是一个基于区块链的 Web3 项目，专注于检测数字时代的金融犯罪并缩小税收差距，利用区块链技术提供透明数据追踪和去中心化合规解决方案。