如果你不知道，查一下或者如何为零知识证明创建查找表 本文介绍了零知识证明中的查找论证（Lookup Arguments）技术，特别是Plookup方案，用于优化算术化过程中开销大的操作，如范围检查和位运算。文章详细解释了Plookup的工作原理，以及如何将其整合到Plonk协议中，并通过与置换论证的类比，深入浅出地阐述了其背后的数学原理和实现步骤，最后总结了查找论证在Plonk协议中的应用，并展望了未来的发展方向。 零知识证明 zk-SNARKs STARKs 查找论证 Plookup PLONK 算术化 lambdaclass 发布于 2023-11-03 940 0 0
