Subscribe to fomo2day
Subscribe to fomo2day
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
Fomo2day即刻主页：fomo2day 👸🏻产业区块链在逃公主👸
Fomo2day Twitter主页：@fomo2day
今天用非技术语言来浅浅解读下zkrollup、zk-SNARKs、zk-STARK这些复杂的名词。
以太坊又慢又贵已经吐槽了好几年，不妨碍它依然是最受欢迎的公链，扩容是必然的，所以出现了一批layer2（L2），技术方案包括状态通道、侧链、Plasma、Rollups。Rollups被认为是最有前景的。
Rollups主要是在特定的链上处理交易，然后再将交易批量压缩到以太坊主网上，减轻以太坊网络压力。Rollups又分两个技术路线：ZK Rollups和Optimistic Rollup。Optimistic如其名，乐观地假定发送到以太坊的数据都是真实的，如果发现无效，则处罚加回滚。ZK Rollups则采用“零知识证明zero knowledge”，安全性更高，也更快。
再说到零知识证明ZK，又分“交互式”和“非交互式”。先用一个例子解释交互式ZK：
强盗（验证者）抓住了阿里巴巴（证明者），要求他用咒语打开金库。阿里巴巴不想让强盗听到咒语，则要求他站到10米以外，并约定当强盗举左手时，阿里巴巴用咒语打开金库；举右手时，则关闭金库。强盗反复多次测试，发现每一次阿里巴巴都能如约定打开or关上金库，就算是碰巧那也机率太小了吧！因此可以认定阿里巴巴是掌握咒语的。
因为交互式ZK需要验证者、证明者之间不断的互动才能最终证明，效率太低了，所以有了非交互式ZK，就是不需要，或者需要极少的互动就可以证明。其实ZK这个概念19世纪80年代就有了，主打保护隐私，只是一直不温不火吧，直到遇到了区块链，擦出了火花，变成了
Fomo2day即刻主页：fomo2day 👸🏻产业区块链在逃公主👸
Fomo2day Twitter主页：@fomo2day
今天用非技术语言来浅浅解读下zkrollup、zk-SNARKs、zk-STARK这些复杂的名词。
以太坊又慢又贵已经吐槽了好几年，不妨碍它依然是最受欢迎的公链，扩容是必然的，所以出现了一批layer2（L2），技术方案包括状态通道、侧链、Plasma、Rollups。Rollups被认为是最有前景的。
Rollups主要是在特定的链上处理交易，然后再将交易批量压缩到以太坊主网上，减轻以太坊网络压力。Rollups又分两个技术路线：ZK Rollups和Optimistic Rollup。Optimistic如其名，乐观地假定发送到以太坊的数据都是真实的，如果发现无效，则处罚加回滚。ZK Rollups则采用“零知识证明zero knowledge”，安全性更高，也更快。
再说到零知识证明ZK，又分“交互式”和“非交互式”。先用一个例子解释交互式ZK：
强盗（验证者）抓住了阿里巴巴（证明者），要求他用咒语打开金库。阿里巴巴不想让强盗听到咒语，则要求他站到10米以外，并约定当强盗举左手时，阿里巴巴用咒语打开金库；举右手时，则关闭金库。强盗反复多次测试，发现每一次阿里巴巴都能如约定打开or关上金库，就算是碰巧那也机率太小了吧！因此可以认定阿里巴巴是掌握咒语的。
因为交互式ZK需要验证者、证明者之间不断的互动才能最终证明，效率太低了，所以有了非交互式ZK，就是不需要，或者需要极少的互动就可以证明。其实ZK这个概念19世纪80年代就有了，主打保护隐私，只是一直不温不火吧，直到遇到了区块链，擦出了火花，变成了
zk-SNARKs采用的是非交互式零知识证明，因为区块链是去中心化的，如果依赖单一节点充当验证者，和证明者反复互动，不仅慢，也太中心化了。因此，证明者要在没有互动的情况下“自证清白”，密码学解释起来过于复杂，可以打个比方，就像拿到一个数学等式去求解📖，证明者自己生成了一列随机数，他需要把随机数放到数学等式中去逐个求解，最终输出答案集，如果他正确执行了，则全网所有的矿工都可充当验证者，认为他通过了证明。
SNARK分别代表着：Succinct：信息简明；Non-interactibity：非交互的；Arguments：证明者无法在短时间内造出伪证；of knowledge：不知情则无法构建证据。目前大部分ZK Rollups都是采用的zk-SNARKs协议。
然后Starkware就横空出世了，创新的提出了优化版的zk-STARKs（Scalable Transparent Argument of Knowledge），从英文就能看出区别，相比zk-SNARKs，zk-STARKs更具有可拓展性，在大量的数据验证面前速度更快，且交易处理成本也降低，深受Defi产品们的喜欢。
Starkware最新一轮估值80亿美金了，dYdX和Immutable X都使用了StarkEx，是Starkware推出的saas服务，每一笔交易都会用到zk-STARKs的技术生成证明传到链上。同时它也推出了自己的公链Starknet。前途无可限量了。
zk-SNARKs采用的是非交互式零知识证明，因为区块链是去中心化的，如果依赖单一节点充当验证者，和证明者反复互动，不仅慢，也太中心化了。因此，证明者要在没有互动的情况下“自证清白”，密码学解释起来过于复杂，可以打个比方，就像拿到一个数学等式去求解📖，证明者自己生成了一列随机数，他需要把随机数放到数学等式中去逐个求解，最终输出答案集，如果他正确执行了，则全网所有的矿工都可充当验证者，认为他通过了证明。
SNARK分别代表着：Succinct：信息简明；Non-interactibity：非交互的；Arguments：证明者无法在短时间内造出伪证；of knowledge：不知情则无法构建证据。目前大部分ZK Rollups都是采用的zk-SNARKs协议。
然后Starkware就横空出世了，创新的提出了优化版的zk-STARKs（Scalable Transparent Argument of Knowledge），从英文就能看出区别，相比zk-SNARKs，zk-STARKs更具有可拓展性，在大量的数据验证面前速度更快，且交易处理成本也降低，深受Defi产品们的喜欢。
Starkware最新一轮估值80亿美金了，dYdX和Immutable X都使用了StarkEx，是Starkware推出的saas服务，每一笔交易都会用到zk-STARKs的技术生成证明传到链上。同时它也推出了自己的公链Starknet。前途无可限量了。
No activity yet