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

使用 Trident 进行模糊测试 I

这篇文章详细介绍了使用 Trident 进行模糊测试的过程，包括设置 Trident 工作空间、编写模糊测试、以及运行测试与获取结果等步骤。文章涉及了 Rust 代码示例来演示如何初始化程序、处理账户和执行模糊测试，同时指出了潜在的函数缺陷和运行中的错误处理。
模糊测试  Trident  Rust  Solana  程序验证  错误处理 

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

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

Web3 极客日报 #1578

  • rebase
  • 发布于 2024-08-29
  • 阅读 ( 850 )
  • ( 8 )

SushiSwap 中的关键词

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

链抽象 - 如何修复加密用户体验

本文深入探讨了区块链技术中的链抽象问题，强调当前多链生态系统的碎片化现状及其带来的用户体验挑战。文章介绍了链抽象如何通过简化用户交互，降低操作复杂性，以及未来可能实现的无缝整体化体验，最终目标是为用户提供如同Web2一般顺畅的操作体验。作者通过案例和理论支持，阐明了新兴协议Socket的角色及其对Web3用户体验的影响。
链抽象  区块链  用户体验  SOCKET  多链生态  跨链交换 

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

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

Autonomys Network 真正的去中化存储计算一体网络

在没有shard的情况下，operator会把所有的bundle都发送给consensusnode，electedfarmers（这里指代有算力的node）会verifybundle（当作一个transaction处理），通过验证的bundle发送到txpool等待打包成block；因为把
Autonomys  Subspace  FileCoin 

为什么以太坊的市值和比特币相差这么大

为什么以太坊的市值和比特币相差这么大 1 定位不同 2 总量预期管理不同 3 共识不同
比特币  以太坊 
  • powervip
  • 发布于 2024-08-29
  • 阅读 ( 2173 )
  • ( 29 )

解密超级链 —— 如何与 Optimism 集体共享收益

in  Optimism 中文力量
超级链正在开创一种新的共享方式，以可持续的方式扩展以太坊的技术和价值，让所有建设者受益。超级链的定义很简单：一个建立在共同标准代码库上的区块链网络，共享安全、治理和价值观。超级链是一个正和网络；任何单一链的成功都会使生态系统中的所有链受益。目前，超级链中的每个OP链都采用标准化的收入分享模
#OP  以太坊  超级链 

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

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

如何使用 Viem 发送交易

本文介绍了如何使用Viem库在以太坊或其他EVM兼容区块链上发送交易。内容包括设置项目、执行ETH转账、发送签名交易以及与智能合约交互的详细步骤。
Viem  Ethereum  transaction  ENS  Smart Contract  Sepolia 

【Solidity Yul Assembly】3.2 | Calling other contracts

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

Web3 极客日报 #1577

  • rebase
  • 发布于 2024-08-28
  • 阅读 ( 832 )
  • ( 9 )

同态映射

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

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

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

解析 Avail DA

解析 Avail DA
Avail  模块化区块链 

使用 Sway 构建去中心化英式拍卖

本文详细介绍了如何使用 Sway 编程语言构建一个去中心化的英语拍卖合约，包含了拍卖的基本原理、安装工具的步骤、合约的结构与实现细节。通过代码示例，读者能够学习如何创建拍卖、出价、取消拍卖及提取资产，并且文中还强调了对数据结构、错误处理和事件的管理。最后，文章还提到了如何为拍卖应用程序实施测试，确保代码的正常运作。
去中心化拍卖  Sway  合约  区块链  Web3  智能合约 

程序员的基本群论

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