...[noble cryptography](https://paulmillr.com/noble/) 并行创建和验证零知识 SNARK 证明。 - 支持 Groth16。计划支持 PLONK 和其他算法 - 可选，使用 Web Worker 实现快速证明生成 - 支持现代 wasm 和旧版 js circom 程序 - 解析 R1CS，WTNS ### 用法 `np...
...上共享输入和模型，从而损害隐私。 ZKML 是一种基于零知识 (ZK) 的机器学习 (ML) 系统，零知识是一种加密方法，允许一方向另一方证明他们知道一条信息或已正确执行计算，而无需泄露信息本身或任何信息。有关计算的详细信...
...款证券化，收益按链上智能合约自动分配。 ### 4. **零知识证明（ZKP）赋能** * **隐私化流动性池** Penumbra 的 **zk-Swap** 实现完全隐蔽的交易路径： ` 用户A → [zkProof生成] → 验证节点 → [UTXO销毁/铸造] → 用户B ` ...
...户自己去记忆这个盐值。 #### （3）ZK Proving Service（零知识证明服务） 它也是一个后端服务，负责根据`JWT`、`JWT`随机数、用户盐值和最大纪元生成`ZK`证明。该证明与 `zkLogin` 交易的临时签名一起在链上提交。 ### 3.2 流程说...
零知识（ZK）证明正在为 web3 的最新创新提供动力。它们已经被应用在诸如 [Polygon 的 zkEVM](https://polygon.technology/polygon-zkevm) 等产品中，为以太坊带来可验证的扩展性，以及 [Polygon ID](https://polygon.technology/polygon-id) 中，用于在不泄...
...项目；大饼🫓：指比特币）。 随着zkSync的上线（零知识证明的以太坊扩容项目、兼容EVM），我们对Layer2的关注度越来越高，我们今天不聊黑话，聊聊这些Layer1、Layer2是什么意思，科普一下～ 所谓Layer，通常是对一类...
... | | 为 zkEVM、形式化验证打基础 | 其形式化定义为零知识证明和安全工具提供基准 |
...连接，引导普通人理解抽象后的逻辑。 网络上讲解零知识证明的文章就不多，这些文章要不太浅显，要不太深入，很少有能给入门者整体框架上的认识。 比如，阿里巴巴零知识证明就是一个非常好的通俗理解零知识证明的...
...计算便宜。而且，与其他L2解决方案相比，ZK Rollups凭借零知识证明技术实现了快速终结性，交易最终确定时间最短。此外，ZK Rollups通过数据压缩减少链上存储量，仅保留必要的验证数据，这进一步节省了成本。 然而，当前的Z...
zkEVM是零知识证明相对复杂的零知识证明应用，源代码值得反复阅读和学习。 https://github.com/appliedzkp/zkevm-circuits.git 本文中采用的源代码对应的最后一个提交信息如下： ``` commit 1ec38f207f150733a90081d3825b4de9c3a0a724 (HEAD -> main) A...
零知识证明 (ZKP) 已经从提供隐私和可验证性的理论概念发展到具有实际的、现实世界的实现。一些最常见的用例包括区块链中的私有交易（例如，[Zcash](https://z.cash/)）、具有私有智能合约能力的区块链（例如，[Aleo](https://aleo.org...
...SC Zero zkVM——一个利用RISC-V架构进行安全和私密计算的零知识虚拟机。 虽然我们为RISC Zero完成了多次安全审核，但我们的安全合作不仅限于审核。 在这篇博客文章中，我们强调了我们是如何合作的，使用**Picus**，Veridise的自动...
... Papers ### 【论文速递】Crypto 2024 （多项式承诺、SNARKs、零知识证明、数据可用性采样、后量子聚合签名） - ### Improved Lattice Blind Signatures from Recycled Entropy - ### Raccoon: A Masking-Friendly Signature Proven in the Probing Model - ### Identity-Based En...