找到约 15 条结果

文章 Uniswap V3 的毒性交易流(Toxic Flow)识别:第四部分

...盈利区块和从交易重新排序中提取价值方面具备特殊专业知识;相反,这一角色留给 _block builder_,该角色组装包含按顺序排列的交易的整个区块,以及 validators 的支付,并将该区块提交给区块提议人。(为简单起见,我们此处...

文章 范围证明

... 因此,Bulletproofs 能够证明对 NP 中任何问题的任何见证的知识。 ## 附录:将三个内积结合为一个的推导 从三个内积开始 $$ z^2 \cdot \langle \mathbf{a_L}, \mathbf{2}^n \rangle + z \cdot \langle \mathbf{a_L} – \mathbf{1}^n – \mathbf{a_R}, \mathbf{y...

文章 理解L1与L2的生态系统 - 设计差异、权衡及终局

...素和技术限制**:深入理解基本构建块和技术细节。这种知识对于确定这些因素如何影响你的应用程序的功能性、可扩展性以及最终的业务至关重要,并在区块链开发过程中做出明智的决策。 - **评估基础设施和流动性**:评估 L...

文章 IBC协议:2022年主要发展回顾

...org/) 将成为 Interchain Security 的首批消费者链之一。使用知识证明,Polymer 旨在将支持 IBC 的链与非 IBC 链连接起来。 **非 Cosmos SDK 链上的 IBC**\[Penumbra] 今年,我们看到了第一个非 Cosmos SDK 链——[Penumbra](https://penumbra.zone/)——[...

文章 Solana 智能合约指南

...na 及其架构的特殊性,并介绍在其上开发智能合约的基础知识。 # Solana是什么? Solana 是一个高性能的区块链平台,专为去中心化应用程序和加密项目而设计。它以交易速度快和费用低而闻名。它的应用很广泛,包括去中心化...

文章 以太坊简介(注释版)

...:叔块奖励是很多朋友理解中的难点,确实需要不少背景知识。简单来说就是:在网络中,传播区块是需要时间的,因此某个块挖出之后,在一定时间内可能只有一部分节点收到了这个区块,而另一些节点在这期间收到了另一个...

文章 BLS12-381 对我们其他人来说

...成为了一位名人。许多协议都在使用它进行数字签名和知识证明:Zcash、Ethereum 2.0、Skale、Algorand、Dfinity、Chia 等等。 不幸的是,关于 BLS12-381 的现有材料充满了“实例化其六次扭曲”和“最佳扩展场塔”等晦涩的咒语。我在...

文章 服务于DePIN的区块链基础设施的设计思路

...重置,因此方案是安全的。 * ZK:即Zero Knowledge , 使用知识证明技术,生成一个ZK Proof, 能够证明L2上的世界状态在应用当前的交易后,会转换为新的世界状态。该ZK Proof会被提交到L1,在L1的智能合约中被验证。如果该ZK Proof能...

文章 Abstract:加密领域的迪士尼乐园蓝图

...抗审查。该领域还在技术创新方面投入了大量资金,从知识证明到超扩展链和模块化区块链。虽然这些进步为该行业奠定了至关重要的基础,但它们常常让人觉得与日常用户的脱节。 大多数创新都优先考虑技术能力或意识...

文章 从 Lamport 签名中获得脚本状态

...交易中,你可以在小体积的脚本中做任意计算,从 “[知识证据](https://glossary.blockstream.com/zero-knowledge-proofs-zkps/?ref=blog.blockstream.com)” 的验证,到 PoW 检查,再到数分解,都可以。 而大于 32 比特的数值,则只能被少数用途狭...

文章 区块链时代的拜占庭将军们(中)

...庭将军问题,拜占庭容错,乃至数字签名,哈希函数,知识证明这些密码学的基本组成部分,都属于此类问题——的确,他们是从应用中提取出的问题。但是,计算机科学家们的研究方向,应用只是其中的一个方面,而另外很...

文章 在硬件签名器上集成 Taproot

...会很复杂,但还好。最后,第二篇论文(GKMN21)使用了知识证明,所以它会快很多,而且在微控制器上也可以运行。内存要求我不确定,但我认为也要用到几 MB。证据的体积是 1MB。相当于一整个比特币区块的大小。但你不需...

文章 备战后量子:格密码学初学者指南

...使用 NumPy 来保持高抽象层级。 ### 我们需要的所有数学知识 矩阵只是一个二维数组。在 NumPy 中,我们可以如下建立矩阵(将 `numpy` 引入为 `np` ): ``` A = np.matrix([[1, 2, 3],                [4, 5, 6],               ...

文章 Bitcoin Optech 周报 2023 年度回顾特别版

...ssion-with-zeroknowledge-validity-proofs) 了一种在比特币中使用知识有效性证明进行状态压缩的方法。这极大地减少了客户端为无需信任地验证系统中未来的操作而需要下载的状态量,例如,只需相对较少的有效性证明即可启动一个新...

文章 加密货币聚合理论(桥梁篇)

...术和简洁的证明来执行链上轻客户端验证。然而,由于知识 SNARK 研究仍处于早期阶段,因此 zk 轻客户端的范围有限。这些桥被认为是高度安全的,但难以构建和扩展到不同的链。例如:[Succinct](https://blog.succinct.xyz/blog/telepathy#...