前言本文借助openzeppelin库编写一个标准的NFT合约，从开发，测试，到部署上链全部流程。注意：ERC20标准的同质化代币和ERC721标准的非同质化代币的区别需要metadata，要把信息上传到ipfs上，文中会有详细操作的步骤;同质化代币和非同质化代币程序层面的区别ERC2
Biconomy MEE Devnet推出了一种革命性的模块化执行环境，允许用户通过超级交易在多个区块链之间实现交互。该平台简化了跨链操作，消除了用户需要多次签名的问题，并提供了一种新的方法来编写链无关的区块链应用程序。MEE的设计允许开发者高效地处理复杂的跨链事务，同时支持委托证明机制，提升了网络的安全性和参与性。
本文详细介绍了超级交易（Supertransactions）的重要性及其对区块链应用的影响，强调其能够简化多步骤操作，提高用户体验并降低交易成本。超级交易通过支持跨链和多协议的原子操作，改变了传统的交易结构，为开发者和用户提供了更高的灵活性和高效性。
本文针对KZG、Groth16、Sonic、Fractal、Halo2、SuperSonic、Marlin、Plonk等8种零知识证明或多项式承诺协议，分别从算法特点、算法复杂度（主要关注证明/验证复杂度）、安全性、应用场景四个方面进行简要分析，便于你在对比或选型时有更清晰的思路。
本文深入探讨了如何在StarkWare的新零知识证明系统Stwo中实现递归证明验证，包括面临的三个主要挑战及其解决方案。通过将计算切割为小块以适应内存限制、并利用并行分布的证明生成方法，该系统增强了证明的效率。同时，介绍了设计专门的证明系统以优化证明者和验证者的效率，特别是在与比特币的兼容性方面。
STARK到SNARK的转换从构建递归电路开始，递归电路的作用是将原本庞大的STARK证明压缩成较小的SNARK证明，具体由以下几个组件构成，包括根电路，聚合电路和区块电路。
借着以太坊在Holesky网络升级这事，稍微聊聊以太坊Pectra升级到底有什么以及对链上生态的一些影响有什么？EIP7702有限的账户抽象(可设置EOA账户的code)传统账户抽象（如EIP-4337标准）依赖额外的中心化服务，例如Bundler，来将用户的操作打包成一笔交易。由于这一方案引
本文介绍了如何使用 Beacon REST API 和 Ethers.js 构建一个以太坊 2.0 的验证者排行榜应用。详细说明了如何配置项目，安装依赖，以及各个功能的实现，包括获取验证者余额、计算总余额和生成排行榜等。代码部分包含了重要的实现细节，适合有一定基础的开发者阅读。
Certora Prover 是一种先进的正式验证引擎，旨在提升 Ethereum、Solana 和 Stellar 等平台的智能合约安全性。通过开源，Certora Prover 旨在降低安全成本，提升可访问性，最终帮助开发者在早期发现和修复可能的漏洞。这篇文章详细介绍了 Certora Prover 的功能、工作原理以及其对多个知名项目的实际影响。
文章探讨了区块链生态系统中跨链互操作性的现状与挑战，提出通过Intents架构来简化用户在跨链交易中的复杂性，进而推动DeFi和Web3的全面发展。成功的跨链互操作性将使资产、数据和价值的流动更加高效，促进用户和开发者的参与。
本文探讨了区块链数据管理和解释的外包解决方案，包括多种服务类型，如节点即服务（NaaS）、原始流、解码流、索引数据API和影子日志等。这些服务帮助开发者和企业高效地访问区块链数据，而不必自行管理节点和基础设施。文章提供了深入的技术细节和实例，展示了每种服务的功能和应用。
前言本文主要实现标准代币的空投合约和代币水龙头相关业务场景的实现，包含合约的编写，测试，部署全流程。概念以及相关场景说明空头合约：币圈中一种营销策略，项目方将代币免费发放给特定用户群体;代币水龙头：一种为用户提供小额加密货币的机制;标准代币说明：本合约基于openzeppelin库实
Certora工具套件提供了智能合约审计的全面解决方案，核心是Certora Prover，该工具能自动检测代码中的漏洞并确保关键属性得到满足。文章详细介绍了Certora的功能、自动验证的流程，以及与传统测试和审计的比较，强调了Certora如何在早期开发阶段安全性验证的有效性和便利性。
自区块链问世以来，如何在去中心化的环境下保证数据隐私与系统可扩容，一直是产业和学界的共同难题。
本文深入探讨了Uniswap V3中集中流动性概念的技术设计，阐明了如何通过数学模型简化复杂算法的实现，从而降低交易和流动性供应的燃气费用。文章涵盖了Uniswap V3的核心原理、实现细节，以及流动性提供的机制，强调了该设计中的优化思路和技巧，为开发者和审计人员提供了有价值的见解。
本文介绍了Rust中的特征（Traits），通过吉他和钢琴的演奏示例展示了如何定义和实现特征、添加默认实现及使用关联类型，阐释了特征在代码复用和类型安全中的核心作用。
本文提供了通过Pimlico Alto插件将ERC-4337兼容的打包器集成到区块链应用中的详细教程。内容涵盖了如何在BuildBear沙盒环境中安装和配置Pimlico Alto、使用permissionless.js管理智能账户，以及如何进行DAI与USDC的交换交易，同时提供了相关代码示例和调试工具介绍，适合开发者学习和实操。
Certora工具套件提供了一种全面的智能合约审计解决方案，通过自动检测漏洞与生成安全性保证来提升合约的安全性。该工具的核心是Certora Prover，它可以将合约字节码和用Certora验证语言(CVL)编写的规范结合起来，精确识别合约在特定情况下可能偏离规范的情形。此工具为开发者与安全研究人员提供了比传统测试和审计更可靠的安全保证。
本文对OpenZeppelin的Uniswap Hooks库进行了审计，涵盖了各类Hook的安全性及逻辑实现，详细列出关键问题，包括安全漏洞、逻辑缺陷和潜在改进意见。审计指出必须采用必要的访问控制与文档化措施来确保合约的安全性，并提供了关于如何改进合约实施的建议。
扫一扫 - 使用登链小程序
481 篇文章，571 学分
182 篇文章，482 学分
407 篇文章，413 学分
44 篇文章，371 学分
58 篇文章，326 学分
木西
Biconomy
Dapplink
L2IV
ZKM
seeker
QuickNode
Certora
rebase
across
2077 Research
mixbytes
0xE
BuildBear
OpenZeppelin
