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

从模糊测试Centrifuge Protocol 中学到的教训 第1部分

本文介绍了Centrifuge协议在实施模糊测试套件过程中的经验，讨论了在高覆盖率测试中的策略及方法，包括使用随机化机制来扩展合约的测试配置。文章分为多个部分，包括策略概述、Centrifuge的介绍、关键经验总结与结论，结构清晰且逻辑性强，适合对区块链测试技术感兴趣的读者。
Centrifuge  fuzz testing  coverage  EVM  blockchain  testing strategies 
  • Recon
  • 发布于 2024-05-04
  • 阅读 ( 983 )

将失败的属性测试导入 Foundry

本文探讨了如何通过Foundry单元测试来调试和修复Echidna/Medusa测试中的不变性问题。介绍了如何使用Foundry模板创建Counter合约，并定义基本的不变性，接着描述了如何运行Echidna和Medusa进行测试，生成相应的单元测试，最后展示了如何修复合约中的bug以维护不变性。通过这种方法，开发者能够更快速有效地定位和解决合约问题，这是在生产环境中极为重要的。
Echidna  Medusa  Foundry  区块链测试  不变性  智能合约 
  • Recon
  • 发布于 2024-05-04
  • 阅读 ( 884 )

无尽的选择：交易期权至无穷尽的未来

本文深入探讨了加密货币衍生品的演变，特别是期货和期权，及其在集中式和去中心化交易所中的发展。文章分析了永久期货和永续期权的机制，介绍了两种新兴的期权模型以及它们在流动性管理和套利中的应用。尽管当前的金融行业面临无数挑战，但未来可能会有更多创新来推动期权的去中心化。
期权  期货  去中心化交易所  流动性  套利  加密货币 

Merkle化和哈希根树 - 深入探讨以太坊中的SSZ Merkle化

文章详细探讨了以太坊共识机制中Merkleization的过程和重要性。内容涵盖了Merkle树的构建、性能优势、轻客户端支持及其在以太坊中确保共享状态的作用。此外，文章例举了详细的代码实例和图示，说明了如何对SSZ对象进行Merkle化，并明确了每一步的操作和目的。
Merkleization  以太坊  共识机制  SSZ  Merkle树  数据完整性 
  • thogiti
  • 发布于 2024-05-03
  • 阅读 ( 614 )

TRON账户激活相关问题解答

in  Web3
可能很多朋友已经了解到tron的地址离线创建完毕以后，需要激活地址才可以，但还是有一些疑问点，以下就是我列举的部分疑问点，我们一起来找寻一下答案
TRON 

简单序列化（SSZ） - 深入探讨以太坊中的SSZ

本文深入探讨了简单序列化（SSZ）在以太坊信标链中的应用，以及其与RLP序列化的比较。SSZ旨在提高以太坊共识层的效率、安全性和可扩展性，详细介绍了SSZ的基本类型、向量、列表、位向量、容器等序列化和反序列化过程，并提供了相关示例代码和图示，以帮助读者更好地理解SSZ的操作及其在以太坊中的重要性。
Simple Serialize  SSZ  序列化  以太坊  信标链  RLP 
  • thogiti
  • 发布于 2024-05-03
  • 阅读 ( 887 )

掌握递归长度前缀（RLP）序列化 - 以太坊执行层的综合指南

递归长度前缀（RLP）是一种核心序列化协议，用于在以太坊中编码和解析数据。本文详细探讨了RLP的工作原理，包括编码和解码规则，以及其在以太坊功能中的重要性。通过示例和流程图，解释了RLP如何将不同类型的数据序列化，确保跨客户端的一致性和高效性。
RLP  以太坊  序列化  编码  解码 
  • thogiti
  • 发布于 2024-05-03
  • 阅读 ( 840 )

可读可写可拥有 宣言 - 《Read Write Own: 构建下一代互联网》摘录

读-写-拥有 宣言 是 《Read Write Own: 构建下一代互联网》摘录，作者是ChrisDixon。该书现已在美国和英国的英语版上市；其他语言版本即将推出。互联网可能是二十世纪最重要的发明。它改变了世界...
加密思想 

浅析 Solidity ABI -应用程序二进制接口

什么是ABI？ABI=ApplicationBinaryInterface用于定义智能合约接口的规范。它定义了智能合约的函数、事件和数据结构的编码和解码规则，以便其他应用程序可以与智能合约进行交互。简言之，就是以太坊的调用合约时的接口说明。有点类似于Web2API。
  • YCat
  • 发布于 2024-05-01
  • 阅读 ( 2276 )
  • ( 49 )

🎥 如何创建一个安全的 NFT 限制访问网站

本文介绍了如何构建一个安全的NFT门控网站，重点在于防止NFT转移和验证用户持有情况。通过使用QuickAlerts，可以实时监控任何NFT转移，从而实现有效的内容保护。文章包含了详细的代码示例，并提供了一个YouTube视频课程链接，使读者能够深入理解技术的实现过程。
NFT门控  内容保护  QuickAlerts  JavaScript  智能合约  Web开发 

如何创建一个ERC-20代币工厂去中心化应用程序（dApp）

本文为开发者提供了一个详细的指南，介绍了如何创建一个ERC-20 Token Factory dApp。指南覆盖了从Factory设计模式的理论到具体的智能合约代码实现和部署步骤，使用了OpenZeppelin和Foundry等工具，并提供了前端的开发指导。适合需要创建自定义ERC-20代币的开发者，以实现数字资产的生成和管理。
ERC-20  Token Factory  OpenZeppelin  智能合约  Foundry  Web3 

BLS12-381 理论与实现

Pairings, KZG, SNARK
pairings  zkSNARK  KZG 
  • 白菜
  • 发布于 2024-04-30
  • 阅读 ( 3801 )
  • ( 132 )

solidity 内联汇编

solidity汇编语言汇总
内联汇编 
  • 0xSecYou
  • 发布于 2024-04-30
  • 阅读 ( 2917 )
  • ( 178 )

闪电网络中的洋葱路由：Sphinx 包裹的构造

本文深入探讨了闪电网络中Sphinx数据包的构造方法，详细解释了如何使用Diffie-Hellman密钥交换、临时密钥、HMAC认证以及XOR运算来保证支付路径上每一跳的隐私和数据完整性。文章通过实例分析了洋葱包裹的封装和解封装过程，以及发生故障时错误信息的返回机制。
闪电网络  SPHINX  洋葱路由  Diffie-Hellman密钥交换  HMAC  XOR 

探索以太坊交易盛宴中验证者与构建者的舞蹈

本文深入探讨了以太坊中的提案权与验证者的角色，包括MEV-Boost和不同类型的区块拍卖方法（如ePBS和PEPC）。通过比喻音乐节，文章阐明了如何通过这些机制提升安全性和可预测性，同时确保对交易的有效执行和验证者的收益。
提案权  验证者  mev-boost  ePBS  PEPC  区块链 
  • thogiti
  • 发布于 2024-04-30
  • 阅读 ( 517 )

为稳定币定义利率

本文深入探讨了稳定币的利率管理，涉及传统稳定币如USDC和USDT的局限性，以及基于区块链的稳定币发行方式。文章分析了不同的利率制定方法，包括治理驱动、算法和博弈理论的模型，探讨了这些方法在稳定币设计中的重要性和复杂性。最后，作者提出了对未来稳定币利率管理的思考，强调了利率适应市场的必要性。
稳定币  利率管理  区块链  去中心化金融  治理驱动  博弈理论 

深入剖析 ERC4626

in  Learn ERC protocol
ERC4626 协议是一种用于代币化保险库的标准，它可以优化和统一收益保险库的技术参数。
ERC4626 
  • 0xSecYou
  • 发布于 2024-04-29
  • 阅读 ( 3681 )
  • ( 35 )

探明道路：深入 LND 的寻路机制

in  BTCStudy 精选
闪电网络的承诺是让比特币支付能够得到近乎瞬时的结算。但是，以自治的方式实现这个目标构成了持续的技术挑战，主因是通道余额的不透明，但这也是内化于闪电网络的设计的。在本文中，我们会深入了解闪电网络中的寻路程序（在更广泛的意义上，是支付的规划），尤其是 LND 客户端中的相关实现。我们将讨论现有的、让支付
闪电网络 

探索 zkEVM

探索 zkEVM
zkEVM  Rollup 

闪电网络中的洋葱路由：Sphinx 包裹的构造

in  BTCStudy 精选
深入了解如何打包支付转发路径上各个节点沟通的数据，使得沿路转发支付时泄露的信息尽可能少。
闪电网络