CertiK 致力于通过全球领先的形式化验证技术,提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司,团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉,项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授,拥有 20 余年安全领域经验;顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
为您找到相关结果约 75 个:
CoinVoice最新获悉:9月10日下午3点,Mars Ecosystem CEO&Founder John做客链节点AMA。AMA期间,John表示,一个去中心化稳定币协议至少需要具有价格稳定性高,去中心化程度高,以及可扩展性高等性质。
他指出,Mars Ecosystem,正是在研究了所有稳定币协议后,所独创的稳定币生态系统,Mars Ecosystem即将成为一个全新的去中心化稳定币范式,它将稳定币的创造和使用整合到同一个系统中。
Mars Ecosystem目前已经成功筹集了200万美元的种子资金。由硅谷Crypto基金Continue Capital领投。并且已通过了慢雾和CertiK等头部机构的安全审计。
Mars Ecosystem的Farms/Pools具有APR高、可持续性强的设计,保证参与者可以长时间维持较高收益。刚于9月9日晚上新上线了xms挖bnb的单币池,BNB奖励无需线性释放,harvest就能拿走。收益与安全并重的矿池产品吸引了多个社群的关注和参与。未来,Mars Ecosystem还将持续与BSC生态内的多家DeFi协议进行合作。
CoinVoice最新获悉:Avalanche 生态跨链借贷协议 Vee.Finance 完成 530 万美元私募轮融资,参投方包括 Aussie Capital、AV Star Capital、BCA Investments、Black Mamba Ventures、Cobak、Crypto Avengers、DCI、Favor Ventures、Muhabbit Ventures、New Tribe Capital、Phenomenon Capital、Phoenix VC、Redline DAO、Tokuto Capital、Unpeeld Venture Labs。
Vee.Finance 是基于 Avalanche 的跨链借贷协议,为用户提供抵押借贷、流动性挖矿、杠杆交易等服务。Vee.Finance 表示,协议智能合约已通过慢雾科技 SlowMist 和美国区块链安全审计机构 CertiK 审计,主网将于 9 月 14 日上线。本轮融资完成后,Vee.Finance 将提供限价单系统与衍生品交易,并将部署至更多公链。
CoinVoice最新获悉:Vee.Finance 近日完成280万美元私募B轮融资,距离上次A轮融资仅过去一周时间。至此,Vee.Finance 共完成530万美元私募轮融资。
B轮融资由Aussie Capital、AV Star Capital、BCA Investments、Black Mamba Ventures、Cobak、Crypto Avengers、DCI、Favor Ventures、Muhabbit Ventures、New Tribe Capital、Phenomenon Capital、Phoenix VC、Redline DAO、Tokuto Capital、Unpeeld Venture Labs等机构参与。
Vee.Finance 是基于 Avalanche 的DeFi跨链借贷协议,为用户提供抵押借贷、流动性挖矿、杠杆交易等服务。Vee.Finance 智能合约先后通过慢雾科技 SlowMist 和美国区块链安全审计机构 CertiK 审计,主网将于9月14日上线。在此前的A轮融资中,Vee.Finance 获得了Huobi Ventures Blockchain Fund 和 Avalanche Asia Eco Fund AVATAR 领投的种子轮投资以及AC Capital、LD Capital、AP Capital、Avalaunch、BCA Investments、CatcherVC、Momentum 6、Chronos Ventures、Cobak、Damo Labs、Dutch Crypto Investors、FBG Capital、Panony、 Kryptos Research、Lancer Capital、Limestone Capital、MEXC Global、Mint Ventures、NGC Ventures、Ti Capital、ViaBTC Capital、7 O'Clock Capital和Waterdrip Capital等机构的投资。
CoinVoice最新获悉:区块链安全审计机构 CertiK 完成 2400 万美元 B+ 轮融资,Tiger Global 和高瓴创投共同领投,所筹资金用以支持 CertiK 新产品 Skynet Premium 的发布。
此前报道,7 月份 CertiK 完成 3700 万 B 轮美元融资,雷军创立的顺为资本与 Coatue 联合领投。
CoinVoice最新获悉:官方消息,自 8.10 黑客攻击事件发生后,部分自媒体/KOL发表的关于 O3 合约自带超级权限,可以一键转移用户 stake 资产的言论完全不属实,请大家切勿被谣言影响。 O3 Swap 合约开源代码中被讨论的collect 方法第一行代码中表明 require token !=(不等于)staking token 的强制限制(会触发 COLLECT_NOT_ALLOWED 异常使操作被强制结束),即表明禁止操作用户 stake 的资产,function collect 是考虑到用户向合约误充资产后可以帮助找回而设计, 并非谣言中所讲的“自带一键 rug”的超级权限。O3 Swap 合约代码完全开源并经过 SlowMist 和 Certik 的审计,并且是正常安全运行状态。特此说明澄清,请社区成员切勿轻信和传播谣言。 关于本次攻击事件进展,我们正在与 PolyNetwork 团队密切沟通与协同处理,将会第一时间与社区同步结果,也将尽快恢复跨链相关功能与服务,感谢社区成员的理解与支持!
CoinVoice最新获悉:据 Certik 官方页面显示,合成资产协议 XCarnival 旗下产品 XBroker 已通过审计,报告同步更新于 Certik 官网。此外,核心组件 Megabox 正在等待审计中。
审计内容包括:针对常见和不常见的攻击向量测试智能合约;评估代码库以确保符合当前的最佳实践和行业标准;确保合约逻辑符合客户的规范和意图;行业专家逐行对整个代码库进行全面的手动检查等。
CoinVoice最新获悉:Web3 云计算项目 Phala Network 预备主网 Khala Network 的智能合约桥已通过区块链安全公司 CertiK 的安全审计。据 CertiK 出具的审计报告显示,Khala 智能合约桥没有严重或任何重大漏洞,并能有效防止任何恶意攻击,部分次要问题已得到解决。Khala 智能合约桥能帮助用户实现 ERC20 PHA 与 K-PHA 的兑换,让 Khala 网络外的 PHA 资产得以转入 Khala 账户。为后续 Khala 网络上线做准备。
CoinVoice最新获悉:币安智能链(BSC)第二期最具价值建设者计划 MVB II 公布 10 个获胜项目名单,分别为:Alpaca Finance、ApeSwap、BiSwap、BunnyPark、CryptoBlades、Faraland、MyDeFiPet、MOBOX、Streaming Fast 和 XworldGame (排名不分先后)。入选项目将获得 1 万美元种子基金、Certik 的 QuickScan 服务、全面审计的费用支持以及孵化机会。
CoinVoice最新获悉:据BSC官方社区消息,MVBII (最有价值的建设者计划第二轮) 最终10个获胜项目名单于今日公布,分别为:Alpaca Finance、ApeSwap、BiSwap、BunnyPark、CryptoBlades、Faraland、MyDeFiPet、MOBOX、Streaming Fast和XworldGame (排名不分先后)。
以上获胜项目将获得1万美元种子基金、Certik的QuickScan服务、全面审计的费用支持以及独家孵化机会。未来依据表现,还有机会获得其它更深度的支持。本讯息不构成任何投资建议。
CoinVoice最新获悉:去中心化金融协议 dForce 针对其借贷和合成资产协议核心功能在 DeFi 赏金网络 Immunefi 发布漏洞赏金计划,赏金根据漏洞严重程度分级,单个漏洞最高奖励 25 万美元。此前 dForce 已经聘请 Trail of Bits、ConsenSys Diligence、CertiK、Certora、派盾科技、慢雾科技、安比实验室等机构对 dForce 原生协议进行了代码审计和形式化验证。
CoinVoice最新获悉:基于 ZK Rollup 技术的二层多链聚合协议 zkLink 在四个测试网络中推出测试版,已部署至以太坊 Rinkeby Testnet、Polygon Testnet、Heco Testnet、以太坊 Görli Testnet,用户可以在多链资产之间执行存款、取款、交易、兑换、增加和删除流动性等操作。团队表示,智能合约已经过 Certik 的安全审计,正在进行最后一轮安全检查。zkLink 使用了零知识证明技术,确保多链资产互通的安全性和一致性,提供安全、高效、低成本的多链 DeFi 用户体验。
CoinVoice最新获悉:据 The Block 报道,区块链安全审计机构 CertiK 完成 3700 万美元 B 轮融资,由 Coatue Management 和雷军创立的顺为资本联合领投,Coinbase Ventures 也参与了本轮投资。CertiK 表示,B 轮融资有助于扩张团队和安全能力,目前公司的员工数约为 100 人,计划在未来一年将团队规模扩大一倍。CertiK 成立于 2018 年,团队称有超过 1000 个客户,包括 Aave、Polygon、Yearn 和币安等,已保护了价值超过 700 亿美元的数字资产,该公司的前五大市场为美国、欧洲、中国、新加坡和韩国。
CoinVoice最新获悉:无许可保证金交易协议 OpenLeverage 完成 180 万美元种子轮融资,LD Capital 与 Signum 领投,FBG Capital、YBB Foundation 以及 Continue Capital 参投。目前,OpenLeverage 测试网已上线,正将项目迁移至 Layer 2。此外,Certik 和 Peckshield 正在对 OpenLeverage 进行代码审计。
CoinVoice最新获悉:DeFi 资产管理平台 Tranchess Protocol 完成 150 万美元种子轮融资。此轮融资由 Three Arrows Capital、Spartan Group 领投,Binance Labs、LongHash Ventures、IMO Ventures 以及多个 DeFi 领域个人投资者参投。本轮融资将用于 Tranchess 当前版本后期运维以及计划在 2021 年四季度推出的二期项目的开发。Tranchess 已经完成 PeckShied 与 Certik 的智能合约审计,并已于 2021 年 6 月在币安智能链(BSC)上线。
Tranchess Protocol 是一套面向加密货币持有者和交易者的组合管理工具,可满足不同风险偏好的用户实现自己的投资需求。Tranchess 首个产品挂钩比特币价格走势,并计划在 2021 年第四季度推出挂钩其他加密货币走势以及可管理多个加密货币组合的产品,便于用户随时根据市场变化调整自己的投资组合。
CoinVoice最新获悉:以太坊智能合约自动执行工具 Gelato Network 针对 DEX 为开发者推出限价订单系统「限价订单库」( Limit Order Library),以通过全新的 limit-orders-lib 和 limit-orders-react 组件来消除 DEX 开发人员的开发障碍,从而为开发人员提供简单的一站式解决方案,使得目前的 AMM DEX 可以直接实现限价单挂单交易。
目前该系统的智能合约组件已通过 Certik 审计,工具范围涵盖从现成的 React 组件到尽快完成功能上线的 React Hooks,以及在可定制的基础上与 Gelato 订单簿基础设施交互的简单方法,目前也已经部署在以太坊、 Polygon 和 Fantom 上,接下来将支持币安智能链(BSC) 和 Arbitrum。
CoinVoice最新获悉:加密市场信息平台 CoinMarketCap 现已集成 CertiK 和慢雾的安全审计信息。在 CoinMarketCap 网站上搜索或点击任意项目名称,若其已被 CertiK 或慢雾审计,可直接查看安全审计信息。
CoinVoice最新获悉:币安智能链(BSC)官方发推称,最近发生超过 8 起针对 BSC 链上 DeFi 项目的闪电贷攻击,可能有黑客团队盯上了 BSC。BSC 呼吁生态内所有 DApp 采取如下行动:1. 与审计公司合作进行另一次安全检查,如果是分叉项目,请反复检查相对原始版本进行的更新;2. 采取必要的风险控制措施,实时主动监控异常情况,一旦出现异常及时暂停协议;3. 制定应急计划,以应对可能出现的最坏情况;4. 如果条件允许可设定漏洞赏金计划;5. 安全公司 PeckShield 和 CertiK 为 BSC 项目的安全咨询服务提供绿色通道。
CoinVoice最新获悉:去中心化衍生品交易协议 Deri Protocol V2 将上线币安智能链(BSC),V2 版本有助于 Deri 协议上的衍生品交易实现最佳的资本效率。Deri Protocol 的 V2 版本新引入了动态混合保证金、动态流动性提供、一个池中的多个交易标的。 Deri 表示 V2 代码已在 Peckshield 和 Certik 进行了安全审计,并将从 Deri Protocol V2 启动日开始实施漏洞赏金计划,对关键性的漏洞提供高达 5 万美元的赏金。
CoinVoice最新获悉:以太坊波动率指数交易平台 volmex.finance 发布 v1 版本,该版本支持抵押稳定币(目前为 DAI 和 USDC)铸造波动率指数代币并使用全局结算机制。用户可以通过抵押稳定币铸造波动率指数代币(例如 ETHV)或反向波动率指数代币(例如 iETHV)对相关代币涨跌进行定向押注,也可以向 Uniswap 的流动性池中提供流动性以获取收益。同时,用户也可以使用波动率指数代币赎回抵押的稳定币,目前铸造和抵押的费率分别为 0.1% 和 0.3%。
volmex.finance 表示,该版本的智能合约代码已通过 CertiK 与 Coinspect 的审计,将于 6 月在以太坊上发布,之后将支持扩容方案 Polygon、Optimism 等,目前智能合约正在以太坊测试网进行测试。产品发布后,volmex.finance 计划支持更多种类的抵押品以及波动率指数代币。
CoinVoice最新获悉:币安智能链(BSC)上 DeFi 协议 Merlin 针对昨日被攻击事件发布补偿计划,在 UTC 时间 2021 年 5 月 26 日 10:29:54 的所有代币持有者都有资格获得补偿代币,Merlin 将空投补偿代币 cMERL 给用户。此外,cMERL 持有者将能够从补偿池中获得 BNB 奖励,持续 6 周,补偿池由团队出资。团队还将启动销毁和回购活动,以促进 MERL 的通缩。
Merlin 称该事件不是闪电贷攻击,而是与 getReward 代码的漏洞有关。此次攻击中,大量的 CAKE 代币被手动转移到 Vault 合约中,使得矿工创造了过多的 MERL 代币作为 Vault 奖励的一部分。此次攻击共导致了约 5.9 万枚 MERL 增发,目前开发团队正在修复代码,并将由 Certik 和 Haechi 进行全面审查。
CoinVoice最新获悉:基于信用的去中心化跨链借贷平台 Wing 在 OKExChain 上正式发布新版本,首批支持资产包括 WING、OKT、USDT、USDC、BTCK、ETHK,OKEx 上的 WING (KIP-20)充提也已开放。与此同时,Wing 流动性挖矿活动和与去中心化跨链钱包 ONTO 合作的空投同步开启,用户可获得 WING、ONTK、OKT 奖励。
Wing Finance 由本体技术团队支持开发,合约代码通过 Certik 等多家安全审计,于去年 9 月上线本体版本,上月发布了以太坊版本。凭借其特有的「借、贷、保」参与机制和极具创新性的信用借贷产品,近期 TVL 持续稳定在 3 亿美元以上。
CoinVoice最新获悉:据官方消息,Flux协议将于今日20时在OKExChain上线NULS存借和挖矿,其中借贷抵押因子为300%。
关于Flux
Flux协议是由Zero One团队打造的去中心化、安全、非托管的数字加密资产抵押借贷协议。Flux协议合约代码已通过Certik安全审计。
关于NULS
NULS致力于让区块链技术更简单,目前已通过异构跨链生态NerveNetwork成功实现与ETH/BSC/Heco / OKExChain等多条区块链间的跨链互通。
CoinVoice最新获悉:去中心化现货杠杆交易平台 Lever.Network 将于明日下午 16:00 上线币安智能链主网公测,并同时开启盲挖,交易手续费返利,交易大赛等活动,流动性挖矿也将于近期启动。Lever 主产品智能合约也已通过慢雾科技、Certik 的安全审计。
CoinVoice最新获悉:去中心化现货杠杆交易协议 Lever.Network 将于明日下午 16:00 上线币安智能链主网公测,并同时开启盲挖,交易手续费返利,交易大赛等活动,流动性挖矿也将于近期启动。Lever 主产品智能合约也已通过慢雾科技、Certik 的安全审计。
CoinVoice最新获悉:跨链去中心化永续合约交易平台 YFX.COM 宣布将于今日 18:00 在 Bounce、WeStarter 上进行 IDO,此次 IDO 总额度为 25 万个 YFX,兑换价格 1 YFX=0.8 U。其中,Bounce 平台和 WeStarter 平台公开兑换比例各占一半。
YFX.COM 由 NGC、SNZ、DFG 等机构战略投资,目前已经完成 ETH (Layer2)、BSC、Heco、波场主网以及 OKExChain 测试网的上线,能提供高达 100 倍永续合约交易 BTC、ETH 等资产,已多次通过 CertiK 智能合约安全审计。