...以太坊生态系统中发挥重要作用，尤其是在ZK-EVM和其他零知识证明相关的项目中。 总之，Nova通过其创新的折叠机制和高效的验证过程，为区块链技术的可扩展性和效率提供了新的解决方案，值得关注和进一步研究。
...除了我们在审计关键区块链基础设施协议、智能合约和零知识实现方面的丰富经验外，我们团队中的许多成员还有学术研究背景。 在这篇博客文章中，我们希望介绍我们团队成员进行的关于 **智能合约** **安全性** 的学术研究...
本期视频是 从0到1: 掌握零知识证明与 zkMIPS 开发实战 系列课程的第四课，本课通过 zkMIPS project template 实战帮助大家更好的了解和掌握 zkMIPS 相关知识点。
...保护隐私。全同态加密（FHE）、安全多方计算（MPC）和零知识证明（ZKP）都是保护隐私的计算方法，但它们在成本、灵活性和易用性方面存在缺陷。 全同态加密的主要缺陷是计算费用和处理成本高。 MPC是一种强大的保持隐私...
... 但是在章节开始之前，你需要**必须 🚨**掌握以下前置知识： - 基础的计算机知识 - [有限域](https://www.zk101.io/knowledges/0_field) - [乘法群](https://www.zk101.io/knowledges/1_multiplicative_cyclic_group) 以上内容均为超级精简版，强烈推荐...
在这段视频中，Yupeng Zhang 讨论了零知识证明（ZKP）在区块链和加密货币之外的应用，主要集中在机器学习、程序分析和中间盒（middlebox）等领域。 ### 核心内容概括 1. **机器学习中的应用**：ZKP可以确保机器学习模型的公平性...
>出品：DODO Research > >编辑：yaoyao & Lisa > >作者：dt > 以太坊二层扩容机制，是当今区块链的显学，也是兵家必争之地。 > > $\,$ > > > 本文将介绍第一个上线主网使用 zk-rollup 技术的二层网路 zkSync 从公链本身介绍到生态项...
...提到了去中心化标识符（Decentralized Identifiers）和基于零知识证明（zk-SNARKs）的匿名凭证（anonymous credentials），这些技术在保护隐私和安全性方面至关重要。 其次，Andrew讨论了真实姓名和权威身份（如政府颁发的身份证件）在DeF...
...9f-84d4-d3dc1f9c2dd7&w=2048&q=80) ## 专为实时时代打造的 zkVM 零知识计算正在进入一个新阶段，这个阶段不仅由可能性定义，也由性能定义。 随着 R0VM 2.0 的发布，开发者现在可以更快地进行证明，构建更大的应用，并信任每一个结果...
...是比较高的，但是仅仅利用链上的智能合约来验证一个零知识证明的 PROOF 是否正确，成本是相对低很多的。另外必要的转账信息也会被和证明一起提交到合约，方便用户查账。 ## **两类角色** zkRollup 系统中包含两类角色：tr...
## 摘要 Nightfall 是一种零知识证明的实现， 它使用 zk-SNARKS 让同质化[ERC20](https://learnblockchain.cn/2018/01/12/create_token/)和[非同质化的通证ERC721](https://learnblockchain.cn/2018/03/23/token-erc721/)系列的通证进行隐私化转移，使得交易能够完成...
...法分辨，但允许通过向验证者揭示`r`（或通过提供一个零知识证明，证明存在这样的`r`使得`P`被正确计算）来证明输出创建者并不知晓`P`的离散对数。 此外，具有在比特币脚本中可验证的边际条件的状态机可以通过使用既消...
...**: zkCoins 是一种比特币的扩展方案。它将客户端验证与零知识证明系统相结合将大部分验证复杂性都转移到链外，并在交易的各个发送者和接收者之间直接进行通信。全局共识规则很少，这使得区块验证变得简单。甚至不需要全...
...主要有三种方法来让 LLM(large language model) 推理可验证：零知识证明、乐观欺诈证明和加密经济学。每个都有其自己的安全性和成本影响。 ### AI学习，开始于此 https://linklearner.com/home **Caos**: 数据驱动的 AI 学习网站，包含了...