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

多方共享的 UTXO：形式与特性

本文深入探讨了“共享UTXO”的概念，分析了其面临的基础问题，以及诸如通道工厂、Statechain和ARK等常见设计的形式和特性。文章详细阐述了共享UTXO内部状态表达形式和vTXO类型如何影响离线用户，进而影响共享UTXO的实用性和用户体验，并对各种多方链下更新机制进行了介绍。
共享UTXO  UTXO  通道工厂  Statechain  ARK  链下更新机制 

DEFI - 如何监听PancakeSwap上新发行的代币 - Quicknode

本文详细介绍了如何使用 JavaScript 编写一个自动交易机器人，以便在 PancakeSwap 上购买新发行的代币。文章涵盖了必要的前提条件、PancakeSwap 的基础知识、节点设置、代码编写以及最终实现自动购买的逻辑。读者在完成此指南后将对构建交易机器人有一个全面的理解，并能够在 BSC 网络上进行交易。
PancakeSwap  交易机器人  BSC  Ethereum  智能合约  JavaScript 

观点：停止学习 ZK 数学

那些应该学 ZK 数学，有些人也许不需要学 ZK 数学
ZKP 

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

本文将从智能合约升级的原理、多种代理模式全面讲解智能合约升级。理解合约升级的设计模式。
  • EimJacky
  • 发布于 2024-08-30
  • 阅读 ( 2823 )
  • ( 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
  • 阅读 ( 1683 )
  • ( 8 )

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

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

SushiSwap 中的关键词

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

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

in  Solidity从入门到进阶
掌握8种常见的合约设计模式
设计模式 
  • Louis
  • 发布于 2024-08-29
  • 阅读 ( 2525 )
  • ( 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
  • 阅读 ( 1691 )
  • ( 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
  • 阅读 ( 4035 )
  • ( 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
  • 阅读 ( 2324 )
  • ( 11 )

从R1CS构建零知识证明

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

使用Python实现拉格朗日插值

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