LookupArgument是一种重要的密码学原语,用于证明一个集合(或结构化对象,如多项式)的元素属于另一个预先计算的集合或结构。它在零知识证明系统中具有重要作用,可以在不泄露敏感信息的前提下强制验证数据的一致性和约束。
zkVM(零知识虚拟机)是一种利用零知识证明(ZKP)来保证计算的正确性、完整性和隐私性的虚拟机。
通过引入Lookup argument协议,可以有效减小电路的复杂度。
递归零知识证明(RecursiveZero-KnowledgeProof,简称递归ZKP)是一种使用递归概念的零知识证明,它通过递归的方式生成可更高效验证的证明,某些情况下还可以将多个证明合并成一个单一的证明。这在区块链系统中尤为重要,因为在这些系统中,效率和可扩展性是至关重要的。
Plonky2是一种基于多项式承诺和Plonk的PIOP交互式证明的零知识证明协议,专注于通过FRI技术实现高效的zkSNARK。
DEEP-FEI理论与分析
FRI原理及其应用分析
Poseidon哈希函数原理
FRI预备知识:多项式的阶、群与有限域、Reed-Solomon码、FRI动机、密码工具Merkle树