机构名称：
¥ 2.0
在本文中，我们探索了有效的方法来证明椭圆曲线配对关系的正确性。基于配对的加密协议，例如Groth16和Plonk Snarks和BLS签名方案，在公共区块链（例如以太坊）中广泛使用，很大程度上归功于其小尺寸。对于许多用例，诸如SNARK内部的“电路”验证的验证相对较高的配对计算成本仍然是一个实际问题。这自然出现在基于BLS共识方案的递归snark组成和snark中。为了改善配对验证，我们首先证明配对验证的最终启动步骤可以用更有效的“残基检查”代替，可以将其纳入米勒循环中。然后，我们通过计算所有必要的线来降低米勒循环的成本，以及当预先确定第二个配对参数时，这是特别有效的。使用固定公共密钥以及基于KZG的Snarks（如Plonk）和三个Groth16配对中的两个签名的BLS签名就是这种情况。最后，我们通过组合商来展示如何改善[GAR]方案，这使我们能够更有效地证明更高的关系关系。这些技术也自然而然地将配对验证（例如链验证）或比特币智能合约的BITVM（2）协议的一部分。我们实例化算法并显示BN254曲线的结果。
定时征收的挑战：位置纸
主要关键词
相关文件推荐
