找到约 15 条结果

文章 隐私支付协议 — — MobileCoin 最全介绍

...有控制权。 - 分布式账本 MobileCoin 区块链是一种知识的数据结构,由 UTXO、密钥镜像(key images)和用于确保一致性和结构的 Merkle 证明的元数据块组成。 每个区块都包含可供未来花费的 UTXO,每笔交易都包含了未花...

文章 每周以太坊进展 2020-01-11

... 介绍](https://hackmd.io/benjaminion/bls12-381) * [可视化适用于知识证明的高效默克尔树](https://kndrck.co/posts/efficient-merkletrees-zk-proofs/) * Haseeb Qureshi:[写给程序员的密码学货币品类介绍](https://nakamoto.com/introduction-to-cryptocurrency/) * Eli Ben...

文章 用 RISC-V 替换 EVM

...约代码的执行、gas 记账、内存和状态。众所周知,在知识(ZK)中执行和证明它非常困难。在过去的几年里,Buterin 和其他研究人员一直在探索创建 ZK 友好的 EVM 版本的方法,称为 ZKEVM。 _**(有关 ZK、ZKEVM 及其对扩展的好处...

文章 Signet:一个务实的以太坊 Rollup ( 简化 Rollup )

...证明系统 大多数Rollup使用复杂的证明系统如乐观或知识证明与以太坊进行通信。这些系统引入了显著的开销和复杂性,而对大多数用户来说并不必要。Signet 通过市场促进跨链转移,而不是将资产“证明”回到以太坊。 这...

文章 Move智能合约的形式化验证工具

...人,前阿里巴巴 JVM 专家。专注于智能合约编程语言、知识证明密码学研究。*

文章 V神的交易所储备证明: Having a safe CEX: proof of solvency and beyond

该repository作为本人读书笔记, 记录知识的获取, 以blog的形式记录下来. 该文库我会不断更新, 如果喜欢的话麻烦点一下`star`. 由于文章由markdown的方式编写, 部分链接与图片显示可能存在问题, 大家可以移步到[github源](https://github.co...

文章 Walrus 一个去中心化存储与数据可用性协议

...重要。这也可以包括额外的审计数据,如有效性证明知识证明或大型欺诈证明。 * **支持完整的去中心化 Web 体验**:Walrus 可以托管完整的去中心化 Web 体验,包括所有资源(如 JS、CSS、HTML 和媒体)。这些不仅提供内容,还...

文章 Optimism 中文周刊 #30

...的 zkVM SP1,任何 OP Stack 链现在都可以在一小时内集成知识证明。此升级提供了更快的终结性、更低的成本(每笔交易低至 0.5 美分)和易于集成,使得 zkEVM 无需深厚的密码学专业知识即可访问。OP Succinct 增强了以太坊的扩展...

文章 利用Web3信誉构建更易识别的世界

...人活动的有效性可以得到验证而无需披露内容(例如,知识证明),则可以大大提高 Web3 声誉解决方案的实用性。 \* **加粗**_我们将要查看的并非所有解决方案都采用这种结构。_ ### 3.3 Web3 声誉的用例 今天,我们使用...

文章 Anoma架构概述

...该账户的交互仅在纳入碳成本的情况下进行,或仅允许知识隐私中的交互。 以下是用Rust实现的基本用户账户有效性谓词示例: ``` [...]#[validity_predicate] fn validate_tx( tx_data: Vec, addr: Address, keys_changed: HashSet, verifiers: H...

文章 Danksharding、4844 万字研报:白话解读「不可能三角」的变革性解决方案

...关于 Danksharding 的中文文章十分少并且大多都需要较高的知识门槛,因此菠菜将尝试为你掰开揉碎背后的复杂原理,通过用简单的大白话去让一个 Web3 初学者也可以看懂以太坊新分片方案 Danksharding 及其前置方案 EIP-4844。 ## ...

文章 [镜像] 探索椭圆曲线配对技术

...一,包括确定性阈值签名、zk-SNARKs以及其他简单形式的知识证明,是椭圆曲线配对。椭圆曲线配对(或称“双线性映射”)是过去30年来在加密应用中使用椭圆曲线的最新补充,包括加密和数字签名;配对引入了一种“加密乘...

文章 SNARK设计的新纪元:发布Jolt

...应用它。 **SNARK 设计中的挑战。** Jolt 是一个 zkVM(知识虚拟机)——一种让证明者能够证明其正确运行了指定计算机程序的 SNARK,其中程序是用某种简单 CPU 的汇编语言编写的。zkVM 提供了极好的开发者体验:它使得任何能...

文章 区块链及其对世界的影响

...目前的状态。数据储存在区块链上,会使用一种叫做“知识证明”的隐私保障技术,只有协议中的各方才能读懂数据。这个证明是各方对业务流程状态的共同参考框架,比如买家和卖家之间约定的折扣条款。 ### 永久记录 ...

文章 用Python从开始创建区块链

...Unix时间戳(timestamp),交易列表(transactions),工作量证明(稍后解释)以及前一个区块的Hash值。 以下是一个区块的结构: ```javascript block = { 'index': 1, 'timestamp': 1506057125.900785, 'transactions': [ { 'sen...