四大跨链多链2022年大头戏:Dot Atom Avas near
第一个 - DOT 嗯,我知道大家可能会说上面全是国人项目,插槽拍卖就是当年的超级节点竞选,这就是下一个EOS,Blah Blah Blah……币价也完全跑不赢人家SOL,AVAX这些 然而那些都是情绪和市场方面,把时间线拉长,从区块链演进和技术层面,我依旧非常看好DOT 有这么几个理由 1. 底层逻辑的更加抽象化 - 大多数目前的新L1与ETH的L2,他们的本质都是 - 一个更快的ETH DOT不是 DOT是一个更加“抽象”的ETH 这种抽象,在BTC到ETH发生过 - 从一个“点对点现金系统” - 一个只为支付服务的区块链抽象出智能合约,可以在ETH上除支付以外做到更多的事,比如借贷,游戏 简单来说就是单就功能性而讲,BTC能做的ETH基本都可以做,但反过来则不成立 DOT则是对ETH智能合约的再一次抽象,在DOT上面你可以搭一条类似ETH的链,也可以搭一条有多个原生代币的链,甚至,可以搭一条没有Gas,没有账号系统的非智能合约链 换句话说,ETH能做的DOT基本都可以做,但反过来则不成立 当然,DOT对ETH的抽象,比不上ETH对BTC的抽象“层级”高,ETH对BTC算一整...
链上指标总结
指标1:比特币:非流动性供应冲击(#Bitcoin: Illiquid Supply Shock Ratio) 市场上有多少筹码可供交易,不取决于市场上有多少人愿意积极的买,而是有多少人愿意囤住。因为总量是相 对有限的(矿工虽然在挖,总量在增长,但当前矿工的 囤积意愿是很高的) ,因此,市场中有多少筹码,取决 于以前拿住筹码的那帮人愿不愿意把筹码抛出来(可交易筹码=总量-不可交易筹码)。 不可交易筹码-illiquid supply。如果这个数值一直是增长的,说明供需两端的 供应在持续缩收。目前看,这个趋势没有变。 其次,就是需求。因为接近年底,有很多机构有做表的 需求,税收、资金回笼、等等,所以这个时间点通常不 能作为判断需求是否旺盛的时间段,我们需要把时间再 拉长一一些。今年以来,机构的需求是持续增加的,小到 私募基金,然后公募、企业、信托、上市公司、 险资, 投行,理财公司,大到主权基金、国家,都对btc有旺盛 的需求。我相信这一需求不是短暂的, 而是持续的,中 间会有波动,但通常不会突然逆转。 以上是我对现在大饼供需失衡的状态的看法。指标2:Futures Open in...
江卓尔:年底是否还会按历史周期见顶?
一、上下波动50%,那叫横盘目前情况,并没有超出之前这两篇文章的范畴: 5月30日《我们正处于一轮非典型性牛市中》 7月29日《超放水时代不支持深熊》 现在还是在上涨周期中,涨了正常跌一波, BTC都还在5万多,不知道有什么好鬼哭狼嚎的, BTC本周期涨22倍(3156到69000), ETH本周期涨60倍(81到4868), 在币圈几十倍的涨跌面前, 上下波动50%,那叫横盘, 长期来看,都是一条直线。二、年底还会见顶吗?对于年底见顶这事,倒是可以聊聊。 之前我的周期预测,是2022年1月23日见顶。在7月29日的《超放水时代不支持深熊》中, 我预言后面剧本是:2013年双头牛市 但11月再破前高后, 并没有像2013年双顶牛市突破前高后直线拉升。 但本轮牛市,依然是新人新资金牛市, 新人牛市死亡的前提条件是: “60日累计涨幅” 太高, 中间的曲折(哪怕是94,519这种级别的外力打击), 都只会延长牛市的持续时间和涨幅倍数,不会终结牛市。 (60日累计涨幅指标,可在 链数查 查看) 目前没有这个牛市末期涨幅,即将出现的迹象, 因此可能不是年底见顶了,可能会更久。 我最近的感...
hold eth future
四大跨链多链2022年大头戏:Dot Atom Avas near
第一个 - DOT 嗯,我知道大家可能会说上面全是国人项目,插槽拍卖就是当年的超级节点竞选,这就是下一个EOS,Blah Blah Blah……币价也完全跑不赢人家SOL,AVAX这些 然而那些都是情绪和市场方面,把时间线拉长,从区块链演进和技术层面,我依旧非常看好DOT 有这么几个理由 1. 底层逻辑的更加抽象化 - 大多数目前的新L1与ETH的L2,他们的本质都是 - 一个更快的ETH DOT不是 DOT是一个更加“抽象”的ETH 这种抽象,在BTC到ETH发生过 - 从一个“点对点现金系统” - 一个只为支付服务的区块链抽象出智能合约,可以在ETH上除支付以外做到更多的事,比如借贷,游戏 简单来说就是单就功能性而讲,BTC能做的ETH基本都可以做,但反过来则不成立 DOT则是对ETH智能合约的再一次抽象,在DOT上面你可以搭一条类似ETH的链,也可以搭一条有多个原生代币的链,甚至,可以搭一条没有Gas,没有账号系统的非智能合约链 换句话说,ETH能做的DOT基本都可以做,但反过来则不成立 当然,DOT对ETH的抽象,比不上ETH对BTC的抽象“层级”高,ETH对BTC算一整...
链上指标总结
指标1:比特币:非流动性供应冲击(#Bitcoin: Illiquid Supply Shock Ratio) 市场上有多少筹码可供交易,不取决于市场上有多少人愿意积极的买,而是有多少人愿意囤住。因为总量是相 对有限的(矿工虽然在挖,总量在增长,但当前矿工的 囤积意愿是很高的) ,因此,市场中有多少筹码,取决 于以前拿住筹码的那帮人愿不愿意把筹码抛出来(可交易筹码=总量-不可交易筹码)。 不可交易筹码-illiquid supply。如果这个数值一直是增长的,说明供需两端的 供应在持续缩收。目前看,这个趋势没有变。 其次,就是需求。因为接近年底,有很多机构有做表的 需求,税收、资金回笼、等等,所以这个时间点通常不 能作为判断需求是否旺盛的时间段,我们需要把时间再 拉长一一些。今年以来,机构的需求是持续增加的,小到 私募基金,然后公募、企业、信托、上市公司、 险资, 投行,理财公司,大到主权基金、国家,都对btc有旺盛 的需求。我相信这一需求不是短暂的, 而是持续的,中 间会有波动,但通常不会突然逆转。 以上是我对现在大饼供需失衡的状态的看法。指标2:Futures Open in...
江卓尔:年底是否还会按历史周期见顶?
一、上下波动50%,那叫横盘目前情况,并没有超出之前这两篇文章的范畴: 5月30日《我们正处于一轮非典型性牛市中》 7月29日《超放水时代不支持深熊》 现在还是在上涨周期中,涨了正常跌一波, BTC都还在5万多,不知道有什么好鬼哭狼嚎的, BTC本周期涨22倍(3156到69000), ETH本周期涨60倍(81到4868), 在币圈几十倍的涨跌面前, 上下波动50%,那叫横盘, 长期来看,都是一条直线。二、年底还会见顶吗?对于年底见顶这事,倒是可以聊聊。 之前我的周期预测,是2022年1月23日见顶。在7月29日的《超放水时代不支持深熊》中, 我预言后面剧本是:2013年双头牛市 但11月再破前高后, 并没有像2013年双顶牛市突破前高后直线拉升。 但本轮牛市,依然是新人新资金牛市, 新人牛市死亡的前提条件是: “60日累计涨幅” 太高, 中间的曲折(哪怕是94,519这种级别的外力打击), 都只会延长牛市的持续时间和涨幅倍数,不会终结牛市。 (60日累计涨幅指标,可在 链数查 查看) 目前没有这个牛市末期涨幅,即将出现的迹象, 因此可能不是年底见顶了,可能会更久。 我最近的感...
hold eth future
Subscribe to Forest Li
Subscribe to Forest Li
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
近来,我们在国外社区看到越来越多关于 ZKP (零知识证明)的讨论。无论是 Aztec 的新一轮融资,还是以 Polygon 为代表的以太坊二层网络的进展,都让 ZK 受到了极大的关注。但在国内,ZK 技术尚没有得到大规模的讨论,这其中原因不乏通俗易懂科普资料的匮乏。而作者,作为 ZK 的爱好者和初学者,试图通过系统的资料归纳和学习定期为大家奉献一系列的科普文章,让大家对于 ZK 有更全面的理解。本文为 ZK 科普系列第一篇:《什么是零知识证明?》
零知识证明(Zero-knowledge proofs,以下简称 ZKP)
零知识证明的想法最初是在1980年的一份学术论文中——《交互性证明系统的知识复杂度》中被提出。论文中提到:证明者可以在不披露信息本身的情况下向验证者证实信息的真实性。
从更技术的角度说,ZKP 是证明者与验证者两方之间的一个协议,证明者可以在不透露证明本身之外任何信息的前提下,让验证者确认某项证明是有效的。这是证明的“零知识”部分——没有知识或信息可以支持这条证明,除了证明本身。这听起来毫无道理,也似乎是不可能的。正是如此,这些技术才更加重要。
经常拿来解释 ZKP 的例子是一个名叫《寻找 Waldo》的游戏。证明者如何利用零知识来向验证者证明他知道 Waldo 在图中的哪个地方。一般的情况来说,证明者只需要在图上指出 Waldo 的位置即可,或者说 Waldo 在红白条纹的帐篷旁边,这样通过提供知识来向验证者证明他确实知道 Waldo 在哪儿。
但是如果用零知识的方法,证明者需要拿出一张纸,在中间剪个洞,并将洞放在 Waldo 上面来展示给验证者。这样,验证者可以看到 Waldo,知道证明者说的是真的,而且过程中也没有任何知识/信息的泄露。
这个例子可以很好地解释零知识证明,因为验证者可以询问 “Waldo 在哪儿”,证明者通过一张带洞的纸来证明了他知道 Waldo (只有 Waldo 自己)的位置。证明本身就是事实的证据。
如果验证者问的是“Waldo 在哪儿”,而证明者指出的是一艘小船,验证者只通过证明本身就知道证明者在撒谎。
从结构上来说,ZKP 有三个主要部分:
完整性 如果证明者说的是真的,验证者不需要额外的信息就可以得出结论;
比如:通过指出 Waldo 自己的位置,验证者立即可以验证证明者确实知道 Waldo 在哪里,不需要其它额外的信息。
可靠性 如果证明者的说法是错误的,验证者绝不可能认为是真的;
如果证明者指出的不是 Waldo 而是其它内容,验证者便知道这不是 Waldo。
零知识 证明者没有提供除了证明本身外的任何其它知识;
只用一张带洞的纸指出了 Wlado ,没有其它任何语言等暗示。
作为读者,你可能会想:故事不错,但是 ZKP 有什么现实意义呢?
有两个非常重要的方向:
隐私性——ZKP 做到了信息的隐私性。在交易中,你需要能证明你拥有某种未花费的资产,但是不想暴露资产的整个来源去向,可解决比特币等区块链平台中交易透明性带来的信息泄露,如转账地址和金额;
可拓展性——若某个区块直接验证的时间很长,可改为由一人验证并生成证明,而网络中的其它人快速验证该证明,而不再需要每个人都花很长时间来直接验证;
从上面的例子来看:
证明者只指出了 Waldo,而没有展示其它任何信息。因此关于 Waldo 具体位置的信息是隐私的;
对于验证者来说,通过带洞的剪纸看到 Waldo 比坐着听证明者试图用语言描述 Waldo 在图片中的哪个位置可以更快地进行验证。而这样,为了让验证者更快速地进行验证,证明者需要在执行过程中做更多的工作;
ZKP 本身非常复杂,这种简化的举例说明可以让大家对于 ZKP 的基础有个大概的了解。
ZKP 主要有两种类型:zkSNARK 和 zkSTARK
zkSNARK 的概念最早于 2013年被学者提出。SNARK 分别是以下几个字母的首字母缩写。
Succinct (简洁)
Non-Interactive (非交互)
ARgument (论证)
of Knowledge (知识)
ZKP 是“简洁的”——即便在数据量很大的情况下,也可以快讯进行验证(几毫秒),验证长度只有几百字节。这意味着,验证时间不会随着运算吞吐量而成倍增长(因此可以用来扩容)。
在最初的零知识证明中,证明者和验证者为了建立可信度,可能需要多次交互。这样产生的问题是,交互越多,效率越低,会进而减慢 ZKP 的速度并影响可拓展性。而在非交互式 ZKP 中,证明只是从证明者到验证者的单条信息,这让整个过程变得更加高效。在实践中,可以生成非交互式且足够短到向区块链发布的、最高效的零知识证明方法是从 SNARK 设置之初(也就是“初始设置阶段 initial setup phase”)就在证明者和验证者之间创造一个公共参考字符串。从技术上讲复杂度很高,但这样也许可以帮助理解:
交易依靠 zkSNARK 的公共参数来在区块链上进行 ZKP 的构建和验证。公共参数的生成可以理解为创建一个公共/私密钥匙串(就像你创建一个 MetaMask 账户,获得你的地址——公钥,和助记词——私钥)。但问题是设置 SNARK 的个人是知晓私钥的(可信设置),有私钥就有滥用系统的可能性,因此为了保证 SNARK 的安全性,私钥必须要被有效破坏掉。
2017年,Zcash 成为首个使用 zkSNARK 的加密货币项目。在一场非常引人注目的仪式上,Zcash 销毁了私钥。zkSNARK 需要确保私钥不被任何人所知,这也被认为是其最主要的安全风险。
zkSNARK 是 ZKP 的一种形式。zkSNARK 很简洁,可以被快速验证,验证时间不会随验证计算量的增长而线形增加。zkSNARK 是非交互式的,证明者和验证者之间少有交互,因此也更高效。可信设置是必须的,但是可能存在安全风险。
zkSTARK 技术2018年在一份学术论文中被提出。论文作者随后创建了 StarkWare。zkSTARK 构建于 zkSANRK 之上,并试图对其进行改进:
STARK 是以下几个首字母的缩写:
Scalable (可拓展)
Transparent(透明)
ARgument(论证)
of Knowledge(知识)
STARK 的目标是比 SNARK 更具可拓展性,STARK 的 “S” 是可扩展性。这种可拓展性被 STARK 的创造者之一 Eli Ben-Sasson 形容为“full scalability”,主要包括两部分:
随着 STARK 中转账数量的增加,验证速度相比执行速度呈指数型增长;
Prover 复杂度是拟线性的 (Quasi-linear),随着 STARK 扩展性提高,STARK 的证明复杂度并没有相应增加;
为了解决 zkSNARK 中存在的可信设置问题,zkSTARK 使用可公开验证的随机数来产生 STARK。这也是 STARK 中 “Transparent”(透明)的部分。
zkSTARK 相比于 zkSANRK 的第三个改进是“抗量子计算”,意味着其并不会被量子计算破解。当然,这些改进同时也伴随着牺牲。相比于 SNARK,STARK 更加复杂,proof size 更大,而且消耗的以太坊验证手续费也更高。
总结一下,SNARK 是首个被成功应用于主流加密货币项目(Zcash)的 ZKP 技术。SNARK 是非常领先的密码学技术,但是可信设置有一定的安全风险。STARK 构建于 SNARK 基础之上,解决了可信设置的问题,创造了一种更具可拓展性的 ZKP,也因此更加复杂,需要更大的 prove size 和更高的 gas 费用。
其实我们无需夸大 SNARK 和 STARK 之间的区别,也无需在二者之间非要分出高低。无论人们选择构建 SNARK 还是 STARK,我们都期待会有有越来越多的人看到 ZKP 的价值。
近来,我们在国外社区看到越来越多关于 ZKP (零知识证明)的讨论。无论是 Aztec 的新一轮融资,还是以 Polygon 为代表的以太坊二层网络的进展,都让 ZK 受到了极大的关注。但在国内,ZK 技术尚没有得到大规模的讨论,这其中原因不乏通俗易懂科普资料的匮乏。而作者,作为 ZK 的爱好者和初学者,试图通过系统的资料归纳和学习定期为大家奉献一系列的科普文章,让大家对于 ZK 有更全面的理解。本文为 ZK 科普系列第一篇:《什么是零知识证明?》
零知识证明(Zero-knowledge proofs,以下简称 ZKP)
零知识证明的想法最初是在1980年的一份学术论文中——《交互性证明系统的知识复杂度》中被提出。论文中提到:证明者可以在不披露信息本身的情况下向验证者证实信息的真实性。
从更技术的角度说,ZKP 是证明者与验证者两方之间的一个协议,证明者可以在不透露证明本身之外任何信息的前提下,让验证者确认某项证明是有效的。这是证明的“零知识”部分——没有知识或信息可以支持这条证明,除了证明本身。这听起来毫无道理,也似乎是不可能的。正是如此,这些技术才更加重要。
经常拿来解释 ZKP 的例子是一个名叫《寻找 Waldo》的游戏。证明者如何利用零知识来向验证者证明他知道 Waldo 在图中的哪个地方。一般的情况来说,证明者只需要在图上指出 Waldo 的位置即可,或者说 Waldo 在红白条纹的帐篷旁边,这样通过提供知识来向验证者证明他确实知道 Waldo 在哪儿。
但是如果用零知识的方法,证明者需要拿出一张纸,在中间剪个洞,并将洞放在 Waldo 上面来展示给验证者。这样,验证者可以看到 Waldo,知道证明者说的是真的,而且过程中也没有任何知识/信息的泄露。
这个例子可以很好地解释零知识证明,因为验证者可以询问 “Waldo 在哪儿”,证明者通过一张带洞的纸来证明了他知道 Waldo (只有 Waldo 自己)的位置。证明本身就是事实的证据。
如果验证者问的是“Waldo 在哪儿”,而证明者指出的是一艘小船,验证者只通过证明本身就知道证明者在撒谎。
从结构上来说,ZKP 有三个主要部分:
完整性 如果证明者说的是真的,验证者不需要额外的信息就可以得出结论;
比如:通过指出 Waldo 自己的位置,验证者立即可以验证证明者确实知道 Waldo 在哪里,不需要其它额外的信息。
可靠性 如果证明者的说法是错误的,验证者绝不可能认为是真的;
如果证明者指出的不是 Waldo 而是其它内容,验证者便知道这不是 Waldo。
零知识 证明者没有提供除了证明本身外的任何其它知识;
只用一张带洞的纸指出了 Wlado ,没有其它任何语言等暗示。
作为读者,你可能会想:故事不错,但是 ZKP 有什么现实意义呢?
有两个非常重要的方向:
隐私性——ZKP 做到了信息的隐私性。在交易中,你需要能证明你拥有某种未花费的资产,但是不想暴露资产的整个来源去向,可解决比特币等区块链平台中交易透明性带来的信息泄露,如转账地址和金额;
可拓展性——若某个区块直接验证的时间很长,可改为由一人验证并生成证明,而网络中的其它人快速验证该证明,而不再需要每个人都花很长时间来直接验证;
从上面的例子来看:
证明者只指出了 Waldo,而没有展示其它任何信息。因此关于 Waldo 具体位置的信息是隐私的;
对于验证者来说,通过带洞的剪纸看到 Waldo 比坐着听证明者试图用语言描述 Waldo 在图片中的哪个位置可以更快地进行验证。而这样,为了让验证者更快速地进行验证,证明者需要在执行过程中做更多的工作;
ZKP 本身非常复杂,这种简化的举例说明可以让大家对于 ZKP 的基础有个大概的了解。
ZKP 主要有两种类型:zkSNARK 和 zkSTARK
zkSNARK 的概念最早于 2013年被学者提出。SNARK 分别是以下几个字母的首字母缩写。
Succinct (简洁)
Non-Interactive (非交互)
ARgument (论证)
of Knowledge (知识)
ZKP 是“简洁的”——即便在数据量很大的情况下,也可以快讯进行验证(几毫秒),验证长度只有几百字节。这意味着,验证时间不会随着运算吞吐量而成倍增长(因此可以用来扩容)。
在最初的零知识证明中,证明者和验证者为了建立可信度,可能需要多次交互。这样产生的问题是,交互越多,效率越低,会进而减慢 ZKP 的速度并影响可拓展性。而在非交互式 ZKP 中,证明只是从证明者到验证者的单条信息,这让整个过程变得更加高效。在实践中,可以生成非交互式且足够短到向区块链发布的、最高效的零知识证明方法是从 SNARK 设置之初(也就是“初始设置阶段 initial setup phase”)就在证明者和验证者之间创造一个公共参考字符串。从技术上讲复杂度很高,但这样也许可以帮助理解:
交易依靠 zkSNARK 的公共参数来在区块链上进行 ZKP 的构建和验证。公共参数的生成可以理解为创建一个公共/私密钥匙串(就像你创建一个 MetaMask 账户,获得你的地址——公钥,和助记词——私钥)。但问题是设置 SNARK 的个人是知晓私钥的(可信设置),有私钥就有滥用系统的可能性,因此为了保证 SNARK 的安全性,私钥必须要被有效破坏掉。
2017年,Zcash 成为首个使用 zkSNARK 的加密货币项目。在一场非常引人注目的仪式上,Zcash 销毁了私钥。zkSNARK 需要确保私钥不被任何人所知,这也被认为是其最主要的安全风险。
zkSNARK 是 ZKP 的一种形式。zkSNARK 很简洁,可以被快速验证,验证时间不会随验证计算量的增长而线形增加。zkSNARK 是非交互式的,证明者和验证者之间少有交互,因此也更高效。可信设置是必须的,但是可能存在安全风险。
zkSTARK 技术2018年在一份学术论文中被提出。论文作者随后创建了 StarkWare。zkSTARK 构建于 zkSANRK 之上,并试图对其进行改进:
STARK 是以下几个首字母的缩写:
Scalable (可拓展)
Transparent(透明)
ARgument(论证)
of Knowledge(知识)
STARK 的目标是比 SNARK 更具可拓展性,STARK 的 “S” 是可扩展性。这种可拓展性被 STARK 的创造者之一 Eli Ben-Sasson 形容为“full scalability”,主要包括两部分:
随着 STARK 中转账数量的增加,验证速度相比执行速度呈指数型增长;
Prover 复杂度是拟线性的 (Quasi-linear),随着 STARK 扩展性提高,STARK 的证明复杂度并没有相应增加;
为了解决 zkSNARK 中存在的可信设置问题,zkSTARK 使用可公开验证的随机数来产生 STARK。这也是 STARK 中 “Transparent”(透明)的部分。
zkSTARK 相比于 zkSANRK 的第三个改进是“抗量子计算”,意味着其并不会被量子计算破解。当然,这些改进同时也伴随着牺牲。相比于 SNARK,STARK 更加复杂,proof size 更大,而且消耗的以太坊验证手续费也更高。
总结一下,SNARK 是首个被成功应用于主流加密货币项目(Zcash)的 ZKP 技术。SNARK 是非常领先的密码学技术,但是可信设置有一定的安全风险。STARK 构建于 SNARK 基础之上,解决了可信设置的问题,创造了一种更具可拓展性的 ZKP,也因此更加复杂,需要更大的 prove size 和更高的 gas 费用。
其实我们无需夸大 SNARK 和 STARK 之间的区别,也无需在二者之间非要分出高低。无论人们选择构建 SNARK 还是 STARK,我们都期待会有有越来越多的人看到 ZKP 的价值。
No activity yet