基于Pinocchio的zkVM——Pinocchio Lambda VM

1. 引言

Lambdaclass团队主要关注ZKP和全同态加密技术。

Lambdaclass团队基于2013年论文《Pinocchio: Nearly Practical Verifiable Computation》实现了一种zero-knowledge Virtual Machine，开源代码见：

• https://github.com/lambdaclass/pinocchio_lambda_vm（Rust）

以如下可验证计算对应的circuit为例：

其中：

• $c_1,c_2$为输入
• $c_3$为输出
• $c_4$为中间变量

可 以R1CS（Rank-1 Constraint System）来表示。

参考资料

[1] Pinocchio Virtual Machine: Nearly Practical Verifiable Computation