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

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

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

SushiSwap 中的关键词

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

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

in  Solidity从入门到进阶

掌握8种常见的合约设计模式
设计模式 
  • Louis
  • 发布于 2024-08-29
  • 阅读 ( 1768 )
  • ( 89 )

以太坊虚拟机（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
  • 阅读 ( 1050 )
  • ( 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
  • 阅读 ( 1984 )
  • ( 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
  • 阅读 ( 1714 )
  • ( 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
  • 阅读 ( 1171 )
  • ( 21 )

Op Rollup 欺诈证明战争

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

【Solidity Yul Assembly】2.5 | Logs and Events

in  Solidity Yul Assembly 内联汇编

关于 log 的指令。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-27
  • 阅读 ( 1080 )
  • ( 7 )

每周以太坊 2024/08/24

以太坊新闻八周年
每周以太坊 
  • EthWeekly
  • 发布于 2024-08-26
  • 阅读 ( 1280 )
  • ( 32 )

深入探讨基于 Move 的区块链

文章深入探讨了基于Move的区块链技术，介绍了其安全性和开发者体验优势。Move采用基于资产的存储模型，提高了安全性，并通过静态调度和形式验证器增强了可靠性。对比了基于Move的区块链Aptos和Sui的架构差异。未来展望包括吸引开发者建立应用生态系统。
Aptos  Sui  Move 
  • GCR Team
  • 发布于 2024-08-26
  • 阅读 ( 1688 )
  • ( 21 )