...基本介绍 & 运行展示 2. DF开发初探 3. DF开发进阶 之 零知识证明的应用 & EIP2535 的应用 4. 游戏机制设计的探讨 ## 直播地址 直播地址：https://meeting.tencent.com/dm/pZZFntSYkIdZ #腾讯会议：166-779-117 $\,$ **入群申请**：https://tally...
...破坏安全性。 - **zk-Rollups** 依赖于必须复制整个 EVM 的零知识电路。如果电路滞后于 L1 升级（例如新的操作码），L2 可能会出现问题。通常，还有一个“治理多签”来处理紧急情况。 结果：每个 Rollup 投入成千上万的工程时...
... 今天，我们自豪地宣布，Zeth现在支持从以太坊主网以零知识构建和推导OP主网区块，并在链上验证这些证明。与第一次发布一样，第二次发布基于现有的revm、alloy、ethers crates及其对OP Stack的支持。 此发布标志着Zeth新特性的...
...的探索：电路与 zkVM，以及 zkVM 架构的未来，无论是为零知识定制设计还是基于通用 RISC 设计。 在此过程中，将会对系统的工作方式进行一些高层次的概述，但不会深入研究数学或密码学。重点是情景和权衡，着眼于时间和资...
...场景，否则对抽象数学没兴趣的人。他们只想掌握必要的知识，然后快速进入正题。这篇文章就是为这类读者量身定做的。 具体来说，抽象代数里有很多确实“有用”的概念，但抽象代数高度依赖于集合论。我们的目标是通...
...中立的生态系统范围内的机制，通过该机制，任何使用零知识证明系统的应用程序（L2、隐私协议和类似 zkemail 的钱包恢复是最自然的初始用例）中的证明者都可以提交他们的证明，并由一个聚合器将这些证明组合成一个单一的...
...工具比1990年代的密码朋克想象的要强大得多：高效的零知识证明 (ZK-SNARKs) 可以在透露足够信息以证明我们值得信赖的同时保护我们的身份，全同态加密 (FHE) 可以让我们在不查看数据的情况下对数据进行计算，而模糊化可能很快...
...型（BTC）与接收者的资产类型一致。Anoma 区块链能够在零知识隐私中结算该交易。在 Anoma 上，观察者将无法推断出 Alice 和 Bob 之间交易的任何信息。此外，该交易看起来与涉及 BTC、ETH 或任何其他加密货币的交易无异。 ### 使用...
...重点讨论了Scroll作为以太坊的扩展解决方案，如何利用零知识证明（zk）技术来提高交易的安全性和效率。 ### 核心内容概述 1. **zkEVM的定义与目标**：zkEVM是一个通用的zk-rollup解决方案，旨在提高以太坊的可扩展性，使其在安...
... Gabizon、Zac Williamson 和 Oana Ciobotaru 宣布了一种新的通用零知识证明方案，称为 [PLONK](https://eprint.iacr.org/2019/953)，其名称是"Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge"（关于拉格朗日基的普遍非交互知识论...
...，链上智能合约将会回滚不正确的区块。ZK 则是采用了零知识证明的方法，只有链上的智能合约检查提交的数据和零知识证明，检查通过后，状态提交则认为是有效的。 # 参考文章 [以太坊Layer2扩容方案之State Channel](https:...
...1. 资金发送方生成一个适配器签名（只需要用到有关 T 的知识） 2. 接收方验证这个适配器签名 3. 接收方使用秘密值 t 来补完这个适配器签名，并使用这个完整的签名 4. 发送方取完整的签名与适配器签名的差值，获得秘密值 t ...
.../learnblockchain.cn/2019/04/18/learn-zkSNARK)（一种非交互的自适应知识论证），我们就可以向一个或多个验证者提供一个简短的证明，证明我们对某些私人数据和函数(f)有特定的知识。现在让我们一起来了解使用 zkSnark 创建零知识证明的...
### **1. 核心基础与前置知识** #### **Square R1CS** PARI针对Square R1CS设计, 其约束形式为 $A z \circ A z = B z$($\circ$ 为哈达玛积), 需先将计算问题转化为该约束系统. - 输入: 变量向量 $z = (x, w)$($x$ 为公开输入, $w$ 为私密 witness). ...