【零知识证明】构建第一个zk

2024-08-30 16:36

本文主要是介绍【零知识证明】构建第一个zk,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1 必要步骤

视频学习:5. Circcom 中的基本算术电路_哔哩哔哩_bilibili

文字学习:https://hackmd.io/@YlNLZS2ESI21OSqdTW_mPw/S1jqN-h80/edit

第五课,circom实践,需要安装

1 vscode

2 rust:Windows安装Rust环境(详细教程)-CSDN博客

安装rust出现问题解决方案:Windows 11 上通过国内源安装 Rust - rust - 大象笔记 (sunzhongwei.com)

rust 安装完成后测试是否能正常使用:

rust 创建项目并运行_rust 创建节目-CSDN博客

3 node:2024最新版Node.js下载安装及环境配置教程【保姆级】_nodejs下载-CSDN博客

以上完成后接下来安装 circom 和 snarkjs,在全局模式下下载:

npm install circom -g
npm install snarkjs -g

最终:

 C语言依赖:x86_64-14.1.0-release-posix-seh-ucrt-rt_v12-rev0

rust版本:rustc 1.80.1 (3f5fd8dd4 2024-08-06)

node版本:v18.19.0

2 电路设计 

2.1 前期准备

新建一个zkProject文件夹,用于存放zk相关的代码

mkdir zkProject

进入此文件夹

cd zkProject

再新建一个文件夹

mkdir zktest1
cd zktest1

 打开vscode

code .

在vscode中打开终端 

 2.2 创建项目

 初始化一个默认的package.json和安装必要的包

npm init -y

 安装依赖,此处参考文章:构建零知识snark电路时出现问题解决方案(circom2)_circom 编译总出错-CSDN博客

npm install --save circom snarkjs

新建一个名为 【circuit.circom】的文件

2.3 设计电路

文件中写入测试示例并保存

pragma circom  2.0.0;// f(x,y) = x^2 * y + x * y^2 + 17
// Signal Definition: 
// 1、所有的输入都是信号
// 2、每次将两个信号相乘时,都需要定义一个新的信号
// 3、一次只能占用两个信号来获取一个新的信号
// 4、所有的输出都是信号// 模版
template F() {// Declaration of signals.signal input x;signal input y;signal output o;signal m1 <== x * x;signal m2 <== m1 * y;signal m3 <== y * y;signal m4 <== m3 * x;o <== m2 + m4 + 17;}//组装
component main = F();

2.4 编译电路

运行电路前需要先编译,编译命令为【circom 电路文件名 --r1cs --wasm】

其中,r1cs:一阶约束系统,最多只有一次信号之间的乘法。

wasm:web浏览器可以理解的二进制代码

circom circuit.circom --r1cs --wasm

若出现以下问题:

 circom : 无法加载文件 D:\node\node_global\circom.ps1,因为在此系统上禁止运行脚本。有关详细信息,请参阅 https:/go.microsoft.com/fwl 
ink/?LinkID=135170 中的 about_Execution_Policies。
所在位置 行:1 字符: 1
+ circom circuit.circom --r1cs --wasm
+ ~~~~~~

snarkjs wtns export json witness.wtns witness.json


    + CategoryInfo          : SecurityError: (:) [],PSSecurityException
    + FullyQualifiedErrorId : UnauthorizedAccess

解决方法:cnpm : 无法加载文件 node_global\cnpm.ps1,因为在此系统上禁止运行脚本-CSDN博客 

编译成功后,运行此电路,通过刚刚生成的js文件进行运行。

2.5 运行电路

新建一个json文件,用于给出电路的输入

终端输入

node ./circuit_js/generate_witness.js ./circuit_js/circuit.wasm input.json witness.wtns

可以看见对应的见证生成 

若要读这里面的内容,则需要转为json格式

内容如下:

见证文件的第一个数字总是1,代表电路中的常量操作。

接下来是总输出 47 ,然后是两个输入2、3,剩下的是全部的中间变量。

但会少一个(不知道原因)

这篇关于【零知识证明】构建第一个zk的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1121349

相关文章

Java架构师知识体认识

源码分析 常用设计模式 Proxy代理模式Factory工厂模式Singleton单例模式Delegate委派模式Strategy策略模式Prototype原型模式Template模板模式 Spring5 beans 接口实例化代理Bean操作 Context Ioc容器设计原理及高级特性Aop设计原理Factorybean与Beanfactory Transaction 声明式事物

好题——hdu2522(小数问题:求1/n的第一个循环节)

好喜欢这题,第一次做小数问题,一开始真心没思路,然后参考了网上的一些资料。 知识点***********************************无限不循环小数即无理数,不能写作两整数之比*****************************(一开始没想到,小学没学好) 此题1/n肯定是一个有限循环小数,了解这些后就能做此题了。 按照除法的机制,用一个函数表示出来就可以了,代码如下

嵌入式QT开发:构建高效智能的嵌入式系统

摘要: 本文深入探讨了嵌入式 QT 相关的各个方面。从 QT 框架的基础架构和核心概念出发,详细阐述了其在嵌入式环境中的优势与特点。文中分析了嵌入式 QT 的开发环境搭建过程,包括交叉编译工具链的配置等关键步骤。进一步探讨了嵌入式 QT 的界面设计与开发,涵盖了从基本控件的使用到复杂界面布局的构建。同时也深入研究了信号与槽机制在嵌入式系统中的应用,以及嵌入式 QT 与硬件设备的交互,包括输入输出设

sqlite3 相关知识

WAL 模式 VS 回滚模式 特性WAL 模式回滚模式(Rollback Journal)定义使用写前日志来记录变更。使用回滚日志来记录事务的所有修改。特点更高的并发性和性能;支持多读者和单写者。支持安全的事务回滚,但并发性较低。性能写入性能更好,尤其是读多写少的场景。写操作会造成较大的性能开销,尤其是在事务开始时。写入流程数据首先写入 WAL 文件,然后才从 WAL 刷新到主数据库。数据在开始

Retrieval-based-Voice-Conversion-WebUI模型构建指南

一、模型介绍 Retrieval-based-Voice-Conversion-WebUI(简称 RVC)模型是一个基于 VITS(Variational Inference with adversarial learning for end-to-end Text-to-Speech)的简单易用的语音转换框架。 具有以下特点 简单易用:RVC 模型通过简单易用的网页界面,使得用户无需深入了

系统架构师考试学习笔记第三篇——架构设计高级知识(20)通信系统架构设计理论与实践

本章知识考点:         第20课时主要学习通信系统架构设计的理论和工作中的实践。根据新版考试大纲,本课时知识点会涉及案例分析题(25分),而在历年考试中,案例题对该部分内容的考查并不多,虽在综合知识选择题目中经常考查,但分值也不高。本课时内容侧重于对知识点的记忆和理解,按照以往的出题规律,通信系统架构设计基础知识点多来源于教材内的基础网络设备、网络架构和教材外最新时事热点技术。本课时知识

maven 编译构建可以执行的jar包

💝💝💝欢迎莅临我的博客,很高兴能够在这里和您见面!希望您在这里可以感受到一份轻松愉快的氛围,不仅可以获得有趣的内容和知识,也可以畅所欲言、分享您的想法和见解。 推荐:「stormsha的主页」👈,「stormsha的知识库」👈持续学习,不断总结,共同进步,为了踏实,做好当下事儿~ 专栏导航 Python系列: Python面试题合集,剑指大厂Git系列: Git操作技巧GO

嵌入式Openharmony系统构建与启动详解

大家好,今天主要给大家分享一下,如何构建Openharmony子系统以及系统的启动过程分解。 第一:OpenHarmony系统构建      首先熟悉一下,构建系统是一种自动化处理工具的集合,通过将源代码文件进行一系列处理,最终生成和用户可以使用的目标文件。这里的目标文件包括静态链接库文件、动态链接库文件、可执行文件、脚本文件、配置文件等。      我们在编写hellowor

利用命令模式构建高效的手游后端架构

在现代手游开发中,后端架构的设计对于支持高并发、快速迭代和复杂游戏逻辑至关重要。命令模式作为一种行为设计模式,可以有效地解耦请求的发起者与接收者,提升系统的可维护性和扩展性。本文将深入探讨如何利用命令模式构建一个强大且灵活的手游后端架构。 1. 命令模式的概念与优势 命令模式通过将请求封装为对象,使得请求的发起者和接收者之间的耦合度降低。这种模式的主要优势包括: 解耦请求发起者与处理者

Jenkins构建Maven聚合工程,指定构建子模块

一、设置单独编译构建子模块 配置: 1、Root POM指向父pom.xml 2、Goals and options指定构建模块的参数: mvn -pl project1/project1-son -am clean package 单独构建project1-son项目以及它所依赖的其它项目。 说明: mvn clean package -pl 父级模块名/子模块名 -am参数