风险提示:请理性看待区块链,树立正确的货币观念和投资理念,不要盲目跟风投资,本站内容不构成投资建议,请谨慎对待。 免责声明:本站所发布文章仅代表个人观点,与CoinVoice官方立场无关

CertiK

CTK

分享

项目简介

CertiK 致力于通过全球领先的形式化验证技术,提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司,团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉,项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授,拥有 20 余年安全领域经验;顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。

标签

为您找到相关结果约 75 个:

Convergence Finance 与 Hex Trust 合作,以提供 NFT 安全托管服务

CoinVoice最新获悉:DeFi 资产协议 Convergence Finance 宣布与数字资产托管公司 Hex Trust 达成合作,以提供安全合规的 NFT 托管服务。该合作使 Convergence Finance 能够为其用户安全地提供 NFT 投资机会。此前,Convergence Finance 的智能合约 ConvX 已通过 CertiK 的安全审计。

来源链接

DeFi 跨链永续合约平台 YFX.COM 将于 5 月 6 日在 Bounce 和 WeStarter 上进行 IDO

CoinVoice最新获悉:DeFi 跨链永续合约平台 YFX.COM 将于 5 月 6 日在 Bounce、WeStarter 上进行 IDO,此次 IDO 总额度为 25 万枚 YFX 代币,兑换价格为 0.8 美元。

YFX.COM 由 NGC、SNZ、DFG 等机构战略投资,目前已经完成 ETH (layer2)、BSC、Heco、Tron 主网以及 OKExChain 测试网的上线,能提供高达 100 倍永续合约交易 BTC、ETH 等资产 , 多次通过 CertiK 智能合约安全审计 , 实现了衍生品交易的去中心化部署。

DeFi 跨链永续合约平台 YFX.COM 公布代币发行计划

CoinVoice最新获悉:去中心化永续合约交易平台 YFX.COM 将于 5 月 6 日-5 月 9 日进行代币发行,YFX 代币发行分为「IDO-LBP-DEX」三个部分,采用多平台、多链、多形式的发布方式。

YFX.COM 目前已经完成 ETH (layer 2)、BSC、Heco、Tron 主网以及 OKExChain 测试网的上线,能提供 100 倍永续合约交易 BTC、ETH 等资产,多次通过 CertiK 智能合约安全审计,实现了衍生品交易的去中心化部署。YFX 此前已获得 NGC、SNZ、DFG 等机构的战略投资。

DeFi 永续合约平台 YFX.COM 完成数百万美元融资

CoinVoice最新获悉:跨链去中心化永续合约交易平台 YFX.COM 宣布完成数百万美元融资,融资金额未披露。本轮参投机构包括 OKEx Blockdream Ventures、PrimeBlock Ventures (MXC Labs)、Gate.io Labs、LD Capital、PetRock Capital、True Edge Capital、R8 Capital、ArkStream Capital、CryptoJ、7 O'Clock Capital、Phoenix VC、NewTribe Capital、Vega Ventures、499Block、Jackdaw Capital、红链资本等海内外投资机构。此外,YFX.COM 表示即将公布代币 YFX 的 IDO 信息。

YFX.COM 已经完成 ETH (layer2)、BSC、Heco、Tron 主网以及 OKExChain 测试网的上线,可以提供高达 100 倍永续合约交易 BTC、ETH 等资产,多次通过 CertiK 智能合约安全审计 , 实现了衍生品交易的去中心化部署。

国内首个隐私计算技术联盟成立

CoinVoice最新获悉:国内首个区块链隐私计算领域去中心化治理组织隐私计算技术联盟(Privacy Computing In China,简称「PCIC」)宣布成立。
PCIC 9 家创始机构分别为:Oasis Network、Findora、Certik、Manta Network、Phala、Cabin VC、Candaq、中国技术经济学会区块链分会、Blocklike 。

PCIC 旨在为隐私计算领域打造⼀个有公信力、开放、共赢的自治理组织。PCIC 将通过轮值机制,由核心发起成员轮值管理隐私计算技术联盟社区,定期向市场传递隐私计算领域技术研讨及生态进展。

DeFi 资产协议 Convergence 智能合约 ConvX 已通过 CertiK 安全审计

CoinVoice最新获悉:DeFi 资产协议 Convergence 的智能合约 ConvX 已通过 CertiK 的安全审计,CertiK 表示总体而言,ConvX 智能合约的源代码编写情况良好,能较好地进行安全实践,建议 Convergence 团队及时解决评估中发现的问题,以确保合约达到高水平的行业安全标准。

Convergence Finance 是一个去中心化可互换资产协议,旨在通过自动做市商 AMM 建立「不可预见的流动性」,将现实世界的资产带入去中心化世界。

来源链接

柬埔寨央行数字货币总设计师 Makoto Takemiya 加入算力币项目 BTCST 道「τ」平台

CoinVoice最新获悉:柬埔寨央行数字货币总设计师 Makoto Takemiya 宣布加入币安 LaunchPool 首个算力币项目 BTCST 道「τ」平台,担任首席科学家,将为道「τ」平台拓宽应用场景提供技术、研发支持。Makoto Takemiya 表示,算力合成 PoW 平台道「τ」是将比特币合成资产带入 DeFi 世界的解决方案。τBitcoin 解决了 BTC 网络的限制,已经获得全球 12% 比特币算力的支持。

Makoto Takemiya 是日本区块链技术公司 SORAMITSU 的创始人兼 CEO,也是柬埔寨国家央行数字货币的设计师。BTCST 是类似于灰度基金的比特币算力基金,已通过区块链安全公司 CertiK 和 Armor Labs 的审计。

波卡生态跨链隐私中间件协议 Raze Network 宣布完成私募轮融资

CoinVoice最新获悉:波卡生态跨链隐私中间件协议 Raze Network 宣布完成私募轮融资,具体金额暂未披露,OKex Block Dream Fund、Tenzor Capital、Arpa Labs、X21 Digital、Kyros Ventures 等机构参与本轮投资,另外种子轮投资机构 AU21 Capital、Signum Capital、Master Ventures 和 Spark Digital Capital 在本轮追加投资。Raze Network 项目以太坊版本合约正在进行 CertiK 安全审计。

Raze Network 旨在为 DeFi 提供隐私保护,可以在交易保护和用户信息匿名化方面的为其提供技术解决方案。Raze Network 是基于 Substrate 框架的跨链隐私协议,旨在保持跨链审计透明性的同时,通过零知识证明技术为 DeFi 领域提供端到端的隐私保护服务。

来源链接

DeFi 交易及借贷协议 UniLend 正式上线以太坊主网

CoinVoice最新获悉:DeFi 交易及借贷协议 UniLend (UFT)宣布正式上线以太坊主网,并已在主网上启动质押和闪电贷功能。另外,UniLend 还将在达到一定目标后对质押用户进行空投。UniLend 的闪电贷产品此前已通过 Certik 的安全审计。

注,UniLend 是一种无许可的 DeFi 交易与借贷协议,旨在将交易服务、货币市场与通过智能合约提供的借贷服务结合在一起。UniLend 于 2020 年 9 月底完成 310 万美元种子轮及私募轮融资,投资机构包括 Woodstock Fund、Signal Ventures、3Commas 等。

来源链接

xDeFi 完成百万美元私募轮融资,即将上线以太坊主网和发行代币 XDEX

CoinVoice最新获悉:去中心化金融协议栈 xDeFi 宣布完成百万美元私募轮融资,投资机构包括 Qtum Foundation、Youbi Capital、Waterdrip Capital、六一资本、Hotbit Technologies、Spark Digital Capital、Incuba Alpha Labs、Carbon Blue Ventures、Dorahacks Ventures、Skywater Capital 和 HBTC Labs。目前 xDeFi 正在进行以太坊 Kovan 测试网第二轮测试中,项目合约已经通过慢雾和 CertiK 安全审计,预计将于近期上线以太坊主网并发行其主网代币 XDEX。

xDeFi 包括但不限于 xDEX (作为优化的自动化做市交易所)、xHalfLife (作为流支付协议用于延迟解锁)和 xOption (作为欧式带封顶期权用于低频对冲现货风险)等。

BSC 生态协议 Meerkat Finance 跑路事件后续:自称为开发者发布声明称只是漏洞攻击实验

CoinVoice最新获悉:自称为基于币安智能链的 DeFi 协议 Meerkat Finance 开发者 Jamboo 发布声明称,为了帮助用户认识到智能合约的潜在危险,Meerkat 邀请黑客进行漏洞攻击,盗取超过 7.3 万枚 BNB 和 1400 万 BUSD。Jamboo 表示,这仅是一个实验,Meerkat 将进行数据更新和执行智能合约来补偿用户。为证实其是 Meerkat 开发者,Jamboo 表示从 Meerkat 钱包执行了 0.1 BNB 到 BUSD 的兑换过程。

此前报道,Meerkat Finance 疑似跑路,自称金库合约遭遇黑客攻击,目前审计机构 Certik、Peckshield、慢雾已介入调查,也有部分 KOL 在协助追溯被盗资产流向,有任何进展会在第一时间向公众同步。

来源链接

BSC 生态 DeFi 协议 Meerkat Finance 疑似跑路,安全机构已介入调查

CoinVoice最新获悉:据币安智能链社区反馈,基于 BSC 的 DeFi 协议 Meerkat Finance 疑似跑路,自称金库合约遭遇黑客攻击,目前审计机构 Certik、Peckshield、慢雾已介入调查,也有部分 KOL 在协助追溯被盗资产流向,有任何进展会在第一时间向公众同步。

来源链接

Layer 2 交易协议 ZKSwap 开源所有智能合约代码

CoinVoice最新获悉:Layer 2 交易协议 ZKSwap (ZKS)开源了其智能合约代码,开源的代码包含 ZKSwap 项目所有智能合约相关的代码,电路部分的代码会在审计报告出来后第一时间开源(目前电路审计已经结束)。

目前开源的智能合约代码经过慢雾、Certik 和 ABDK 三家审计机构的审计。相关代码在 Layer2 领域实现了创新性,包括在 Layer2 支持 AMM 模式的交易、支持 Layer2 的 LP token 提现到以太坊 Layer1、支持创建 LP token、支持 Layer2 区块以聚合形式提交到以太坊 Layer1 以降低 Gas 费用以及支持零知识证明的聚合证明等。

来源链接

ZKSwap 将于下周开源合约和电路代码,智能合约已完成审计

CoinVoice最新获悉:Layer 2 交易协议 ZKSwap 表示其所有智能合约和电路的代码都将完全开源,其中智能合约部分已经完全审计完成,将会在 2021 年 3 月 1 日开源;对于电路部分, ABDK 还在进行最后的审计报告编辑,将会在获得报告并在系统稳定运行一段时间后逐步开源。

ZKSwap 的智能合约和电路部分的代码已经获得了慢雾、Certik 和 ABDK 三家权威安全审计机构的审计认证,审计报告已公开在项目 Github 仓库中。注,ABDK 也是 Matter Labs (ZKSync) 的审计机构。

另外,ZKSwap 表示将严格遵守 MIT 开源协议,保留原作者的版权声明和许可声明。ZKSwap 称 ZKSwap 的资金托管合约部分是在 ZKSync 资金托管合约的基础上进行的修改,也将在所有智能合约开源时进行备注,并添加新的版权和许可声明。

来源链接

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

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

dForce 借贷在资金池模式上,增加了超额抵押多货币贷款,允许用户通过超额抵押的方式生成不同币种的稳定币贷款,亮点包括增强风控模型、支持闪电贷、多货币支持、定制的公有或私有池、固定利率 / 期限存款、无抵押借贷、共享授信额度等功能。

跨链收益优化协议 ETHA Lend 完成 160 万美元融资,并拟于二季度发布主网

CoinVoice最新获悉:跨链收益优化协议 ETHA Lend 完成 160 万美元融资,AU21 Capital、DFG 和 Privcode Capital 领投,跟投投资者包括 Vector Capital、Chain Capital、PNYX Venture、Lancer Capital、Oasis Capital、TRG Capital、Candaq Capital、Dealean Capital、Inclusion Capital、Origin Capital、ZB Capital、YBB Foundation、AC Capital 以及 Hotbit。

注,ETHA Lend 是在以太坊和波卡生态系统上的跨链收益优化协议。随着本轮融资的结束,ETHA Lend 团队将加快产品发展路线,并计划于 2021 年第二季度发布主网。另外,ETHA Lend 还将于三季度启动 ETHA Lend 协议的基本实用功能,其中包括信用授权。目前,ETHA Lend 智能合约正由区块链智能审计公司 Certik 进行审计。

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

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

88mph 的 ERC-20 零息债券将支持承兑 88mph 固定利率债券 NFT 的部分份额,代表 NTF 部分份额的该 ERC-20 零息债券支持在 Uniswap 上交易。

来源链接

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

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

来源链接

ZKSwap 将于本周上线主网,已完成 4000 万枚 ZKS 的免费空投发放

CoinVoice最新获悉:基于 ZK Rollup 扩容技术的 AMM 去中心化交易所 ZKSwap 表示,已于上周完成了主网上线前的压力测试,将于本周在以太坊主网陆续部署智能合约和部署 Layer 2 系统,上线主网,并开启一系列流动性挖矿和交易即挖矿以及智能合约锁仓挖矿等活动。另外,ZKSwap 的主网上线代码已经分别通过了由 ABDK、Certik 以及慢雾进行的安全审计。

此外,ZKSwap 已于 2021 年 2 月 7 日 22:00 前完成 4000 万枚 ZKS 的免费空投发放。本次空投结束后,ZKS 流通量则从 4000 万个增至 8000 万个。本次空投的 4 次快照时间分别是北京时间 2021 年 2 月 6 日 08:00 和 20:00,以及 2 月 7 日 08:00 和 20:00。

根据最新一轮的压力测试数据,过去 16 个小时,ZKSwap 合计处理了 1,516,906 笔 Layer 2 的 Swap 交易,以及 320,848 笔提现交易。按照最新的压力测试数据,预计主网上线时第一个月内,每天可以处理 200 万笔 Swap 交易以及 50 万笔以上的提现交易,交易容量是以太坊全网的 2 倍左右,Gas 费用预计是以太坊 Layer 1 费用的 1/50 至 1/100。

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 所支付的费用将作为奖励直接发送给担保提供者。担保提供者会提前提供自己的加密货币作为抵押品,用于支付获批的索赔申请。

来源链接

最新收录

更多

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 拥有和管理的区块链上的游戏平台。