找到约 12 条结果

文章 智能合约安全审计入门篇 —— 访问私有数据

...解如何访问合约中的私有数据(private 数据)。 ## 前置知识 我们先来了解一下 solidity 中的三种数据存储方式: ### 1. storage(存储) * storage 中的数据被永久存储。其以键值对的形式存储在 slot 插槽中。 * storage 中的数...

文章 各智能合约编程语言的权衡

...性。 更重要的是,众所周知,许多**加密算法和基于知识的**应用都是使用Rust实现的。 尽管如此,区块链的**实用性**(如**无信任和去中心化**)被权衡了,因为它是一种通用的编程语言,不限于智能合约背景。换句话说...

文章 每周以太坊进展 2023/7/15

...e):一个受 BG12 启发的 秘密单一领导人选举 go 实现 (知识洗牌算法)。 ## 客户端版本 * 共识层: * Prysm [v4.0.7](https://github.com/prysmaticlabs/prysm/releases/tag/v4.0.7)比v4.0.6优化了:slot 0的验证者提案时间减少了800ms、减少...

文章 理解PLONK

... Gabizon、Zac Williamson 和 Oana Ciobotaru 宣布了一种新的通用知识证明方案,称为 [PLONK](https://eprint.iacr.org/2019/953),其名称是"Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge"(关于拉格朗日基的普遍非交互知识论...

文章 谈话记录:可扩展区块链作为数据层 | 维塔利克·布特林

...的精彩演讲,提供了有关 Rollup 机制的更多细节:[使用知识证明的扩展](https://www.youtube.com/watch?time_continue=1&v=aEqhjpjoaEA)。这里还有一个关于 SNARKs 和 STARKs 之间差异的良好探讨。 最后,看起来 Matter Labs 正在继续通过 SNARKs 进行...

文章 BitVM 概述:将有效性证明引入比特币

...://zerosync.org/) 团队的一员,该项目致力于为比特币开发知识证明系统),开发人员在过去几个月开始对该协议进行实验,并且越来越感兴趣。 你可以将 BitVM 视为参与者事先同意遵循的分布式协议/规则集,而不是由软件实现...

文章 以太七日谈 • 2022/9/6

...NIPOI8SIAEExnQfNp8) **“zkp 生成”的硬件加速** 近来知识证明领域中备受关注的一个研究方向是“证明生成”的硬件加速,因这是解决“证明生成”效率低下的一大关键。9 月 5 日,区块链公司 Amber Group 发布了一篇关于生成...

文章 Vitalik:为何需要区块链投票?

...的投票系统***不只是*使用区块链**;**它们还依靠诸如知识证明之类的密码学来保证正确性,并依靠多方计算来保证抗胁迫**。因此,它们避免了那些更为“天真”的投票系统的弱点,即只是“把选票直接投给区块链”而忽略...

文章 SPL Token 2022 隐私扩展的形式验证

...况下对帐户余额进行声明。虽然这似乎有些神奇,但 [知识证明 (ZK) 证据](https://en.wikipedia.org/wiki/Zero-knowledge_proof) 则可以完全实现。我们在这篇文章末尾提供了一个链接,以便你想了解更多关于 ZK 证明以及它们是如何在 Solana ...

文章 一文读懂Web3身份:区块链、身份证明和预言机

...来源。用户无需向预言机暴露数据隐私,而是可以通过知识主张来进行证明。最终,预言机可以验证用户链下身份信息的有效性,同时还能保障数据隐私。 ## Web3身份解决方案赋能全新应用场景 以下是七个独特的链上身...

文章 分片的现状

...于异步的跨shard通信和状态分片来说都很有用,但运行知识证明方法如zk-SNARKS的成本仍然非常高。在以太坊的Ropsten测试网中,一次ZCash的zk-SNARKS验证大约需要10美元。它的速度极慢,并且此时依赖于高度实验性加密原语。 ## 设...

文章 区块链投票在不知情的人群中被过誉,但在知情的人群中却被低估

...杂的投票系统并不仅仅使用区块链;它们依赖于诸如 [知识证明](https://learnblockchain.cn/article/10962) 的密码学来保证正确性,以及多方计算以保证抗强迫能力。因此,它们避免了更简单系统的缺陷,这些简单系统仅仅“将投票直...