找到约 14 条结果

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

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

文章 剖析目前 Layer3 的整体格局

...去中心化的以太坊 L3 区块链; ○ Zklink: 是一个基于知识技术承载交易场景的多链 rollup 基础设施; ○ Xdai: 利用 Arbitrum AnyTrust 实现下一代视频游戏的开放交易。 ### 3.2 **各 Layer3 的优逆势分析** • Arbitrum orbit: Arbitrum 推...

文章 Sui 概览:技术特色与生态发展现状

...和 Diem 稳定币的项目。他们利用在区块链领域的深厚专业知识,在 Web3 领域进行创新。 * 融资 2022 年 9 月 8 日,Mysten Labs 完成了最新一轮融资,成功筹集 3 亿美元,估值达到 20 亿美元。除 FTX Ventures 领投之外,这轮融资还得...

文章 Aleo (ALEO): Aleo 区块链的技术架构

...** > > - **zkCloud**: 一种去中心化的链下计算环境,通过知识证明确保隐私和可扩展性。 > > - **snarkOS 和 snarkVM**: 在 Aleo 区块链上实现私有智能合约和程序执行的核心组件。 > > - **AleoBFT 共识**: 结合权益证明和工作量证明,实现可...

文章 解构 Rollup、铭文与 SCP

...背了 L2 的宗旨。因此,才会有 OP(欺诈证明)和 ZK(知识证明)这样的懒惰验证法。 4/ OP 的意思是:我作为 L1,默认不亲自验证,任何第三方都可以来验证,发现不对的地方告诉我,我再来亲自验证核实,核实确有欺诈...

文章 Dilithium(又名ML-DSA)与菲亚特-沙米尔方法的美妙世界

...lithium(又名 ML-DSA)的精彩世界和 Fiat Shamir 方法 ### 当知识证明方法变成数字签名 你知道知识证明(ZKP)方法现在正被用于数字签名吗?我将在本文中解释,届时我们将遇到将 ZKP 方法扩展到具有量子鲁棒性的数字签名世...

文章 Rollup 各方案异同简介

...,ZK-Rollup 系统使用的是 ZK-SNARKs ,即,一种易于验证的知识证明系统 。这对于矿工和其他观察者来说很友好,因为验证证明的成本较低,可以立即核实 assertion 的正确性。但是,知识证明系统也有一个很大的缺点:除非要断...

文章 来自曲线树的匿名用途 token

...形式的(使用的是点,而非哈希值),这就允许你创建知识证据(ZKP)(在这里,算术电路使用 bulletproof),描述你放在这棵树上的对象(公钥)。那么,你就可以说,“这个公钥是这组 taproot 输出中的 10 万个公钥的其中之...

文章 知识证明的先进形式化验证:如何证明知识内存

...ockchain.cn/attachments/2024/09/y8jZ2RaW66e4010f3b501.png) 在关于[知识证明的先进形式化验](https://mp.weixin.qq.com/s?\__biz=MzU5OTg4MTIxMw==\&mid=2247502807\&idx=2\&sn=78500f419cac74bcaed529ac7f739c9b\&scene=21#wechat_redirect)证的系列文章中,我们已经讨论了[如何...

文章 编写知识 dApp

.../learnblockchain.cn/article/6868) 这篇文章将介绍如何将知识电路集成到智能合约中,然后再集成到 dApp 中。 ![img](https://img.learnblockchain.cn/pics/20231108154537.png) 欢迎来到知识的世界 ## 介绍 知识(ZK)密码学世界在过去...

文章 使用 WASM 的累加器:浏览器中的密码学配对

...信息的情况下,直接证明我们知道某些东西呢?好吧,知识证明(ZKPs)旨在做到这一点。在这种情况下,我们将研究一种使用双线性映射的累加器方法,该方法最初由 Lan Nyugen 在 \[1] \[ [here](https://eprint.iacr.org/2005/123.pdf)\] 中提...

文章 可验证智能合约简介

...被接受,增强了智能合约的安全性。 3. **隐私:** 像知识证明(ZKP)这样的技术可以在不透露任何敏感信息的情况下验证交易。 ## StarkNet 和 Cairo StarkNet 是以太坊上的一个 Layer-2 网络,使用 STARK(可扩展透明知识论证)...

文章 密码学在区块链安全中的作用

...些系统抵御潜在攻击的能力。 其中一种技术是使用**知识证明**(ZKP)。ZKP 是一种密码学方法,允许一方在不泄露超出声明本身有效性的任何其他信息的情况下,向另一方证明某个声明是真实的。在区块链的上下文中,ZKP 可...

文章 MiMC7哈希算法

...MC 7 哈希 我们典型的密码学哈希,例如 SHA-256,通常在知识证明(例如 zkSNARKs)中实现起来成本太高。为此,我们需要一种可以在有限域上实现的哈希方法。三种典型的方法是 **Pedersen 哈希** \[ [这里](https://asecuritysite.com/baby_ju...