区块链100讲：零知识证明算法之zkSNARKs

HiBlock区块链社区 HiBlock区块链社区 博客等级 墨衍会员 · AI 创作全网分发 墨衍智能分发 本文由作者通过墨衍一键同步至各平台 1分发平台 2.9k累计阅读 2.9k平均单平台 已同步平台 优快云 微信公众号 微博 知乎 掘金 百家号 博客园 抖音 小红书 你的文章也可以这样分发 墨衍会员 ¥399起/年，写一次发全网 我也要 码龄9年
关注
转载 最新推荐文章于 2026-08-16 07:58:51 发布 2.9k 阅读 AI 写同款· GEO 优化 ›
技术分析｜零知识证明研究综述 零知识证明允许一方（证明者）向另一方（验证者）证明一个陈述是真实的，而不透露任何超出陈述本身有效性的信息。 阅读详情

image

据说这是最清楚的中文zkSNARKs算法介绍。

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

image

内容来源：待字闺中

作者：李康

原文链接：http://t.cn/R3uVlYH

以下是我们的社区介绍，欢迎各种合作、交流、学习：）

image

收录于
区块链

当前文章被收录于：

区块链
278 篇文章 16 人学习
订阅专栏 查看详情
技术之路

当前文章被收录于：

技术之路
268 篇文章 7 人学习
订阅专栏 查看详情
手把手教你用MetaMask玩转USDT混币器：从授权到提现的完整避坑指南 本文详细介绍了如何使用MetaMask操作USDT混币器，从基础准备到存款、提现的全流程避坑指南。特别针对智能合约授权、零知识证明生成等关键环节提供12种异常处理方案，帮助用户安全高效地完成混币操作，同时防范常见风险。 阅读详情

相关推荐

PHP接单涨薪系列（九十三）：ZKML实战：如何让以太坊智能合约运行TensorFlow模型？

本文系统介绍了ZKML技术落地方案，实现以太坊智能合约对TensorFlow模型的链上验证。内容涵盖需求场景分析（DeFi、NFT生成等）、商业价值模型、接单策略流程图、技术架构设计（含Python/PHP/Web全栈代码）、企业级部署方案及常见问题解决。读者将掌握zkSNARKs电路构造、模型量化压缩、链下证明生成与链上验证等核心技能，并能独立完成跨链AI推理系统的开发。

专注分享PHP、python、AI、web前端等知识 990

我的隐私计算学习——零知识证明

安全保护技术（五）

weixin_47695607的博客 3004

零知识证明算法PLONK --电路

- 唠嗑 最近研究了下零知识证明算法-[PLONK](http://link.zhihu.com/?target=https://www.semanticscholar.org/paper/PLONK%253A-Permutations-over-Lagrange-bases-for-of-Gabizon-Williamson/d928b78ea85cae93d3ca0bfabe47bf954db55e7a)。肚子里的墨水又增加了，记一下学习成果与新的体会，和大家共同学习 --- 江小白。 -

weixin_43179764的博客 2383

安装Zookeeper

4 WatchedEvent state:SyncConnected type:NodeDataChanged path:/hadoop #节点值改变使用 ls path [watch] 或 ls2 path [watch] 注册的监听器能够监听该节点下所有子节点的增加和。独立安装Zookeeper是为向Hadoop和HBase共同提供服务的,Zookeeper对操作系统、软件和网络环境的要求与这些组件基本一致,能够安装Hadoop和HBase的节点也可以直接安装Zookeeper。节点各个属性如下表。

zjh0101的博客 353

炉石传说游戏系统拆解和部分系统分析

一．游戏综述 《炉石传说：魔兽英雄传》是一款由暴雪娱乐公司出品的策略类卡牌游戏。中国大陆地区的独家运营由网易公司代理。2014年3月13日全球同步正式运营。游戏背景设定于暴雪的魔兽系列，共十位魔兽中的角色作为十种不同的职业。而玩家要做的，就是根据己方现有的卡牌组建合适的卡组，指挥英雄，驱动随从，施展法术，与游戏好友或素不相识的对手一决高下。 二．游戏系统拆解图 三．游戏系统部分分析 1. 对战系统 （1）战斗准备 炉石传说开始前都需要配置至少30张卡牌作为出战卡组 .....

Jimmy72236的博客 4926

Matlab处理气象数据（六）数据的面积加权

由于地理投影导致导致每个像元实际地面面积不同，越靠近北极实际面积越小，越靠近赤道实际面积越大，如果不进行面积加权就简单平均，会导致温度较实际温度偏低。 用以下公式计算地理投影每个像元的面积： double pi = 3.1415926; double R = 6371007.181; //units - m double area = (pi/180.0)*R*R*fabs(sin(dLat1/180.0*pi) - sin(dLat2/180.0*pi)) * fabs(dLon1 - dLo

设计の诗 1万+

比较零知识证明算法zkSNARK,zkSTARKs,zkBoo,Sonic,BulletProofs

本文分为两部分，第一部分说明零知识能干什么，为什么它这么强大，在区块链中这么火；第二部分比较零知识证明的算法zkSNARK, zkSTARKs, zkBoo, Sonic和BulletProofs的特性。 本文首发在本人知乎专栏中，更多区块链论文阅读，请关注本人知乎哦 第一部分 使用零知识算法能干什么？ 设定一个场景，现有一个公共的函数f和一个函数的输出值y，Alice对Bob说她知道x值，但是Bob不信。x可能是Alice花费了很多资源才得来的，为了向Bob证明她知道x同时又不泄露x给Bo

ChainingBlocks 5496

LTspice仿真报错Timestep too small？5种实测有效的解决方法（附详细参数配置）

本文针对LTspice仿真中常见的“Timestep too small”报错，提供了5种经过实测有效的解决方案。从理解错误根源入手，详细介绍了调整求解器、仿真参数、优化精度容差、设置初始条件、为理想元件添加寄生参数以及使用高级指令等具体方法，并附有详细的参数配置步骤，帮助工程师快速定位并解决仿真收敛问题，提升电路设计效率。

weixin_29213655的博客 281

零知识证明介绍

日常生活中，我们经常要向说服他人相信某件事是真的，但除了这一具体陈述是真实的事实以外，又不想透露任何额外的信息。例如，Alice对Bob说，她能分辨茅台和五粮液的口味，但是她不愿意把具体分辨的方法告诉Bob，那么Alice要怎么让Bob相信自己说的是真的？Bob又怎么验证Alice说的是否是真的？和Alice和Bob类似的例子还有门禁系统的身份认证，访客想要验证自己是合法的用户，但是又不...

lansoul1987的专栏 2874

STK传感器配置全攻略：从光学到雷达的7种视场类型详解（附避坑指南）

本文详细解析了STK软件中传感器的7种视场类型，从基础的Simple Conic、Complex Conic到高级的SAR与EOIR，提供了完整的配置步骤与实战避坑指南。重点阐述了雷达、光学等不同物理设备的建模选择逻辑，并针对常见的“No Access”等报错问题给出了系统性的排查方案，帮助工程师高效完成卫星系统设计与任务分析。

weixin_29232507的博客 229

GB28181协议心跳机制：从标准解读到代码实现的保活策略

本文深入解析GB28181协议中的心跳机制，从标准解读到代码实现，详细介绍了保活策略的核心价值和底层逻辑。通过实战案例和技术要点，帮助开发者优化心跳间隔、超时次数等参数配置，提升安防监控系统的可靠性和性能。文章还提供了代码实现的防坑指南和特殊场景处理建议，适用于各类网络环境下的设备在线状态管理。

weixin_29611239的博客 106

去中心化的速度：零知识证明的进步

看待技术进步的一种方法是从硬件的角度来看：随着新需求和用例的出现，芯片制造商会设计专用的 GPU、FPGA 和 ASIC，以针对特定功能和软件进行优化。从云计算到计算机图形学、人工智能和机器学习，所有主要的科技行业都已经发展到需要能够加快计算运行速度和效率的硬件。通常，用于初始功能（无论是存储内存、渲染图形还是运行大规模模拟）的芯片会在确定通用模式和开发专用硬件之前一开始会很简单。理想情况下，随着时间的推移，这种硬件会变得更便宜，更容易被消费者使用。 这种现象的一个很好的历史例子是数码相机的发展。在 196

. 1764

【HarmonyOS】ArkUI的组件扩展

ArkuI的组件扩展主要是通过等装饰器来对于一些常用的自定义组件进行封装, 来简化UI开发流程, 提高自定义组件的可复用性。

2302_79763237的博客 1169

区块链身份安全必修课：blockchain-identity项目盘点已知漏洞与防护策略

区块链身份（Blockchain Identity）正在成为Web3时代的信任基石，但私钥丢失、女巫攻击、身份卡安全缺陷等区块链身份安全漏洞，也让不少用户付出惨痛代价。本文带你认识开源资源库 blockchain-identity 项目，系统盘点区块链身份领域的高频漏洞与真实案例，并给出从 DID 去中心化标识符到零知识证明的完整防护策略，帮助新手一次性建立身份安全认知。 ## 什么是区块链身份

gitblog_00291的博客 447

基于PChmi.dll的PLC报警显示和记录（C#）

本文介绍了如何使用C#编写基于PChmi.dll的程序，实现PLC报警的显示和记录功能。通过订阅PLC的报警事件，我们可以实时显示报警信息，并通过日志文件记录报警历史。PLC（可编程逻辑控制器）在工业自动化领域中扮演着重要的角色，而报警显示和记录是PLC应用中常见的需求。本文将介绍如何使用C#编写基于PChmi.dll的程序，实现PLC报警的显示和记录功能。当然，这只是实现报警显示和记录的基本框架，具体的实现方式可能因不同的PLC和HMI库而有所差异。你需要根据你所使用的具体库和设备进行相应的调整和修改。

ByteLegend的博客 1673

ESP32-C3入门教程 基础篇⑩——SNTP(Simple Network Time Protocol) 网络时间同步的简单实例

ESP32-C3入门教程 基础篇⑩——SNTP(Simple Network Time Protocol) 网络时间同步的简单实例

1589

Aleo设置仪式的技术解释

尊敬的用户您好： 欢迎来到Aleo中文社区，该系列是Aleo中文社区通过官方动态及外部资料整理的项目报告，希望帮助Aleo中国用户更深入的了解Aleo项目动态及信息。 在这篇文章中，我们想花时间解释为什么Aleo社区对成立仪式的贡献如此宝贵。这种多方计算(MPC)被称为“Tau的力量”，是提供Aleo证明系统的关键安全基础之一的技术骨干。Aleo成立仪式目前的贡献超过了之前的记录，Tornado Cash的仪式的1114个贡献！ 如需转载或引用请标明出处。 零知识证明 Aleo使...

Aleo123456的博客 852

廖雪峰Python教程[完整版]

廖雪峰的python教程整理的，已经排好版了，而且还是完整的，适合小白

TEE与零知识证明构建的可验证SLA监控框架

在云计算领域，服务等级协议（SLA）监控是保障服务质量的核心机制。传统方案依赖服务商自证合规，存在信任缺陷。可信执行环境（TEE）通过硬件隔离保障数据完整性，零知识证明（ZKP）则能在不泄露原始数据的前提下验证计算真实性。这两种技术的结合为SLA监控提供了密码学级可信基础，特别适用于云保险、自动化仲裁等高敏感场景。本文解析的框架通过TEE确保监控数据真实可靠，利用zkVM将SLA条款编译为可验证程序，最终实现无需信任第三方的自动化合规检查。实测显示，该方案在256 RPS负载下仍能保持300ms内的P95延

weixin_33795743的博客 459

android 蓝牙通讯demo

android 下蓝牙通讯demo，实现了发现蓝牙，使能蓝牙，通过蓝牙发送消息。

VB摄像头监控

该VB模块可对摄像头捕获的画面进行录像等，可在创建的窗口进行控制

Anonymous scheme for blockchain atomic swap based on zero-knowledge proof

Anonymous scheme for blockchain atomic swap based on zero-knowledge proof

Touale的博客 1660

NTscan扫描工具

ntscan是一个扫描器，可以扫描没有密码和弱密码的共享，先到配置文件中填写猜测的用户名和密码，扫描过程中右侧出现的是扫描日志。

zk-SNARKs实战：使用circom和snarkjs实现简单版的Tornado（含源码）

在上一篇文章中，本人讲解了如何使用circom来编写算术电路的代码，如何将该代码转换成算术电路，并使用snarkjs来转换成zkSNARKs的witness和statement，然后，基于这个来proof和认证该证明，最后，使用snarkjs工具生成solidity代码，部署到Ethereum区块链上，来认证该proof。 上篇文章中使用到的命令总结如下： 将我们的电路编译为 .json 文件 : $ circom testcirc.circom -o testcirc.json 执行的电路运行设

ChainingBlocks 7397

Recursive SNARKs总览

1. 引言 参考文献 [1] 微软团队2021年论文 Nova: Recursive Zero-Knowledge Arguments from Folding Schemes [2] 2021年7月视频 An Overview of Recursive SNARKs [3] 2021年斯坦福课件 Recursive SNARKs [4] 2020年Mina在zkproof的博客Inductive Proof Systems and Recursive SNARKs .........

mutourend2010@gmail.com 2114

密码学系列 - 零知识证明(ZKP) - zkSNARKs

零知识证明 - ZKP 算法属性可表示为: zk-SNARKs (简洁的非交互式零知识证明) Zero-Knowledge Succinct Non-interactive ARgument of Knowledge 关键词 见证人: 执行电路时产生的中间信号 - witness 零知识证明证明您知道一组匹配所有约束的信号（见证），而不会泄露除公共输入和输出之外的任何信号。 生成 provi...

搬砖魁首的博客 3526

区块链之零知识证明（zk-SNARK从小白到明白）

零知识证明：从小白到明白 如今，知识快餐业发达，区块链这么火的领域自然不会落下。经过一轮轮扫盲，共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生，甚至各种解构、比喻、引申，将术语炒得比本义还玄乎。然而，如果不理解甚至没听说过零知识证明，那你基本还属于区块链小白。 之所以这么说，原因有二。其一， 零知识证明是代数数论、抽象代数等数学理论的综合应用，与闪电网络一类的精巧设计不同，属于硬技术。...

跨链技术践行者 2万+

零知识证明-基础数学(二）

零知识证明-基础数学 欧拉定理 费马小定理 求模逆元 互质数

yunteng521的博客 1409
上一篇： 区块链100讲：浅谈区块链的 Layer2 扩展
下一篇： 区块链100讲：用一个案例说明Hyperledger Fabric网络构架
点赞 3
评论 1
书签 书签 15
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值