全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

从原理弄懂以太坊合约升级模式

本文将从智能合约升级的原理、多种代理模式全面讲解智能合约升级。理解合约升级的设计模式。
  • EimJacky
  • 发布于 2024-08-30
  • 阅读 ( 2787 )
  • ( 43 )

从 HotStuff 回看 Tendermint

我们在 Shardora 实现了 HotStuff 作为共识层之后，学习并参考了 Tendermint，特别是参考其对接 PoS 的部分，以进一步完善 Shardora 共识的效率和安全性。
共识算法  Tendermint 

【Solidity Yul Assembly】3.3 | Dynamic Length Arguments

in  Solidity Yul Assembly 内联汇编
可变长度的数据，ABI 采用了一种指针和数据分离的方式进行编码。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-30
  • 阅读 ( 1660 )
  • ( 8 )

Babylon 轻皮书：比特币质押 - 解锁 2100 万BTC保障PoS经济安全

译者注: 上周亿级别融资的比特币质押协议 Babylon 已启动主网，迅速聚集了 1万多名BTC质押者，非常火爆，这篇文章翻译自Babylon 的轻皮书，看看 Babylon 如何通过质押比特币来PoS网络
Babylon  比特币质押  PoS 
  • Babylon
  • 发布于 2024-08-29
  • 阅读 ( 2642 )
  • ( 33 )

SushiSwap 中的关键词

SushiSwap中的关键词
Sushiswap  DeFi 
  • sashimi
  • 发布于 2024-08-29
  • 阅读 ( 1703 )
  • ( 31 )

想要写出优秀的Solidity合约，你需要掌握的8种设计模式

in  Solidity从入门到进阶
掌握8种常见的合约设计模式
设计模式 
  • Louis
  • 发布于 2024-08-29
  • 阅读 ( 2486 )
  • ( 91 )

以太坊虚拟机（EVM）是如何工作的？对EVM架构和操作码的深入探讨

本文深入探讨了以太坊虚拟机（EVM）的架构和操作，解释了EVM的基本组件（如堆栈、内存、存储等），字节码如何被编译为操作码，以及交易的执行过程。通过详细的步骤和示例，读者能够更好地理解EVM的工作原理和智能合约的执行机制。
EVM  以太坊  智能合约  字节码  操作码  交易执行 

【Solidity Yul Assembly】3.2 | Calling other contracts

in  Solidity Yul Assembly 内联汇编
关于合约之间调用的指令 `call`、`callcode`、`delegatecall` 和 `staticcall`。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-29
  • 阅读 ( 1664 )
  • ( 7 )

Schwartz-Zippel 引理及其在零知识证明中的应用

in  零知识证明之书
文章详细介绍了Schwartz-Zippel Lemma在零知识证明（ZK-Proof）中的应用，通过多项式例子和Python代码展示了如何利用该引理进行多项式相等性测试和向量相等性测试。
Schwartz-Zippel Lemma  零知识证明  多项式  有限域  Python  Lagrange插值 

Morpho Blue 白皮书翻译

in  白皮书精选
Morpho是一种为EVM实现的非托管借贷协议。MorphoBlue提供了一种新的无需信任的原语，与现有的借贷平台相比，其效率和灵活性都得到了提高。它提供无需许可的风险管理和无需许可的市场创建以及与预言机无关的定价。
Morpho  借贷  DeFi 
  • Morpho
  • 发布于 2024-08-28
  • 阅读 ( 3994 )
  • ( 42 )

同态映射

in  零知识证明之书
本文通过多个例子详细解释了同态映射的概念，并探讨了其在加密技术和零知识证明中的应用。文章结构清晰，分为简单和复杂例子两部分，并附有详细的数学公式和Python代码示例。
同态映射  加密  零知识证明  代数结构  群论  有限域 

多项式承诺通过 Pedersen 承诺实现

in  零知识证明之书
本文详细介绍了多项式承诺机制的原理和实现，特别是如何使用Pedersen承诺和椭圆曲线来验证多项式在特定点的估值，而不泄露多项式本身。文章还讨论了验证步骤的工作原理和为什么验证者无法被欺骗。
多项式承诺  Pedersen Commitment  椭圆曲线  验证  离散对数  证明 

解析 Avail DA

解析 Avail DA
Avail  模块化区块链 

程序员的基本群论

in  零知识证明之书
本文详细介绍了代数群的基本概念，通过多个例子帮助读者建立对群的直觉，包括群的定义、阿贝尔群、有限群、循环群等，并探讨了这些群在零知识证明中的应用。

【Solidity Yul Assembly】3.1 | Calldata

in  Solidity Yul Assembly 内联汇编
在 Solidity 中关于 tx.data 有约定俗成的用法。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-28
  • 阅读 ( 2300 )
  • ( 11 )

从R1CS构建零知识证明

in  零知识证明之书
文章详细介绍了如何通过将Rank 1 Constraint System (R1CS)中的见证向量转换为有限域椭圆曲线点，并使用双线性配对来实现零知识证明。文中还讨论了验证步骤的实现细节，并指出了该算法在实际应用中的低效性。
零知识证明  R1CS  椭圆曲线  双线性配对  见证向量 

使用Python实现拉格朗日插值

in  零知识证明之书
介绍了拉格朗日插值法，通过一组点计算一个经过这些点的多项式，并提供了Python代码示例。
拉格朗日插值  多项式  Python  有限域  向量 

可信设置

in  零知识证明之书
文章介绍了ZK-SNARKs中使用的可信设置机制，详细解释了如何在保密值上计算多项式，并提供了Python代码示例。
zk-SNARKs  可信设置  多项式  结构化参考字符串  椭圆曲线群 

不标准的 ERC2612：Permit 滥用零地址“僵尸资金”

不标准的 ERC2612 导致可利用 permit 滥用零地址的“僵尸资金”
ERC2612  permit 
  • Q1ngying
  • 发布于 2024-08-27
  • 阅读 ( 1626 )
  • ( 21 )

Op Rollup 欺诈证明战争

介绍欺诈证明系统及其变体， 欺诈证明如何在安全性、及时性和去中心化之间的权衡， 如果我们有 ZK，欺诈证明是否还有意义。
OP Rollup  欺诈证明  Arbitrum  Optimism  Cartesi