y蛇
最近的新闻:
2020年3月11日:更新到最新的snarkjs
(这是对PySNARK原始版本的重写,仍可。)
PySNARK允许您直接在Python 3中编程zk-SNARK(又名可验证计算)。例如,以下代码运行SNARK程序以计算数字的立方,生成键材料,生成证明并验证它:
import sys
from pysnark.runtime import snark
@snark
def cube(x):
return x*x*x
print("The cube of", sys.argv[1], "is", cube(int(sys.argv[1])))
PySNARK可以使用或作为后端。 对于使用pysnark提供的PubVal数据类型(或使用@snark装饰器)执行的任何计算,该库都会跟踪该计算的Rank-1约束系统。 计算完成后,将生成(或重复使用)用于计算的关
1