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。以连续调用两次为例,代码见…
第一次在考场中做出来的E题,rank也是来到了20,纪念一下,一定要相信自己呀
构造方法见官方题解,证明见下:
对于原始串 s s s,如果第一个(从左往右数)相同交界不折,选择折…
Contest2892 - 2021个人训练赛第39场
Rope Folding
时间限制: 1 Sec 内存限制: 64 MB
题目描述 Farmer John has a long rope of length L (1 < L < 10,000) that he uses for various tasks around his farm. The rope has N knots tied into it at various distinct…