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

Morpho Blue 白皮书翻译

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

每周以太坊 2024/08/24

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

深入探讨基于 Move 的区块链

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

【Solidity Yul Assembly】2.4 | Return, Require and Keccak256

in  Solidity Yul Assembly 内联汇编
本章我们来看看 `return(p, s)` `revert(p, s)` `keccak256(p, n)` 这三条指令。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-26
  • 阅读 ( 2233 )
  • ( 15 )

Solidity语言 - 如何使用 OpenZeppelin 和 Hardhat 创建和部署可升级的智能合约

本文详细介绍了如何使用 OpenZeppelin 库和 Hardhat 框架创建和部署可升级智能合约。通过分步指南，读者了解了合同的创建、测试、部署及升级的过程，还涉及了环境设置、合约验证和资金管理等重要步骤，对于具备一定基础的开发者来说，非常实用。
智能合约  可升级合约  OpenZeppelin  Hardhat  Polygon  Solidity 

Rust 实战：构建实用的 CLI 工具 HTTPie

in  Rust
Rust实战：构建实用的CLI工具HTTPie引言在现代开发中，命令行工具（CLI）因其强大且灵活的特性而广受欢迎。Rust语言凭借其内存安全性和高效性能，正成为构建CLI工具的绝佳选择。在本文中，我们将以构建HTTPie的简化版为例，展示如何使用Rust实现一个功能强大的
Rust  rust基础  编程语言  编程  实操 

去中心化科学能拯救科学吗？

该文章深入探讨了去中心化科学（DeSci）如何利用区块链技术解决传统学术界中的许多结构性问题，包括资金分配、出版和研究合作的效率等。尽管作者对DeSci的全面变革能力持保留态度，但认为它可以在某些领域发挥支持作用，尤其是在透明度和激励机制方面。文章结构清晰，内容丰富，基于作者的学术背景和对学术界的观察，提出了多个实例和理论。
去中心化科学  区块链技术  学术出版  研究资金  学术界问题  DeSci 

Solidity编程语言完整指南

Solidity是一种高阶编程语言，用于在以太坊和许多EVM兼容区块链上编写智能合约。本文深入探讨了Solidity的背景、工作原理以及其关键特性、应用和开发工具，旨在帮助开发者掌握Solidity编程技能，并指出学习资源以支持他们的学习。
Solidity  智能合约  以太坊  EVM  去中心化应用  区块链 
  • Cyfrin
  • 发布于 2024-08-23
  • 阅读 ( 3548 )

【Solidity Yul Assembly】2.3 | Dangers of Memory Misuse

in  Solidity Yul Assembly 内联汇编
一些内存使用的注意事项。
Yul  Solidity合约  内联汇编  assembly 
  • 0xE
  • 发布于 2024-08-23
  • 阅读 ( 2157 )
  • ( 14 )