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