找到约 15 条结果

文章 Layer2 开发教程 # 2 zkSync 基础

...kSync 是一种基于以太坊的二层扩容解决方案,它利用了知识证明技术来提高交易吞吐量和降低交易成本。zkSync 属于目前以太坊比较流行的扩容方案 ZK-Rollup 的一种,通过将大量交易批量处理并将结果提交到以太坊主链来实现高...

文章 2025/05 ZK 技术进展 by ZK Mesh

...通讯,涵盖了高级隐私增强密码学、分布式协议开发和知识系统研究的最新进展。 我们为你带来最新的研究、有用的文章、视频、播客、推文、工具、项目更新和活动。预计每个月都会有新的版本。请务必分享并[订阅](http...

文章 区块链中的数学 - 随机可验证函数(VRF)

...输出。可验证随机函数比随机预言机多了一个非交互的知识证明,可以用来验证该随机数输出的正确性,表明这个随机数的确是某个人或者节点生成的。 使用 VRF,达到的目的跟 POW 的过程有些类似,就是为了随机而又安全...

文章 区块链中的数学 - Kate承诺

## 写在前面 上一篇介绍了[多项式知识和承诺](https://learnblockchain.cn/article/2165), 本文继续讲述完整的Kate承诺。 ## Kate承诺 Kate承诺是Kate,Zaverucha,Goldberg等人在2010年提出的多项式承诺方案。 该方案包含以下六个方法: ...

文章 对ZK应用程序的审计示例:Tornado Cash

...证明的有效性,并重新提交带有已更改值的证明。 - 知识滥用 在此情况下,来自公共值或证明的信息可以用来恢复私有值并泄露,或者对此内容做出一些建议。 考虑到这些向量,我们需要确定作为输入和输出使用的...

文章 Bulletproofs 中的“冰冻之心”漏洞

...es-affecting-girault-bulletproofs-and-plonk/)中,我们披露了破坏知识证明系统多个实现健全性的严重漏洞。这类我们称之为 Frozen Heart (冰冻之心) 的漏洞,是由 Fiat-Shamir 转换的不安全实现引起的,这些实现允许恶意用户伪造随机声明的...

文章 ZK Mesh:2025年9月回顾

一份分享去中心化隐私保护技术、隐私协议开发和知识系统领域最新进展的月度新闻通讯 ## ZK Mesh:2025 年 9 月回顾 欢迎来到 ZK Mesh,这是一份精心策划的月度新闻通讯,涵盖了先进的隐私增强密码学、分布式协议开发...

文章 zkSNARK 合约「输入假名」漏洞致众多混币项目爆雷

大量知识证明项目由于错误地使用了某个 zkSNARKs 合约库,引入「输入假名 (Input Aliasing) 」漏洞,可导致伪造证明、双花、重放等攻击行为发生,且攻击成本极低。众多以太坊社区开源项目受影响,其中包括三大最常用的 zkSNARK...

文章 实现加密隐私与监管合规

_编者按:以下是论文“使用知识证明的隐私保护监管解决方案”的简短摘要,以博文形式呈现。下载[完整论文](https://a16zcrypto.com/wp-content/uploads/2022/11/ZKPs-and-Regulatory-Compliant-Privacy.pdf),或在此处阅读文本[此处](https://a16zcrypto.co...

文章 Vitalik: zk-SNARK 何以可能 —— 引介杀手锏“多项式承诺”

...到过去十年来诞生的最强密码学技术,肯定免不了提及知识证明 (zero knowledge proof)。在区块链领域中,它们有两大应用场景:可扩展性和隐私。[zk-SNARK](https://learnblockchain.cn/article/1662) 作为其中一种 zkp 技术,在近几年来也得到...

文章 知识虚拟机进展:知识虚拟机持续改进

## 1. **zkVMs 进展** 自从知识(ZK)证明被引入以来,该领域已经从理论加速发展到生产系统。通用 zkVM 已经成为可验证计算的关键抽象:程序在对证明友好的虚拟机上运行并发出简洁的证明,从而减少了开发人员的摩擦并扩大...

文章 Valida Plus 发布(分段证明、区块证明、客户端证明

... Valida 0.10.0,并加入我们,共同构建高性能、可编程的知识计算的未来。 👉 [文档](https://lita.gitbook.io/lita-documentation) 👉 [GitHub](https://github.com/lita-xyz/valida-releases) ‍ >- 原文链接: [lita.foundation/blog/ann...](https://www.lita.foundation...

文章 Zama 的阈值密钥管理系统 (TKMS) 介绍 - 解决 FHE 密钥管理问题

...于 Zama 的 [TFHE-rs](https://github.com/zama-ai/tfhe-rs) 库中的 [知识证明](https://en.wikipedia.org/wiki/Zero-knowledge_proof) (ZKPoKs),以及用于 BGV和 BFV 加密方案的简单版本的门限解密和密钥生成的代码——即使它没有在 Zama 的产品中使用。 **适...

文章 Oasis如何在TEE的弱点面前保护隐私

...算方法,如全同态加密(FHE)、安全多方计算(MPC)和知识证明(ZKP),在成本、灵活性和可用性方面存在缺陷。 同态加密的主要限制是计算开销高和处理成本。 MPC是一种良好的隐私保持计算方法。然而,它可能是最昂贵...

文章 ZeroSync 路线图

...前 UTXO 集,就可以同步修剪后的全节点。运行一个经过知识同步(zerosync)的全节点无需修改 Bitcoin Core 的代码。我们会在验证后将 此 UTXO 集复制到 Bitcoin Core 的链状态目录中。理想情况下,我们会将此 UTXO 集与 [AssumeUTXO](https:...