- 综合排序
- 最热优先
- 最新优先
- 来自专栏AI SPPECH
039_密码学实战：零知识证明技术深度解析——从交互式协议到zkSNARK实现的完整指南
技术深度解析 4.1 zkSNARK的基本概念 zkSNARK（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）是一种强大的非交互式零知识证明技术 ： 将计算转换为布尔电路 将布尔电路转换为算术电路 将算术电路转换为二次算术程序 求解QAP的可满足性问题 4.3 zkSNARK的Python实现示例 以下是一个简化的zkSNARK实现，演示了二次算术程序的基本概念 的实际应用场景 zkSNARK在以下领域有重要应用： 隐私保护交易：Zcash使用zkSNARK实现完全匿名的加密货币交易 区块链扩容：Rollups技术使用zkSNARK将多个交易打包成单个证明 身份验证 的C++实现库 bellman：基于Rust的zkSNARK实现 zkSync：基于zkSNARK的Layer 2扩容解决方案 在线课程： Coursera上的密码学课程 Stanford的零知识证明研讨会材料 你对zkSNARK的可信设置问题有什么看法？如何降低其安全风险？ 在区块链项目中，你更倾向于使用zkSNARK还是zkSTARK？为什么？ 你认为零知识证明技术在未来5年内会有哪些重要突破？
50410编辑于 2025-11-18 - 来自专栏存储
详解零知识证明的四大基础技术，如何与以太坊发生反应
zkSNARK 详解 现在让我们来详细的描述一下 QSP 上的 zkSNARK。它在开始设置阶段会执行每一个单独的 QSP。 虽然 Ethereum 使用了一个图灵完备的虚拟机，但是当前在 Ethereum 上实现一个 zkSNARK 还是不可能的。 像 zCash 这种现存的 zkSNARK 系统对每一个任务都使用的是同样的问题，circuit 计算。在 zCash 中，就是交易验证。 在 Ethereum 上，zkSNARKs 将不会只单单做一个计算问题，而是让所有的人都能够在不发布一个新的区块链的情况下构建他们自己的 zkSNARK 系统。 每一个添加到 Ethereum 上的 zkSNARK 系统都需要进行一个新的私密的可信任的准备阶段（一些可以复用，一些不能），比如生成一个新的 CRS。
1.8K50发布于 2018-01-22 - 来自专栏Python项目实战
探索区块链技术中的隐私保护机制
from py_ecc.zksnark import generate_keys, prove, verify# 生成零知识证明密钥proving_key, verifying_key = generate_keys
65710编辑于 2025-01-15 - 来自专栏Python与爬虫
零知识证明学习资源汇总
Introduction 推荐值：❤️❤️ 难度值：⭐️⭐️ 这篇文章首先介绍了零知识证明协议中的三个参与者（Creator，Prover，Verifier）以及 Proofs 和 Verification的概念，并对 zkSNARK R1CS R1CS —> QAP QAP —> Linear PCP Linear PCP —> Linear Interactive Proof Linear Interactive Proof —> zkSNARK QAP 问题的zkSNARK 的证明验证过程和 QSP 非常相似。对这部分感兴趣的小伙伴推荐读一读。 /www.benthamsgaze.org/2016/10/25/how-to-do-zero-knowledge-from-discrete-logs-in-under-7kb/ 「推荐文章三十四」zkSNARK
1.7K20发布于 2019-11-15 - 来自专栏深入浅出区块链技术
每周以太坊进展2022/6/11
CLI[19]: scaffold RainbowKit, wagmi 和 Next.js app Ethereum 数据仓库指南[20]，查询 NFT 铸币和交易 OxPARC zkREPL[21]: zkSNARK
40830编辑于 2022-11-07 - 来自专栏商业模式策划
阐述DAPP智能合约流动性质押挖矿分红系统开发技术详细及代码分析
., ak, bk)0x08实现BN256曲线配对操作，进行zkSNARK验证。
69630编辑于 2022-12-15 - 来自专栏深入浅出区块链技术
零知识证明 circom 及 snarkjs 入门教程[译]
在本教程里将指导您创建第一个零知识 zkSnark电路。它将介绍各种编写电路的技术，并向您展示如何创建证明并在以太坊[1]上进行链外和链上验证。 1.
3.6K31发布于 2020-06-04 - 来自专栏AI SPPECH
008_密码学基础应用：区块链安全的数学基石与实践指南
抗量子性 否 是 长期安全需求 计算开销 较高 非常高 离线证明生成 成熟度 高 中 生产环境 零知识证明开发框架 2025年主流的零知识证明开发框架： Circom：电路描述语言和编译器，用于构建zkSNARK 电路 SnarkJS：JavaScript库，用于生成和验证zkSNARK证明 ZoKrates：提供高级语言编写零知识电路的工具集 StarkWare的工具链：用于开发zkSTARK应用的专业工具 Aztec
25210编辑于 2025-11-18 - 来自专栏区块链入门
什么是区块链预言机（BlockChain Oracle）
：支持多条主流公链的去中心化预言机服务网络 DOS Network 是一个 Layer-2 的预言机解决方案，它通过在链上部署一个轻量级智能合约，链下是一个 p2p 网络，记账节点的选取采用 VRF+zkSNARK
3.2K31发布于 2019-03-15 - 来自专栏深入浅出区块链技术
对链游的一点儿技术性思考
目前在主流设备上生成 zkSNARK 通常至少需要几到几十秒。不过，我们也可以选择委托远程服务代理[10]来帮我们生成 ZKP 。
85710编辑于 2022-05-25 - 来自专栏区块链大本营
以太坊2.0? 亲历3天的Devcon我看到了这样一个以太坊 | 见闻录
去年区块链技术圈的大新闻是以太坊引入了对 zkSNARK 的支持。这样零知识的可能被应用于智能合约，比如构建有隐私保护的数据市场。目前零知识算法的可用性与性能都有诸多不足之处，所以应用还相当有限。
58140发布于 2018-12-06 - 来自专栏区块链大本营
深度解析区块链架构、跨链和演进
合约代码实现了合约动作定义的输入状态和输出状态和要执行的一组业务逻辑命令计算，命令是最小的执行单元，可以是调用一个技术服务，如生成zkSNARK证明，也可以是输入和输出状态检查、逻辑计算、法律条款服务检查等 对于公有链，出于网络的安全考虑，往往需要交易无关方对交易内容执行验证，必须让用户身份信息同用户的交易信息隔离，使用户身份得到保护，甚至采用零知识证明zkSNARK算法仅向验证者提供一个无需暴露交易内容的证明 合约服务和合约流程运行时所依赖的公共技术服务，如生成链平台的zkSNARK证明，验证签名，如果暴露成链服务的形式，就可以完成基于无状态服务的计算可扩展性，特别适用于计算密集型的技术服务高负载运行时，可最大并行度地支持合约服务的验证执行
2.1K91发布于 2018-05-10 - 来自专栏AI SPPECH
028_钱包迁移安全全解：从冷迁移到零知识证明，构建2025年无缝资产转移防护体系
代理合约工具：管理代理合约的工具 合约审计工具：审计智能合约的工具 5.3 迁移安全技术栈 2025年的迁移安全技术栈包括： 密码学库：libsodium、OpenSSL等安全密码学库 零知识证明框架：zkSNARK
29610编辑于 2025-11-16
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号