CDC / NVIDIA CDC /英伟达 Want to help in the battle against the novel coronavirus? You can put your PC’s graphics processor to work with Foldinghome. You’ll join an army of computers running calculations to help scientists understand the virus. 想要帮助…
1. 引言
前序博客有:
Nova代码解析Spartan中 Vitalik R1CS例子 SNARK证明基本思路rank-1 constraint system R1CS 其中 F ( x ) x 3 x 5 F(x)x^3x5 F(x)x3x5,注意其中 x , y x,y x,y均为public input/output。以连续调用两次为例,代码见…