原文作者:ForesightVentures
0.中间件安全性问题
现有的Indexing协议和Keeper网络都不是完全trustless的,而是trusted,或者看似trustless的.开发者和用户需要以“Trust,NotVerify”的方式来信任这些产品不会作恶.
它们都是上一代的基础设施,在当时可能确实没有太好的解决方案,所以用了Fisherman机制或者DAO治理(SocialConsensus…),来保证数据的可信和协议的安全运行.
在当前,各个zk方案已经进入性能优化的收尾阶段,这些前朝的剑,就不能再来斩本朝的官了.通过zk,可以实现Web3中间件的所有革新,确保安全性,去中心化,和性能被同时满足,就如同OptimisticRollup在未来很可能会被zkRollup抢走Layer2的主导地位一样.
1.Web3Indexing
a)Web3索引
我们首先需要了解为什么需要Web3特制的索引协议:
Web3是地址模型,智能合约数据以交易形式存在,需要索引来让数据结构更加易用;Web2的数据结构开发者自己处理.
Web3的很多数据都是交易相关数据;Web2被索引的数据很大一部分都是搜索引擎索引的网页或者图片等数据.
Web3需要通用索引协议来发挥可组合性;Web2开发者自己根据自己的中心化应用搭建索引服务.
对于这几点,如果你在DApp的开发中,硬是要自己来进行索引,那么每当去提取合约中的特定数据,需要非常大的前端代码量,以下是一个例子,真的要建立一套服务的话需要无数个不同的函数:
于是在我们之前的DApp架构图中,前端要使用和获取智能合约的数据时,就必备一个通用的Indexing协议作为中间层,来让智能合约的数据能被前端所轻松使用.
Meta Platforms:预计将裁员1万人左右:金色财经报道,Meta Platforms:预计将裁员1万人左右,并暂停约5000个职位的招聘。预计将在4月下旬宣布技术小组的裁员计划,将进一步削减招聘团队的规模,预计将于5月底宣布商业团队的裁员计划,致力于优化工程师比例。[2023/3/14 13:03:58]
b)GraphQL索引
我们需要一个Indexing协议作为中间层,那么这个协议该如何选型呢(TheGraph19年有讲过Web3为什么要用GraphQL,但是感觉说得不太清楚)?我们有四个潜在选择.
首先,排除SOAP.因为它的采用率非常少,学习曲线也非常陡峭.甚至有人说“RESTisking,andSOAPistrash”.
其次,排除RPC.RPC是客户端对区块链,或者Web2服务与服务之间的常用调用规范,以操作(动词)为核心,接口的更新更加麻烦一些,适合客户端与区块链网络的通信.但对于我们的智能合约开发场景来说,太重,不是最适合,性能也因为请求数量多,和需要依赖正在运行的程序,而导致不太好.
接着,排除REST.REST风格算是以资源(名词)为核心来操作的规范.但是Web3应用中,对任何资源进行更新操作的动作都需要用户或者其他方授权触发,我们在索引协议中的请求全部是GET请求,那就没必要REST了.
最后,选择了GraphQL:
GraphQL协议本身的构建工作量相比其他标准更小,更不需要变化,更容易搭建通用的协议.
GraphQL的交互形式给了前端更多的自由度,由前端定义结果,符合DApp结构中的无后端思想.
GraphQL非常适合区块链中完全开放且不易变,同时有非常多树状结构数据的智能合约场景,性能上也会因此更好.
加密钱包安全公司Fordefi完成1800 万美元种子轮融资:金色财经报道,加密钱包安全公司Fordefi宣布获得1800 万美元的种子轮融资,并公开推出其用于在去中心化应用程序 (dApps) 上进行交易的机构MPC钱包。Lightspeed Venture Partners领投,Electric Capital、Alameda Research、Jump Crypto、Castle Island、Pantera Capital、Illuminate Financial、PayPal Alumni Fund、Nima Capital、Digital Currency Group、Defiance Capital 和 StarkWare等参投。[2022/11/8 12:33:46]
GraphQL在区块链中已经有TheGraph针对单个智能合约的索引制定了成熟标准,也早就有对整条链的GraphQL接口(ethql,Clear),成熟度高,开发者生态也被培养得很好.
除此之外,我并不认为我们需要花非常多的时间去开发新的存储网络的GraphQL协议和Query协议(当然这些索引的聚合是有意义的):
存储网络大多都自带可用的索引协议,如Arweave的GraphQL服务,开发新的协议是在重复造轮子.
存储网络上的数据相对于合约数据或者Web2数据量都非常小,同时所承载的价值也相对来说更小.
Web2已经有更加成熟的协议和方案来进行这些数据的索引,开发新的协议依然类似是重复造轮子.
当我们讨论索引协议的时候,默认的都是从前端直接获取区块链智能合约的数据,这是因为我们在前文中就阐述过,消除后端服务器对Web3Crypto-native可信DApp的意义.
硬要加上针对智能合约链的后端的话反而徒增架构复杂度和暴露更多的不可信因素(目前有zk-sql等项目在专注于相关问题,但无法完全解决;也有Sqlidity这样有趣的链上SQLite方案),当然对于基于存储协议的DApp来说,SQL化的语句对开发熟悉度和流程来说是有必要的.
Terraform Labs已于去年底向韩国税务局缴纳1000亿韩元的税款:5月17日消息,消息人士透露,去年底,Terraform Labs已向韩国税务局缴纳了1000亿韩元(约7868万美元)的税款,目前尚不清楚Do Kwon是否需要纳税。尽管该国税务机关对Terraform Labs征税,但税务局表示,由于没有相关规定,无法干预Terra案。政府在征税的同时,也因忽视投资者保护和培育虚拟产业而受到批评。
该国税务局相关负责人表示:“根据相关法律,我们不能提供具体业务的税务信息。”据该国最高法院登记处称,Terraform Labs Korea决定今年4月30日的股东大会上解散其釜山总部和首尔分公司。Terraform Labs Korea总部于5月4日清算,首尔分公司于6日清算。
目前尚不清楚国内公司的清算是否与该税收有关。与此同时,受Terra事件影响的韩国投资者接近30万,但该国金融部门无法直接干预此事件。(Block Media)[2022/5/17 3:22:28]
索引协议需要关注的结构应该是前端能直接使用的GraphQL结构.
c)现有Web3GraphQL索引协议问题
现有的IndexingProtocol的龙头必然是去中心化的TheGraph和PocketNetwork和中心化的Alchemy.无论是中心化还是去中心化,它们都各有各的问题:
中心化IndexingProtocol问题:
无法抗审查
无法保证服务高可用性
现有去中心化IndexingProtocol问题:
信任模型和安全性依旧差(攻击Subgraph的成本非常低,机制和Chainlink2.0一样,是靠“更可信”的Fisherman来举报)
灰度投资向美SEC提交其针对ZEN、XLM和ZEC信托产品的Form10注册文件:5月5日消息,灰度投资(Grayscale Investments)向美国证券交易委员会(SEC)就 Grayscale Horizen Trust、Grayscale Stellar Lumens Trust, 和 Grayscale Zcash Trust 提交 Form 10 注册文件,使得这些产品成为 SEC 报告公司。
Grayscale Investments 目前拥有六种 SEC 报告产品,分别为 Grayscale Bitcoin Trust、Grayscale Bitcoin Cash Trust、Grayscale Digital Large Cap Fund、Grayscale Ethereum Trust、Grayscale Ethereum Classic Trust 和 Grayscale Litecoin Trust。[2022/5/5 2:52:58]
性能无法满足需求
对于安全性的问题,Fisherman机制在OptimisticRollup中的体现与IndexingProtocol所不同,OptimisticRollup的数据是链上的,更大的群体可以通过执行轻松验证,而Indexing的过程是链下的,如果并非Subgraph的indexer的话,很难去对错误数据进行挑战.这就导致信任模型更不稳固.
这几个缺陷结合在一起,就导致了大的DeFi应用因为性能和安全性而很少使用这些索引协议,这个市场有着巨大的空缺.
d)ZK解决智能合约索引协议问题
ZK其实是个非常好的解决方案,任何的Optimistic机制的问题都可以通过转为ZK来解决,比如Rollup这个最显著的领域.
ZK化之后的索引协议兼具了中心化和去中心化协议的所有优点,包括高可用性和抗审查(多个节点保证uptime),性能极佳(因为ZK的存在所以可以选用中心化高性能节点),安全性(ZK的数学密码学很好地保证安全性)
Terraform Labs首席执行官正在起诉SEC:10月23日消息,Terraform Labs首席执行官Do Kwon正在起诉美国证券交易委员会(SEC)。Terra的建设者证实,Do Kwon上个月在Messari的Mainnet会议上收到了美国证券交易委员会的传票。文件显示,此事可以追溯到2021年5月,当时美国证券交易委员会的执法部门向Kwon发送了电子邮件。有争议的是Terra的Mirror,在该平台上铸造和交易反映美国主要公司价格的合成股票。
Terraform对SEC提起的诉讼是不寻常的,但根据Anderson Kill的律师Stephen Palley的说法,在这种情况下,先发制人的法律行动可能是有意义的,这提醒监管机构,他们也需要遵守参与规则。(Coindesk)[2021/10/23 20:50:35]
对于一个索引协议来说,ZK的方案:
不需要EVM兼容性.
注重整体性能,需要保证VerifiableQuery的速率.
TheGraph自己也意识到了自己的机制安全性的不足,正在琢磨Shellproof.
但是我认为TheGraph目前的研究和开发进度还是慢,不知道Shellproofs是否能支持全部subgraph的运行.而且TheGraph已经在现有的机制上花了这么多功夫,去替换这个机制的难度甚至比重新建立一套还要高.
一个真正实现了zk化的TheGraph的应用可以构建出新的应用与开发范式:
任何DeFi应用都可以信任这个索引协议的数据,大大简化了开发流程.
多链应用可以同时可信使用多链和多协议的数据,用户体验上会得到巨大提升(StandardizedSubgraph).
通过这样的思路,我们可以理解zk化的TheGraph实际上是一个去中心化RPC,这远比TheGraph的叙事宏大,而是真正能实现Infura所在追求的去中心化.
2.Web3KeeperNetwork
在之前Crypto-Native应用架构的文章中,我们提到过Keeper.
它本质上就是,一个链下定时器到了特定时间就触发智能合约的某个功能,类似:
Linux里的CronJob
WebAPI(不是JS)里的setTimeout和setInterval
它的用处具体包括:
链上预言机价格更新(之前提到的UniswapV2TWAP)
交易,投票,清算机器人
自动化挖提卖
然而,和我们之前提到的TheGraph类似,它的安全性机制是很落后的,甚至还不是TheGraph这样的链上治理,而是链下通过DAO和SocialConsensus的举报机制人工检举揭发非法节点.比如下图中,Gelato的架构图,整体功能很清晰,但每个组件都没有体现出有任何安全性的保证.
以两个典型的KeeperNetwork为例,它们的安全性机制是:
Gelato:目前的Keeper服务执行节点不是Permissionless的,而是在白名单上的节点才可以参与.Gelato预计在未来去中心化之后,通过StakeandSlash机制和DAO来保证网络安全性.但是去通过DAO来惩罚一个非法节点需要一周,这样缓慢的决策对一个需要高频运转的服务来说,我认为是完全没法接受的.
Keep3rNetwork:和Gelato类似,也是Watcher监督,发现非法行为则举报给DAO.但机制阐述得更加详细,虽然依旧是很差的机制,需要大量的人工交流和漫长的步骤.
就像我们刚才提到的Indexing协议一样,Keeper也完全可以通过zk化来解决安全性的问题,同时甚至可以Gelato的off-chainresolver也是用GraphQL定义的一个subgraph,但和TheGraph没有安全性保证.这两个问题就可以被一起解决了.
这样一个带可信off-chainresolver的zk化Keeper可以解锁无数新的应用场景:
复杂策略的交易机器人
跨Cluster/跨链/跨区块/跨DEX的套利/做市机器人
ProgrammableLiquidity(调整区间,JIT,复投,Rebalance)
3.Crypto-NativeZKInfra
在zkEVM和通用zkVM的最底层infra成熟的过程中,我们已经可以尝试去基于和使用它们来建立开发者可以直接使用的infra,包括我们构想中的这些zk化中间件.
ZK作为一个典型方案,是像AMM一样的创新驱动重要因素.ZK和AMM分别解锁了比Optimistic和OrderBook机制更自动化和更可信的应用运转,让安全性在链上完全透明公开可验证,同时也分别解锁了证明外包和Swap聚合器的额外赛道,解锁了无数新的应用.
除了扩容/跨链轻节点/隐私/机器学习以外,ZK作为完全适合区块链场景(网络全体做验证,极其自动化,甚至比网络共识更强的安全性)的密码学方案,在Indexing协议与Keeper网络这些中间件赛道中也大有可为.我们也将持续关注ZK在更多领域中的应用.
关于ForesightVentures
ForesightVentures押注加密货币未来几十年的创新历程,旗下管理多支基金:VC基金、二级主动管理基金、多策略FOF、特殊目的S基金「ForesightSecondaryFundl」,总资产管理规模超过4亿美元。ForesightVentures坚持“Unique,Independent,Aggressive,Long-term”的理念,通过强大的生态力量为项目提供广泛的支持。其团队来自包括红杉中国,中金公司,谷歌,比特大陆等顶级金融和技术公司的资深人士。
Website:?https://www.foresightventures.com/
Twitter:?https://twitter.com/ForesightVen
Medium:https://medium.com/@foresightventures-zh
Substack:https://foresightventures.substack.com
Discord:https://discord.com/invite/maEG3hRdE3
Linktree:https://linktr.ee/foresightventures
RelatedLinks
1a:
https://youtu.be/L2Cb_BljErY?t=20215
https://github.com/timoth-y/zk-SQL
1b:
https://levelup.gitconnected.com/comparing-api-architectural-styles-soap-vs-rest-vs-graphql-vs-rpc-84a3720adefa
https://medium.com/graphprotocol/graphql-will-power-the-decentralized-web-d7443a69c69a
https://www.youtube.com/watch?v=NFw0HznpLlM
https://twitter.com/graphprotocol/status/1580218576933253121/photo/1
https://github.com/ConsenSys/ethql
https://medium.com/dsys/ethereum-meet-graphql-c28f3402fe8f
https://github.com/hananbeer/sqlidity
https://www.youtube.com/watch?v=dh-Dj7otGy0
1c:
https://ercwl.medium.com/whats-wrong-with-the-chainlink-2-0-whitepaper-for-simpletons-d50f27049464
1d:
https://www.youtube.com/watch?v=B2X7D-hxVtQ
标签:GRAPAPHRAPGraphethnographyasamethodusedethnographyofspeakingWrapped StarHyperGraph
简单来说 PancakeSwap是CoinmMarketCap趋势列表中的顶级加密货币之一。尽管价格小幅上涨,但DEXTVL和市值保持平稳。CAKE价格为4.53美元,在撰写本文时仅上涨0.51%.
1900/1/1 0:00:00元宇宙会让死亡成为现实。好吧......可能容易被误解。我的意思是,让我们在加密游戏中引入死亡的概念,就好像在现实生活中一样,死了,就是死了。但跟现实真的死亡又有所不同,游戏中的永久性死亡会开启新的体验和游戏方式.
1900/1/1 0:00:00:content-type-MARKDOWN-DONOT-DELETE!(https://gimg2.gateimg.com/image/1666791399406026974BWBkeynote-HanLin.
1900/1/1 0:00:00尊敬的用戶:KTO錢包維護已完成,Hotcoin現已恢復KTO的充值、提現業務。對您造成的不便深表歉意!感謝您對Hotcoin的支持與信任!HotcoinGlobal2022年10月26日Hotcoin社群中文電報群:https://.
1900/1/1 0:00:00转让的SHIB代币的近似价值为3577万美元。柴犬的价格在过去24小时内上涨了5%以上。经过一段时间的下滑后,整个加密货币市场正在好转,这已经反映在最流行的meme硬币的价格上,例如Dogecoin和ShibaInu.
1900/1/1 0:00:00尊敬的用戶:為幫助廣泛跟單用戶更好地了解實盤跟單和量化跟單,平台將定期展示每週的實盤跟單交易員數據以及量化跟單策略數據.
1900/1/1 0:00:00