找到约 13 条结果

文章 区块链技术入门-挖矿的7个步骤

...受这个块的数据),这个数据块首先需要签名(也叫“工作证明”)。这个签名是在解决了一个非常复杂的数学问题后得到的,这个签名是独一无二的。每个区块需要解决的数学问题难度是一样的。为了解决这个数学问题,需要耗费...

文章 ICICLE V3.5:带有 Lambda 函数的 Sumcheck

...,旨在增强密码学家实现高级算法和协议的能力——从知识证明 (ZKPs) 开始——具有卓越的性能和易用性。它标志着朝着与硬件无关的密码学解决方案迈出的重要一步,确保在各种硬件平台上实现无缝兼容,且切换成本为。 ...

文章 隐私支付协议 — — 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。 ## ...