去年以来?ZK?赛道受到了大家的广泛关注,特别是采用?ZK-EVM?技术的?Starknet、zkSync、PolygonEVM、Scroll?等明星项目成为大家谈论最多的话题,那?ZK-VM?又发展如何呢?本文?PANews?将通过介绍近期新出现的?ZK?融资项目,为大家梳理?ZK?赛道的关键概念和发展方向。
ZK、ZK-VM?及?ZK-EVM
为了了解?ZK?赛道各个项目背后的技术特点,让我们先来了解一下?ZK?相关的基本概念。
ZKP表示零知识证明,是指通过数学密码学的方式解决区块链的隐私和扩展问题,主要是通过证明者和验证者在不公开数据的情况下验证数据的正确性。
ZK-VM?是基于零知识证明的虚拟机,它将零知识证明?ZK?和虚拟机?VM结合起来。ZK-VM?一般包含?2?个重要组成部分:一个是编译器,它可以将?C、Rust?等高级语言编译生成中间表达(IR),以供?ZK?系统证明;一个是指令集框架?ISA,指令集主要对?CPU?运算进行指令,是用来引导?CPU?进行运算的一系列指令集合。
ZK-EVM?是?ZK-VM?的一种,主要特点是可以兼容以太坊?EVM,支持用?Solidity?编写的智能合约在其虚拟机上运行,以帮助以太坊二层扩容。Starknet、zkSync、Scroll、Polygonhermez?都属于?ZK-EVM。
金色午报|1月18日午间重要动态一览:7:00-12:00关键词:发改委、Crypto.com、Snapshot、中信证券
1.发改委:虚拟货币“挖矿”全链条整治工作取得明显成效
2.深圳数字人民币受理商户已超30万家 应用场景从G2C向G2B扩展
3.Crypto.com部分账户遭黑客攻击 损失至少1500万美元
4.Vitalik:有研究证明 EIP 1559 大大减少了平均交易等待时间
5.中信证券:NFT的技术特点使其成为解决数字资产问题的可能方案
6.上海:加紧研究布局未来虚拟世界与现实社会交互平台
7.Snapshot拟在二季度推出链上投票框架Snapshot X
8.Stacks成为比特币链上规模最大智能合约项目[2022/1/18 8:56:29]
NilFoundation的全名是“=nil;Foundation”,有点像乱码,其实这个奇怪的名字来源于一个?SQL?注入玩笑。
成立于2018年的?NilFoundation?最初是做数据库管理系统。去年底以?2.2?亿美元的估值完成了?2200?万美元的融资,由?PolychainCapital领投,BlockchainCapital、Starkware、MinaProtocol、IOSGVentures?等参投。
金色晨讯 | 9月2日隔夜重要动态一览:21:00-7:00关键词:美国、以太坊2.0、SushiSwap、Polkadot
1. Roger Ver:Bitcoin ABC将于11月15日分叉脱离BCH;
2. SGX、汇丰银行和淡马锡合作发行3亿美元的区块链债券;
3. 美国CFTC指控多家提供虚假注册声明的加密公司;
4. 韩国法院裁定Bithumb对2017年数据泄露事件需承担部分责任;
5. 灰度资产管理总规模已达到63亿美元;
6.以太坊2.0信标链“随机性”协议证明出现漏洞;
7. 以太坊官博:Medalla测试网目前进展顺利;
8. V神:希望有人能分叉Maker并剥离治理;
9. SushiSwap将开通REN-ETH等5大新LP池;
10. Polkadot已正式推出v0.8.23版本;
11. 百慕大政府宣布启动数字刺激性代币试点计划。[2020/9/2]
NilFoundation?在?LLVM?的基础上构建了一个?ZK?电路编译器,该编译器可以将?C、Rust?等高级语言编写的程序编译生成为适当的中间表达(IR),以供?ZK?系统证明。即?NilFoundation?是一个电路编译器,而不是虚拟机。
金色晚报 | 7月3日晚间重要动态一览:12:00-21:00关键词:日本央行、交通银行、河北省、茅台
1.日本央行将与私人金融机构及支付公司合作研究CBDC。
2.交通银行国际贸易单一窗口区块链平台上线。
3.河北省区块链专项行动计划:推动区块链产业与实体经济融合发展。
4.腾讯“清远云计算数据中心”开启服务将落地区块链等技术。
5.贵州茅台发布首款数字3D-AR数字酒。
6.RVN因存在漏洞发布紧急更新 漏洞已造成代币总量增加1.5%。
7.江西省“区块链+政务服务”服务平台赣服通”3.0版上线。
8.云南首个区块链+住房专项维修资金管理系统上线运行。
9.区块链电子发票获深圳市市长质量奖,腾讯升级“区块链+税务“应用。[2020/7/3]
LLVM(LowLevelVirtualMachine)是构架编译器的一种框架系统,可以优化?Rust?和?C等高级语言编写的程序的编译和运行时间。LLVM?最初由伊利诺伊大学的?ChrisLattner?博士于?2000?年主持开发。2006?年?ChrisLattner?加盟?Apple?后开始致力于?LLVM?在开发系统中的应用,目前?LLVM?已经被?Apple、Microsoft、Google、Facebook?等各大公司采用。
金色午报 | 6月9日午间重要动态一览:7:00-12:00关键词:高考模拟考题、韩国银行、可口可乐
1.深圳扶持区块链等数字经济产业 单个项目资助最高300万元。
2.“四川比特币矿场”成为考题 多次出现中国高考模拟地理卷。
3.福建省将推进区块链技术和产业创新融合发展。
4.以太坊的全网单日手续费连续三日超过比特币。
5.韩国银行公布中长期发展战略 积极从事数字货币研究和准备工作。
6.浙商银行区块链+供应链“双链并用”扶持中小微企业。
7.澳大利亚和新西兰自动售货机将支持加密货币购买可口可乐。
8.总计8亿枚XRP从RippleOTC分销钱包转出 价值超1.6亿美元。
9.Kraken报告:比特币可能会在市场波动性恢复之际继续走高。[2020/6/9]
除此之外,NilFoundation?有个比较特别的地方是建立了一个“证明市场”,通过?ProofMarket?用户可以付费请拥有硬件的人为他们验证,证明者竞相为支付给他们的用户证明计算,这种自由市场动态将使证明者优化最有价值的证明任务。
SovereignLabs
专注于构建?ZK-RollupSDK?的SovereignLabs?今年?1?月完成了?740?万美元种子轮融资,该轮融资由?HaunVentures?领投,Maven11、1KX、RobotVentures?和?PlaintextCapital?参投。
独家 | Bakkt期货合约数据一览:金色财经报道,Bakkt Volume Bot数据显示,4月7日,Bakkt比特币月度期货合约单日交易额为1693万美元,环比上升15%,未平仓合约量为612万美元,环比上升18%。[2020/4/8]
SovereignLabs?计划构建一个软件开发工具包(SDK),帮助开发人员创建安全且可互操作的零知识?Rollup。SovereignSDK旨在简化ZK-Rollup的创建,就像CosmosSDK简化?Layer?1?的创建一样。它是第一个消除零知识复杂性的汇总框架,使开发人员可以轻松构建他们的应用程序,开发人员无需成为密码学专家。使用SovereignSDK,开发人员将能够使用惯用的Rust编写应用程序,SDK将自动将其编译为高效的ZK?虚拟机。
SovereignLabs?的路线图分为?3?个部分,第一阶段是在?2023?年第二季度完成研究设计原型,当前的原型集成了用于数据可用性的Celestia和用于证明的Risc?0?。第二阶段是?SovereignSDK?的部署,包括点对点网络、RPC节点、核心API以及默认存储和排序模块。第三阶段是进行代码清理、测试、模糊测试和审计。
Ulvetanna
Ulvetanna?是一家构建硬件以提高零知识证明生成效率的初创公司,以?5500万美元估值完成了1500万美元的种子轮融资,BainCapitalCrypto和Paradigm共同领投了种子轮融资,JumpCrypto参投。
Ulvetanna?正在构建旨在加速生成ZKP过程的硬件,Ulvetanna的团队包括来自Coinbase、微软和英特尔的程序员和工程师。
随着未来?ZKP?需求的的增加,ZKP需要大量计算,这就需要强大的硬件并消耗大量电力。Ulvetanna?认为?ZKP?生成在专门设计的硬件上要高效得多,因此?Ulvetanna?组建了一支由应用密码学家、软件和硬件工程师、数据中心和云架构师以及加密原生投资者组成的经验丰富的团队,通过结合密码学和高性能计算来提供高效的?ZKP?硬件计算服务。
Cysic
ZK?硬件初创公司?Cysic?于?2022年12月完成了600万美元的种子轮融资,由PolychainCapital领投,其他投资者包括Hashkey、SNZHolding、ABCDE和Web3.com基金会。
Cysic旨在为ZK证明提供硬件加速解决方案。目前?Cysic的合作伙伴包括Scroll、NilFoundation和HyperOracle。
Cysic团队开发了多标量乘法(MSM)的FPGA原型,FPGA是一种可编程硬件,类似于CPU和GPU芯片。
HyperOracle
ZK?预言机网络HyperOracle最近完成了由dao?5和红杉中国种子基金共同领投的300万美元种子轮融资,ForesightVentures、FutureMoneyGroup?等跟投。
HyperOracle?正在基于?zkWASM虚拟机开发?ZK?中间件协议和ZK?预言机?zkOracle的开发,以解决区块链中间件的安全性、去中心化、计算完整性和性能方面的挑战。
Polyhedra
最近ZK?基础设施初创公司PolyhedraNetwork?完成了由?BinanceLabs和PolychainCapital共同领投的?1000万美元融资,AnimocaBrands和Dao?5参投。
Polyhedra目前基于?ZK?技术开发了?3?款?ZK?产品:包括用于L1和L2资产传输的?ZK?桥;采用零知识证明技术保护隐私的用户身份解决方案?ZK-DID;一种可编程的NFT协议?ZK-NFT,该产品采用了零知识证明技术,以保护用户资产的隐私。目前,zkBridge的测试网已经上线。除此之外,Polyhedra?还开发了一种名为?ParaPlonk?的扩容方案,可使用大规模分布式证明生成网络来加速?ZKrollups。Polyhedra计划集成更多区块链,并通过API和SDK工具让开发人员便于访问,以吸引更多的ZK-rollup开发人员。
RISCZERO
RISCZero是一个开源的通用型?ZK-VM,该项目的名字起源于流行的?RISC,RISCZero?采用目前最新的第?5?代?RISC-V,RISC-V?指令集的理念是最大化的精简指令集,它仅包含?40?多条指令集。因为采用?RISC-V?指令集,因此?RISCZero?支持?C、Rust?和?Go?等高级编程语言,开发者无需学习新的语言就可以使用?ZK-VM。
RISCZero?产品增长?VPManasi表示,RISCZero?也将会支持?Solidity,因此?RISCZero?对原生以太坊开发者将会更加友好。在语言编译方面,RISCZERO采用了被很多大厂使用的?LLVM?架构。从技术路线来看,因为采用了比较成熟的编译和指令集方案,RISCZERO?有可能成为?ZK-VM?赛道的典型项目。
ZK?赛道发展方向
去年,ZK?赛道的项目主要集中在兼容以太坊的?ZK-EVM?上,比如?Starknet、zkSync、Scroll?等热门项目。从近期融资的?ZK?项目类型来看,基本还是以基础设施层面为主,比如?ZK?电路编译器、ZK?硬件加速、ZK?预言机和桥。
同时,这些项目也呈现出一个趋势,即?ZK-VM?类的项目数量开始增多。其实,通过引入?ZK?证明系统,ZK-VM?可以帮助大量Web2.0?的应用结合零知识证明进入Web3。比如目前?Gamefi?后端管理用户数据的服务是中心化的,如果后端采用?ZK-VM,这样游戏可以实现真正的去中心化。以此类推,在有必要的前提下,很多Web2.0?的应用都可以实现去中心化。
ZK-EVM?和?ZK-VM?哪个才是未来?虽然以太坊上的应用会逐渐支持?ZK-EVM,但Web3不仅只有以太坊,因为?ZK-VM?支持更多的高级语言,而且相对于?ZK-EVM?来说更容易搭建,如果?ZK-VM?也可以很好的支持?Solidity,也许?ZK-VM?才是Web3的未来。
在2022年,Web3行业因智能合约漏洞、桥接黑客攻击、网络钓鱼等安全问题所造成的损失创历史新高.
1900/1/1 0:00:00金色财经报道,周二提交的法庭文件显示,就在申请破产几周前,加密对冲基金三箭资本向借贷机构VoyagerDigital发送了一份一页的净资产价值声明.
1900/1/1 0:00:00尊敬的XT.COM用戶:受BSC鍊網絡波動影響,XT.COM當前BSC鏈上提現確認較慢,將出現延緩的情況,平台其他服務均不受影響,用戶在平台的資金和鏈上資金均不受影響,可以正常進行交易.
1900/1/1 0:00:00FlexibleStaking&EarnCVTXisenabledonGate.ioHodl&Earnundertheflexible-termsection.
1900/1/1 0:00:00今天我们重点来说下安全,这一切都要从Silvergate说起,这家银行给美国SEC提交的文件中显示,无法在3月16日前提交2022年度的10-K年度报告.
1900/1/1 0:00:00自Web3.0兴起以来,不知道大家有没有听说过tokenomics这个加密专有术语?Tokenomics指的是token与持有者及其各自生态系统的创建、管理和交互.
1900/1/1 0:00:00