找到约 15 条结果

文章 零知识证明 - 电路及证明示例（libsnark）

...该示例代码前，请仔细阅读libsnark的源代码分析： [零知识证明 - libsnark源代码分析](https://learnblockchain.cn/2019/08/15/libsnark-source) 唯一有点遗憾的，libsnark没有给个完整的电路构造实例，入门者想搭建自己的电路，刚开始有点摸...

文章 零知识证明-SRP协议

# 零知识证明-SRP协议 ## 简介 ​ SRP 是 Secure Remote Password 协议的缩写，是一种密码协议，用于在客户端和服务器之间建立安全的身份验证。该协议的设计旨在避免将用户密码明文传输到服务器，从而提高了安全性。 ​ 在 ...

文章 Cicada 利用时间锁谜题和零知识证明实现链上投票

...icada：一个新的、开源的 Solidity 库，利用时间锁谜题和零知识证明来实现私人链上投票。与现有的系统相比，Cicada 具有新颖的隐私属性，最大限度地减少了信任假设，并且足够高效，可以在以太坊主网上使用。 在这篇文章中...

视频 ZKP MOOC 第 11 课：从实践到理论

...Alex Lombardi 讨论了密码学证明系统的理论方面，特别是零知识证明（Zero-Knowledge Proofs）和简洁非交互式论证（SNARGs）的相关内容。以下是视频的核心内容和关键论据总结： 1. **核心内容概括**： - 讲座强调了密码学证明系统...

文章 Mina: 展望 2025 年

...zkApp 层的推出，这使得 Mina 成为第一个采用图灵完备的零知识智能合约层的区块链。这是一个历时多年、高度复杂的项目，它的发布证明了使之成为可能的团队的辛勤工作和奉献精神。 从那时起，Mina 基金会在[下半年支持新 z...

文章 零知识证明 - 理解FFT的蝶形运算

...质。 这个周末有空，讲讲我对FFT的理解。方便学习零知识证明的小伙伴理解这部分内容。从头讲起，零知识证明Groth16算法基于QAP问题：  [零知识证明 - Groth16算法介绍](https://l...

文章 重大突破：路印协议将交易成本再降15倍！

...zkSNARK证明生成上的一些优化措施，我们成功地将生成零知识证明的成本降低为每笔交易仅0.03分RMB（100万笔交易成本大约300RMB），与目前我们线上的版本相比，成本降低了15倍。再加上其他一些优化手段，最终路印协议每笔撮合...

问题 win10上跑——实践指南：构建一个零知识证明 DApp [译]demo时发生错误

win10上运行circom circuits/circuit.circom --r1cs命令时， 抛出错误： ``` >circom circuits/circuit.circom --r1cs --wasm --sym undefined ERROR at E:\区块链编码实现\circuits\circuit.circom:13,2-16,3 Sizes in assignment must be the same (node:17260) UnhandledPromiseRejectionWa...

文章 Rollup 介绍

...者的思路是有效证明（证明区块是有效的），通过名为零知识证明的方法提交一个区块的证明，这个证明可以在不泄露交易内容的情况下证明交易的状态变更的正确，链上的合约在通过默克尔树、证明进行验证，通过验证就固定...

文章 零知识证明 - Plookup算法介绍

最近有空看了看Plookup的论文。针对对电路描述不友好的操作（比如bit操作），Plookup给出了新的思路和证明方式。给定某个操作的真值表示（lookup table），证明某个操作的输入/输出是在真值表中。这种方式，相对之前的bit计算约...

文章 了解零知识证明历史

.../article…](https://learnblockchain.cn/article/7422)  零知识、简洁、非交互式知识证明（zk-SNARKs）是一种强大的加密原语，允许一方，即证...

文章 零知识开发者指南: 如何选择 ZK 技术栈

...ik.ca/general/2022/08/04/zkevm.html)，概述了不同类型的 zkEVM（零知识以太坊虚拟机）。他根据性能和兼容性的权衡轴定义了它们。  > zk 技术堆栈及其每个层级的示例工具/技术 ## 低...

文章 zksync 介绍

...言具体的，实现了 ZK Rollup 的项目，其采用了 ZK-SNARK 的零知识证明算法（经过 Boojum 升级后变为 ZK-STARK 的算法）。根据其官方所讲，其具有以下特点： * 可靠的安全性（继承自以太坊的安全性），对第三方零依赖（这个没看懂...

文章 P vs NP 及其在零知识证明中的应用

...，即 P ≠ NP。 通过理解 P vs NP 问题，我们可以看到零知识证明（ZKP）如何融入计算机科学的更大领域，并理解 ZKP 能做什么和不能做什么。 将零知识证明与 P vs NP 问题联系起来，能够更容易地“领会”零知识证明的概念。 ...

文章 三门加密学圣杯：FHE vs ZK vs MPC

...作?** - **它们如何为区块链应用工作?** ## **一、零知识证明(ZK):强调“证明却不泄露”** 零知识证明(ZK)技术探讨的命题是:如何在不泄露任何具体内容的情况下，验证信息的真实性。 ZK建立在密码学的坚实基础上...