据以太坊联合独创人vitalik默示，隐私和谈团队Aztec正在研发ZK-ZK rollup规划，以在以太坊主网上完成每秒数百笔的隐私买卖，同时可升高每笔隐私买卖的成本。
啥是ZK² Rollup
Aztec团队正在为PLONK证明举行ZK-ZK Rollup的研发事变，以削减在以太坊主网长举行隐私买卖的gas成本。
传统的ZK Rollup行使了SNARKs的“轻便性”属性来扩张民众区块链，这类技能准许将大量买卖“汇总”为一笔聚合买卖，因而以太坊可以或许一次执行100笔或1000笔买卖，而所斲丧的gas成本就相当于一笔以太坊买卖的花费。
所以ZK-SNARKs也可所以一种用于扩容的焦点器材，其他，我们已经熟习到用户可运用ZK-SNARKs来呵护隐私。那两者可以或许同时兼得吗？
答案是：“yes”。
Aztec而今正在积极陈列ZK-ZK Rollup，或简称ZK²，因为它包孕了两层或多层SNARKs： “低层”ZK-SNARKs每个都代表了一笔隐私买卖； “基层”ZK-SNARKs（即Rollup SNARK），则轻便地证明了低层SNARK的准确性； 留心：这个术语有点毛糙，因为实际上不需求将“基层”汇总为ZK（零知识），一旦创立了“低层”SNARKs（隐私买卖），这些买卖的隐私就失去了担保。现实上，Rollup只寄托于缩写“SNARK”中的“S”属性，意义就是“轻便”。我们需求花费振奋的成原先查抄隐私买卖，并用一个轻便的rollup证明来替代它们，尔后它的成本就会摊派给全体的买卖。
100笔买卖“汇总”到单个SNARK证明
Aztec很快就会准许你在以太坊主网上以100 tps的速度发送隐私买卖，这同时兼顾了余额隐私和用户隐私。而无理想情形下，rollup实践上是可以或许达到2，000 tps的。
那为什么隐私rollup买卖会云云费力呢？
是什么使ZK² Rollup云云费力？ 一、递归：证明的证明 在标准的ZK rollup中， rollup SNARK证明是极度得当SNARK的数学推理，萦绕民众token传输的逻辑可以或许很苟且地转换为“算术电路”。
然则对付ZK² Rollup而言，你需求在另外一个SNARK电路（基层Rollup SNARK）中验证一个SNARK证明（基层隐私SNARK）。
这就被称为递归（指在SNARKs中证明SNARKs的动作）。
而递归是很费力的，因为你要么需求极度不凡的数学条件，要么你就会面临像山同样零乱的计斗劲。
具体来说，你需求下列条件之一： 要找到所谓的“配对敌对”曲线循环，而这是极度常见的存在，并且在它们存在之处，其安好性是极度低的，你需求抉择极度大且计算成本很高的数字体系来形貌它们（譬如，MNT4和MNT6曲线），或许 仿照电路中的二进制算术，艺术协会而二进制算术又可以或许用于仿照素数域运算。这需求大量运用领域证明（range proofs），而领域证明（range proofs）是很斲丧成本的； 二、形态更新 除了计算上的倒运要素之外，形态更新的打点比民众ZK Rollup要具有更多的开销。ZK² Rollups需求更多的形态更新，并且需求发送更多的数据： 对付标准（果真）ZK Rollup而言，用户可运用基于帐户的模型，这需求每笔买卖举行2次形态更新。然则，为了预防统计袭击，呵护隐私的ZK² Rollups 就需求用到2倍的数据，个中2个形态变量被增加到形态树中，此外2个变量被增加到nullifier树中。 大略一个更大的瓶颈，是数据传输哀告，传统的rollup奔忙及每笔买卖4–8字节的负载，而隐私隐秘rollup奔忙及每笔买卖32–64字节的负载，而在以太坊的数据，仍然是低廉的。 三、可证明随机性 Aztec还需求验证随机性的起原（将“交互式证明”转换为“非交互式证明”的魔法，这样你就无须每次在花钱时都要忍受与以太坊举行苦楚的交互）。
这类随机性意味着哈希。而在SNARKs中的哈希就是一个真实的成就： 对SNARK敌对的哈希算法（譬如Pedersen哈希）不足传统哈希函数的伪随机性：将输入的一部份改观为Pedersen哈希，你就会晓得输出会发生什么。 因为缺乏此属性，我们没法轻松生成证明者没法操纵的数字； 我们可以或许转向不太被普及担任的SNARK敌对哈希函数（譬如Poseidon， Rescue），但“已定型”和“普及给与”这两大属性，是我们对密码学原语刻意决定信心的底子，而在有价钱的密码学体系中陈列这些未被证明的哈希函数，大略还为时过早； 因而，我们别无抉择，只能乞助于对SNARK“不敌对”哈希算法（譬如Blake2 或SHA256），而它们大量运用了二进制逻辑和领域证明（range proof）。 然而，Aztec在2020年已取患有一些关键的研发冲破，这蕴含其最新揭橥的研计议文PLOOKUP，这使得实际者大略在SNARKs高效地举行一些对SNARK非敌对的使命。
在联合其他翻新的情形下，递归的大门就被攻破了。
PLONK: 一种新的ZK标准
据悉，Aztec的SNARK证明是运用该公司 CTO Zac Williamson和现任首席科学家Ariel Gabizon创立的称为PLONK的最新数学功能构建的。
在夙昔的几个月里，一些领先的扩张性和隐私名目抉择插手了PLONK生态体系，个中蕴含：
Dusk Network比来颁布揭晓他们改用PLONK；
Matter Labs正在通明配置情形中完成PLONK；
Aztec的通用SNARK体系形貌了一种跟尾电路的新编制（R1CS是现有的标准），而转换标准总是要支出价钱的，这需求重写行业标准代码库。随着TurboPLONK的推出，对付“自定义门”的抉择公认标准，而今仅是在组成的初期阶段。