...转换在 Layer 1 (L1) 上进行验证和最终确定。L1 通过验证零知识证明来确保每个状态转换都有效,从而使 Lighter 成为 ZK rollup。零知识证明不仅证明了一系列状态转换已正确执行,还将子状态转换的压缩摘要公开给 L1。 将子状态转...
...一个新的信号。 ### 加密货币作为区块链之外的原语 零知识证明系统的进步正在使可验证计算在区块链之外变得实用。随着开销的减少和性能的提高,为普通计算生成正确的加密证明变得可行。 这解锁了可验证的云计算、可...
...解如何访问合约中的私有数据(private 数据)。 ## 前置知识 我们先来了解一下 solidity 中的三种数据存储方式: ### 1. storage(存储) * storage 中的数据被永久存储。其以键值对的形式存储在 slot 插槽中。 * storage 中的数...
...中的每一次状态转换的具体数值,RGB 还实现了 **一种零知识证明机制**;这种机制叫做 “Bulletproof”,是由 Blockstream 公司开发出来的,它是 “机密交易(Confidential Transactions)”(已经用在 Liquid 侧链中) 的一种经过优化且效率...
...杂的投票系统并不仅仅使用区块链;它们依赖于诸如 [零知识证明](https://learnblockchain.cn/article/10962) 的密码学来保证正确性,以及多方计算以保证抗强迫能力。因此,它们避免了更简单系统的缺陷,这些简单系统仅仅“将投票直...
...e):一个受 BG12 启发的 秘密单一领导人选举 go 实现 (零知识洗牌算法)。 ## 客户端版本 * 共识层: * Prysm [v4.0.7](https://github.com/prysmaticlabs/prysm/releases/tag/v4.0.7)比v4.0.6优化了:slot 0的验证者提案时间减少了800ms、减少...
...,这些项目为用户提供了几乎两年的可靠服务。同时,零知识(ZK)rollup如Starkware、zkSync和Polygon zkEVM也在过去几个月中全面对公众开放。 这些rollups已经证明是可行的,意味着现在可以关注启动和维持数百(甚至数千)个rollups...
如果你是因为对 web3 和区块链感到困惑而来到这里,别担心,我曾经也在互联网上经历过同样的困惑,试图理解这项新的热门技术,它有一些花哨的术语,以及一些非技术人员甚至技术人员都难以理解的术语。因此,在这篇博客...
...以及它如何为 ZK-EVM 工作。” - Rollup 有两种类型:[零知识 rollup](https://ethereum.org/en/developers/docs/scaling/zk-rollups/) (ZK-rollups) 和 [乐观 rollup](https://ethereum.org/en/developers/docs/scaling/optimistic-rollups/)。它们的区别在于它们使用的证明类...
...资产,如现金、大宗商品、股票、债券、信用、艺术品和知识产权。RWAs的通证化标志着这些资产被访问、交换和管理的形式发生了重大变革,为区块链驱动的金融服务以及由[密码学和去中心化共识](https://blog.chain.link/what-is-crypto...
...性。 更重要的是,众所周知,许多**加密算法和基于零知识的**应用都是使用Rust实现的。 尽管如此,区块链的**实用性**(如**无信任和去中心化**)被权衡了,因为它是一种通用的编程语言,不限于智能合约背景。换句话说...
...降低我们可以降低的价格(最显著的是租金)。 #### 对知识产权的 Harberger 税 所谓的“知识产权”(即版权和专利)是精英控制最严的“财产”形式之一,也是对动态最有害的政府监管形式之一。另一方面,许多人担心完全取...
...尚待完全测试,因此都只是作为考虑选项。 ### **零知识(ZK)见证压缩** 大约70%的见证都是哈希。也许可以使用ZK-STARK证明技术来压缩和验证那些中间哈希。目前有许多关于零知识相关的研究,但是它到底如何起作用,或...
...的精彩演讲,提供了有关 Rollup 机制的更多细节:[使用零知识证明的扩展](https://www.youtube.com/watch?time_continue=1&v=aEqhjpjoaEA)。这里还有一个关于 SNARKs 和 STARKs 之间差异的良好探讨。 最后,看起来 Matter Labs 正在继续通过 SNARKs 进行...