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

分析 | NFTScan NFT API 在加密钱包开发中的应用

由于 NFT 市场的热度，越来越多的开发者开始着手开发 NFT 钱包，以满足用户对 NFT 管理和交易的需求。本文将浅析NFTScan NFT API 在加密钱包开发中的应用
NFT  API 

即时 乐观 Rollup桥

这篇文章详细介绍了ORU（Optimistic Rollup）中的条件关系如何提高不同Rollup之间的数据共享，分析了条件块的安全性和依赖性，以及共享排序器的扩展性感。通过互动验证游戏（IVG），条件块能够在父块未验证时快速读取远程Rollup的状态，从而实现跨链通信的效率提升。文章还提到了一些未来的工作方向。
ORU  条件块  互动验证游戏  跨链通信  状态读取 

分析0xSplits - 收入拆分协议

0xSplits 是一个收入拆分协议，为低 Gas 实现收入拆分提供了很好的实现思路。
Gas  协议 

现在的 Rollups 不是真正的 Rollup～

本文深入探讨了 ZK Rollup 的去中心化和安全性，阐述了当前排序器面临的挑战，介绍了多种提升 Rollup 安全性的机制和技术架构。文章提供了对智能合约 Rollup 和主权 Rollup 功能的详细分析，同时讨论了共识机制、交易强制包含机制以及共享排序器的潜在优势，使读者对 Rollup 的未来发展有了清晰的认识。
ZK Rollups  智能合约  去中心化  交易强制包含  共识机制  共享序列器 

How Zcash Transactions Between Shielded Addresses Work

本文介绍了Zcash中隐蔽地址之间交易的基本原理，包括使用note表示coin，引入随机数r以增加隐私，以及使用Nullifier集合来区分已花费和未花费的note。同时，为了解决交易验证问题，Zcash引入了零知识证明（Zero-Knowledge proof），以确保交易的有效性和隐私性。
Zcash  隐私交易  隐蔽地址  零知识证明  Nullifier  加密货币 
  • cig01
  • 发布于 2023-03-19
  • 阅读 ( 50 )

ChatGPT能审计智能合约吗？

文章讨论了GPT-4在智能合约审计中的局限性，特别是在识别关键漏洞方面的失败。通过实例合约展示了函数中的输入验证缺失，以及GPT-4未能检测到这一漏洞的实验结果，强调了对重要金融代码的审计仍然需要人类专家的参与。
智能合约  审计  GPT-4  关键漏洞  输入验证 
  • zellic
  • 发布于 2023-03-19
  • 阅读 ( 673 )

分布式自动化市场制造商（dAMMs）

本文介绍了一种新型的分布式自动化市场制造商（dAMM），该设计旨在解决二层（L2）解决方案中流动性碎片化的问题。通过在L1上保持资产并跨层分配流动性，dAMM提高了资本效率，为不断扩张的DeFi生态系统提供了有前景的解决方案。文章详细分析了dAMM的原理、实施方式以及相关操作，结合实际示例和图示，突出了dAMM的优势与潜在风险，最后讨论了未来的研究方向。
分布式自动化市场制造商  资本效率  流动性碎片化  二层解决方案  DeFi  StarkWare 

ABI 编码深入解析

本文深入探讨了Solidity中的ABI编码机制，详细解释了函数选择器和参数编码的原理，特别是静态类型和动态类型的编码方式，并通过一个实际的调用数据解析示例展示了如何手动解码ABI编码的数据。
ABI编码  Solidity  函数选择器  动态类型  静态类型  Calldata 

智能合约交易顺序依赖漏洞

智能合约交易顺序依赖漏洞，欢迎一起学习！
区块链安全  安全审计  漏洞分析 

Arbitrum：去中心化的下一阶段

Arbitrum 基金会宣布 Arbitrum One 和 Arbitrum Nova 网络启动 DAO 治理，$ARB 代币将用于 DAO 治理，并于3月23日空投 12.75% 的 $ARB 代币。同时，Arbitrum Orbit 的推出使开发者可以更轻松地启动自己的 Layer 3 链。
Arbitrum  DAO 治理  Layer 2  Layer 3  空投  去中心化 

什么是跨链?

Web3生态越来越趋向于多链，dApp存在于数百个区块链、2层网络和应用链中。但是，区块链本身不具备与外部系统或API通信的能力。这种限制不仅阻止了区块链与现有网络基础设施的通信，还阻止了与其他区块链的通信。鉴于区块链生态系统种类繁多，这些不同的链上环境能够相互操作和通信至关重要。
  • Chainlink
  • 发布于 2023-03-17
  • 阅读 ( 4013 )
  • ( 13 )

合约安全- 利用开发者假设

本文探讨了智能合约中常见的输入处理和状态转换漏洞，这些漏洞通常由于开发者对输入类型和状态转换的潜意识假设而未被充分处理。文章列举了未经检查的两步所有权转移、意外匹配输入、意外空输入以及未经检查的返回值等多种攻击场景，并提供了相应的防范措施和实例。
智能合约  安全漏洞  输入验证  状态转换  未经检查的返回值  所有权转移 
  • Dacian
  • 发布于 2023-03-17
  • 阅读 ( 159 )

以太坊的上海升级将如何影响 Staking 的未来

in  以太坊中文 · ETH
以太坊上海升级将是 Staking 行业重新洗牌的转折点？我们可以关注哪些指标进行分析？

黑客分析：Binance Bridge，2022年10月

2022年10月7日，由于IAVL Merkle proof验证系统存在缺陷，Binance Bridge遭到黑客攻击，损失200万BNB（约6亿美元）。文章分析了攻击者如何生成恶意payload和proof，利用该漏洞窃取资金，并探讨了利用该漏洞耗尽token Hub合约的可能性。文章还提供了重现攻击概念验证(POC) 的方法，并总结了从这次事件中获得的教训。
Binance Bridge  IAVL Merkle proof  黑客攻击  漏洞  Payload  proof  安全 

理解比特币 Miniscript（一）：Script 何以难用

本文介绍了Bitcoin Script的复杂性和难以使用的问题，并引出了Miniscript的概念，Miniscript是一种高级语言，旨在简化Bitcoin Script的编写，使钱包开发者更容易创建复杂的花费条件，提高脚本的正确性和可靠性，并促进钱包和工具之间的互操作性。
Bitcoin Script  Miniscript  P2WSH  花费条件  多重签名  时间锁 

排错：调用 parseLog 报 data out-of-bounds 错误

调用 parseLog 报 data out-of-bounds 错误
以太坊  错误处理 
  • 胡键
  • 发布于 2023-03-17
  • 阅读 ( 1851 )

理解 zk-SNARKs 和 zk-STARKS 的区别

SNARKs和STARKs是零知识证明技术，允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。零知识证明(ZKP)引起了广泛关注，因其在增强安全性、保护用户隐私和支持第2层网络扩展方面都有很大的潜力。
  • Chainlink
  • 发布于 2023-03-16
  • 阅读 ( 2890 )
  • ( 9 )

加密内存池

这篇文章深入探讨了加密交易池的设计及其在解决最小化可提取价值（MEV）和审查中的应用。文章详细阐述了不同的加密方案，例如信任方、门限加密/解密（TED）、延迟加密/解密（DED）和见证加密/解密（WED），并分析了每种方案的优缺点与应用潜力。通过对加密交易池的各种技术解决方案的分析，文章为区块链技术的未来发展提供了深刻见解。
加密交易池  最小化可提取价值  门限加密  延迟加密  见证加密  区块链技术 

ChainAegis：稳定币协议Liquity链上分析报告

in  智能合约安全
2022年，加密行业处于深熊之中，全年局势动荡不安，多家交易所频频暴雷，整个市场遭到重创。2023年初，监管直逼稳定币，BUSD被强制停止发售，USDC受到硅谷银行事件影响，一度脱锚至0.87美元。在此严峻的形式下，Liquity虽用户数、交易量等受到影响，但总体上仍保持正常发展，到目前为止运营情况
  • SharkTeam
  • 发布于 2023-03-16
  • 阅读 ( 3048 )
  • ( 4 )

以太坊账号抽象ERC4337的过审方案解读(上）

上篇更多是围绕 ERC-4337 运作机制、背景进行说明。下篇详细讲述当前被审计方案的优缺与实施细节，但涉及较多以太坊底层
安全审计  账户抽象  前沿提案 
  • 十四君
  • 发布于 2023-03-16
  • 阅读 ( 3863 )
  • ( 12 )