1. 引言
Lambdaclass团队主要关注ZKP和全同态加密技术。
Lambdaclass团队基于2013年论文《Pinocchio: Nearly Practical Verifiable Computation》实现了一种zero-knowledge Virtual Machine,开源代码见:
以如下可验证计算对应的circuit为例:
其中:
- c 1 , c 2 c_1,c_2 c1,c2为输入
- c 3 c_3 c3为输出
- c 4 c_4 c4为中间变量
可 以R1CS(Rank-1 Constraint System)来表示。
参考资料
[1] Pinocchio Virtual Machine: Nearly Practical Verifiable Computation