...9f-84d4-d3dc1f9c2dd7&w=2048&q=80) ## 专为实时时代打造的 zkVM 零知识计算正在进入一个新阶段，这个阶段不仅由可能性定义，也由性能定义。 随着 R0VM 2.0 的发布，开发者现在可以更快地进行证明，构建更大的应用，并信任每一个结果...
我们很高兴地宣布 Succinct Processor 1 (SP1)：我们的第一代零知识虚拟机 (zkVM)，用于验证任意 Rust（或任何 LLVM 编译的语言）程序的执行。与现有的 zkVM 相比，SP1 的目标是在性能上提升一个数量级——其 alpha 版本对于某些程序来说...
...中处理批量操作 **协议设计** * 运行完整的零知识证明验证 * 复杂的加密操作而无需链外组件 * 具有复杂公式的实时自动化做市商 最终，这只是链上创造力。这是一种思维方式的转变，从稀缺、gas ...
最近翻到一篇利用零知识证明在以太坊上实现隐私交易的新方案。Zkopru采用的还是UTXO模型，交易隐私实现的思路和ZCash类似。Zkopru的这篇介绍比较详细的介绍交易的类型，layer1/layer2的交互等等。翻译了一下，方便其他小伙伴查...
...有整数加法，B 为目标群，◼ 为 B 的二元运算。 #### 零知识加法，示例 1 假设我们希望向验证者证明我们计算了 2+3=5。我们将给验证者 (x,y,5)，其中 x=ϕ(2)，y=ϕ(3)，验证者检查： $$ x◼y=?ϕ(5) $$ 注意，同态加密意味着验...
...种新的机密 token 扩展，被称为机密转账——一个利用零知识证明加密 SPL token 的余额和转账金额的隐私功能。 这一扩展的总体目标是通过关注机密性，而非匿名性，提高用户隐私。由于余额可以被加或减，Token Extensions 标准要...
...除了我们在审计关键区块链基础设施协议、智能合约和零知识实现方面的丰富经验外，我们团队中的许多成员还有学术研究背景。 在这篇博客文章中，我们希望介绍我们团队成员进行的关于 **智能合约** **安全性** 的学术研究...
...心化投票系统，使用 Noir，这是一种为构建保护隐私的零知识（ZK）程序而设计的领域特定语言（DSL）。在此过程中，我们将解释一些关键组成部分，例如 Noir 标准库及其预言机集成。 通过遵循本技术指南，你将学习如何开发...
...ain/tests/osaka/eip7692_eof_v1/) 的详细信息以及任何相关的背景知识。 | [Twitter](https://x.com/hydai_tw), [Email](mailto:hydai@hyd.ai) | | 社区与教育 | | [ETH Belgrade](https://x.com/ethbelgrade) | [ETH Belgrade University](https://ethbelgradeuniversity.com/) 和社区倡议，...
...ulating-op-rand-by-olkurbatov/#%E9%A2%84%E5%A4%87%E7%9F%A5%E8%AF%86 "预备知识")预备知识 $G $是一个阶数为素数 $p$ 的循环群，$G∈G$ 是该群的生成元。 $a∈Fp$ 是一个标量值，而$ A∈G $是一个属于该群的元素。 $hashp(m)→h∈Fp$ 是密码...
...。主流的Rollup技术可以分为两类： - zk-Rollup：基于零知识证明的Layer2扩容方案，采用有效性验证方法(VP)，默认所有交易都是不诚实的，只有通过有效性验证才会被接受。ZkRollup在链下进行复杂的计算和证明的生成，链上进行...
...ryan **P**arno，Mariana **R**aykova在20**13**年提出的算法。 零知识证明（[zk-SNARK](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/) )，从[QSP/QAP](https://learnblockchain.cn/2019/05/07/qsp-qap/)到Groth16，期间也有很多学者专家，提出各种优化（优化计算...
...ZK Chain）之间的连接器，负责检查提交的有效性证明（零知识证明）与数据可用性，处理 L1 L2 的通信（存取款等），完成 L2 上的状态转换（zksync 的状态更替）。 > L2 部分也部署了一些重要的合约执行一些逻辑行为，这些合约...