主流的零知识证明开发库

Bertha 。 2022-08-29 05:49 212阅读 0赞

零知识证明是区块链开发者值得关注的密码学技术，本文整理了11个 主流的零知识证明开发库，希望有助于你在自己的项目中学习并 利用零知识证明技术。

## 1、libsnark ##

libsnark是SCIPR Lab开发的zkSNARK方案实现，开发语言为 C++，应用于zcash等多个项目。

libsnark主要包括三部分：通用证据系统、基础电路库和应用示例。

libsnark下载地址：https://github.com/scipr-lab/libsnark

## 3、ZoKrates ##

ZoKrates是一个用于以太坊零知识证明应用开发的zkSNARK工具箱， 利用ZokRates提供的插件，你可以直接在[Remix][] 中开发零知识证明应用。

ZoKrates的开发语言主要为Rust。

ZoKrates下载地址：https://github.com/Zokrates/ZoKrates

## 3、snarkjs ##

snarkjs是zkSARNK方案的javascript实现库，支持原始的8points协议和 Groth协议。利用snarkjs你可以进行可信设置、生成证据并验证证据。

snarkjs使用iden3自己的circom编译器对DSL定义的电路进行编译。

snarkjs下载地址：https://github.com/iden3/snarkjs

## 4、circom ##

circom是iden3设计的zk-snark电路描述DSL，circom npm包含了 使用该DSL描述的电路的编译器。

circom下载地址：https://github.com/iden3/circom

## 5、wasmsnark ##

wasmsnark是一个采用原生Web Assembly开发的快速的zkSnark证据生成 和验证工具，其速度可媲美libsnark，可以用于在浏览器中生成zkSnark证据并进行验证。

wasmsnark也是iden3出品，目前仅支持groth16。

wasmsnark下载地址：https://github.com/iden3/wasmsnark

## 6、gnark ##

gnark是consenSys开发的一个zkSARNK实现，采用Go语言，使用类似GO 的DSL描述电路。目前支持groth16。

https://github.com/ConsenSys/gnark

## 7、go-snark ##

go-snark是一个采用go语言实现的zkSNARK开发库，目前支持 Groth16协议和Pinocchio协议。

go-snark下载地址：https://github.com/arnaucube/go-snark

## 8、xJsnark ##

xJsnark是开发zk-SNARK电路的高层框架，其目标是填补高级语言开发 与性能之间的鸿沟。xJsnark提供一组可以让开发者在较高层级编写 zk-SNARK电路的特性，同时也提供了削减所生成的电路成本的技术， 从而使采用框架开发的电路性能接近手工开发的电路性能。

xJsnark采用Java开发，包含前端用于电路设计的Jetbrains扩展和 后端的电路生成单元。

xjsnark下载地址：https://github.com/akosba/xjsnark

## 9、bellman ##

bellman是一个用于开发zk-SNARK电路的Rust库，它提供电路接口、 基础结构以及一些基本电路实现，例如布尔和数值抽象。

bellman下载地址：https://github.com/zkcrypto/bellman

## 10、zksnark-rs ##

zksnark-rs是一个用于创建和利用零知识证据的Rust库，提供了 基础的电路描述语言，目前支持Groth16。

zksnark-rs下载地址：https://github.com/republicprotocol/zksnark-rs

## 11、Pysnark ##

pysnark是Python开发的zk-snark方案实现，支持Pinocchio协议， 支持生成用于以太坊的智能合约用于验证零知识证据。

pysnark下载地址：https://github.com/Charterhouse/pysnark

[Remix]: http://remix.hubwiz.com/

发表评论取消回复

表情：

评论列表（有 0 条评论，212人围观）

还没有评论，来说两句吧...

相关阅读

相关零知识证明笔记

从零开始学习 zk-SNARK（一）——多项式的性质与证明https://zhuanlan.zhihu.com/p/99260386

梦里梦外;/ 2024年04月23日 21:16/ 0 赞/ 65 阅读

相关零知识证明入门必看

文章目录零知识证明入门一、什么是零知识证明？入门必看相关参考URL、公众号零知识证明基础

女爷i/ 2023年02月14日 07:46/ 0 赞/ 30 阅读

相关 zkSNARKs（零知识证明）简述

zkSNARKs 的成功实现让我们印象深刻，因为你可以在不执行，甚至不知道执行的具体内容是什么的情况下确定某个计算的结果是否正确 -- 而你唯一知道的信息就是它正确的完成了。但

太过爱你忘了你带给我的痛/ 2023年01月24日 02:23/ 0 赞/ 106 阅读

相关零知识证明之 SnarkJS 入门

文章目录一、SnarkJS相关基础什么是SnarkJS 1. 什么是circom 2. 零知识证明的基本概念

浅浅的花香味﹌/ 2022年11月04日 12:25/ 0 赞/ 19 阅读

相关零知识证明之zk-snark 应用案例（零知识证明实战渔业监控【zksnark】）

文章目录零知识证明实战渔业监控 1、需求分析 2、circom电路实现 3、circom电路编译 4、zks

Love The Way You Lie/ 2022年10月23日 15:30/ 0 赞/ 169 阅读

相关 zkSNARKs（零知识证明）简述

zkSNARKs 的成功实现让我们印象深刻，因为你可以在不执行，甚至不知道执行的具体内容是什么的情况下确定某个计算的结果是否正确 -- 而你唯一知道的信息就是它正确的完成了。但

曾经终败给现在/ 2022年10月04日 12:58/ 0 赞/ 370 阅读

相关零知识证明应用开发入门

过去的一年出现了很多零知识证明应用，在这个教程中，我们将首先学习零知识证明的基本概念、使用circom搭建算术电路、使用snarkjs实现零知识证明的全过程，并利用这些知识

灰太狼/ 2022年08月29日 05:50/ 0 赞/ 285 阅读

相关 ZoKrates实战在线旅游业【零知识证明】

在这个教程中我们将学习如何使用零知识证明技术解决在线旅游行业中服务提供商在不透露太多商业秘密的情况下如何向OTA平台证明其服务能力的问题。我们将使用以太坊区块链上的零知识

柔情只为你懂/ 2022年08月29日 05:50/ 0 赞/ 211 阅读

相关零知识证明DApp开发实践【身份证明/以太坊】

在这个教程中，我们将学习如何开发一个基于以太坊的零知识身份证明DApp，学习如何开发Circom零知识电路、如何生成并方法Solidity零知识验证智能合约，以及如何利用J

布满荆棘的人生/ 2022年08月29日 05:50/ 0 赞/ 344 阅读

相关主流的零知识证明开发库

零知识证明是区块链开发者值得关注的密码学技术，本文整理了11个主流的零知识证明开发库，希望有助于你在自己的项目中学习并利用零知识证明技术。 1、libsnark l

Bertha 。/ 2022年08月29日 05:49/ 0 赞/ 213 阅读