...高吞吐量和低燃料费的使用权益证明(Proof-of-Stake)和零知识卷叠(ZK-Rollup)的区块链一层网络。Espresso同时研发了以太坊的可配置隐私资产(CAPE),它是一个可以运行在任何EVM兼容链上的应用(并最终会运行在Espresso上)。CAPE...
...ollups)的框架。使开发人员能够以最小的学习曲线构建零知识隐私保护应用程序。 该框架本身由[O1JS](https://www.npmjs.com/package/o1js),用于构建 zkApps 的 SDK。得益于 O1JS,所有使用 Protokit 构建的应用程序在设计上都与 Mina 区块链...
...,需要解题者对 STARK 证明的整个逻辑步骤有较为清晰的知识。 来回顾一下题目:Alice使用 STARK 电路写了一个斐波那契数列的计算程序,能够同时生成 STARK 证明并验证。某天她收到了一个错误的证明,计算出数列的第32项等于1...
...数据量和 Gas 费。而实现证明的路线又分为欺诈证明和零知识证明。 欺诈证明本质上是一个信任系统。你发送一笔交易,证明人会发表一个证明:你发送交易的计算结果是 A。这个证明出来的结果默认是正确的,但有一定时间...
...与混币后的加密货币之间创建随机的联系,我们将使用零知识证明来解决在不暴露相关信息的情况下,证明加密货币所有权的问题。 ## 为什么需要混币/隐私币 最主要的原因是混币帮我们解决了匿名与隐私以及货币可互换性...
...该示例代码前,请仔细阅读libsnark的源代码分析: [零知识证明 - libsnark源代码分析](https://learnblockchain.cn/2019/08/15/libsnark-source) 唯一有点遗憾的,libsnark没有给个完整的电路构造实例,入门者想搭建自己的电路,刚开始有点摸...
## **介绍 Noir:零知识的通用语言**  经历了 18 个月的开发,我们很高兴地介绍 Noir:零知识证明的语言。 Noir 是一种基于 Rust 的特定领域语言 (DSL),用于创建和验证零知识证明...
前一段时间,介绍了几篇零知识证明文章:[入门zkSNARK](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/), [从 QSP 到 QAP](https://learnblockchain.cn/2019/05/07/qsp-qap/),[Groth16 算法介绍](https://learnblockchain.cn/2019/05/27/groth16/), 今天这篇文章分享下...
...间。* ## 引言 隐私性和可扩展性研究团队都在填补零知识证明的前沿研究和以太坊应用开发之间的空白。 我们最近研究的一个重点领域是 [zkopru](https://zkopru.network/)(使用零知识证明的 optimistic rollup),这是一套为隐私交...
...去过Solana Breakpoint的人说了很多有意思的见闻。 ### 零知识虫洞 https://eip7503.org/ **松**: Nobitex Labs 提出 EIP7503,该提案的主要目标是通过采用「烧毁和重铸」机制,结合 ZK Proof,在以太坊网络内实现私密转账。这个机制类似...
...**: zkCoins 是一种比特币的扩展方案。它将客户端验证与零知识证明系统相结合将大部分验证复杂性都转移到链外,并在交易的各个发送者和接收者之间直接进行通信。全局共识规则很少,这使得区块验证变得简单。甚至不需要全...
...主要有三种方法来让 LLM(large language model) 推理可验证:零知识证明、乐观欺诈证明和加密经济学。每个都有其自己的安全性和成本影响。 ### AI学习,开始于此 https://linklearner.com/home **Caos**: 数据驱动的 AI 学习网站,包含了...
...克拉克所著名所说)。一个像科幻小说般进展的领域是零知识证明(或 ZKP),这是一种解决 web3 中两个关键挑战的加密工具:[可扩展性](https://zksync.io/) 和 [隐私](https://aztec.network/)。特别是,ZKPs 可能是降低交易费用、设计新的...
...洁的方式,使用Rust编写add-ons无缝接入Node生态。 ### 零知识证明 在SSL 中的潜在应用 https://mp.weixin.qq.com/s/_IH870XfDKB83NAE2zHuHA **Shooter**: DECO利用三方握手协议,将预主密钥分成两个加性分片,分别由客户端和第三方验证者持有...