Tereya的博客

由JS和纯Web Assembly实现的zkSNARK，内部实现了Groth16、Plonk和FFLONK（Beta版）三个算法。snarkjs继承了所有协议需要的组件，包括初始可信设置的NMPC执行过程（用以计算全局的的幂）和计算指定电路的证明。snarkjs基于nodejs，计算采用circom编译的电路。snarkjs采用ES模式，可以直接部署到rollup或webpack等项目中。

实验环境： Windows 11 X64根据ProVerif用户手册1.4.3节，Windows用户可以使用二进制发行版安装ProVerif。首先现在你想要的文件路径中新建一个proverif文件夹。