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

分析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
  • 阅读 ( 465 )

ChatGPT能审计智能合约吗？

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

如何使用 Consenys 的 Gnark 零知识证明库以及一个 DoS 漏洞的披露

本文深入探讨了使用Go语言编写的快速ZK-SNARK库Gnark，该库提供高层和低层API，用于设计零知识证明电路。文章通过实例展示了如何使用Gnark进行ZK证明的生成和验证，并分析了在使用低层API时发现的一些问题，如需要手动构建电路约束以及可能存在的安全隐患，最后总结了Gnark在ZKP应用开发中的优缺点，适合希望深入了解Gnark库的开发者阅读。
零知识证明  zk-SNARK  gnark  Groth16  PLONK  密码学 

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

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

ABI 编码深入解析

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

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

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

利用Metal和Rust进一步加速FFT

本文介绍了Apple的GPU编程框架Metal及其编程语言MSL，并展示了如何使用Rust wrapper(Metal-rs)在GPU上进行计算，并通过一个简单的数组乘积例子说明了Metal的基本结构和编程方法。文章还简要概述了FFT算法及其在加速多项式乘法中的应用，为后续在GPU上实现FFT算法做铺垫。
Metal  MSL  GPU编程  Rust语言  FFT  zk-SNARKs 

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
  • 阅读 ( 4617 )
  • ( 13 )

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

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

最终结果 - 2022年区块链黑客技术

OpenZeppelin 发布了 2022 年十大区块链黑客技术，该项目与 Web3 安全专家合作，旨在提高行业内的安全意识和最佳实践。该列表突出了新型漏洞，如低级语言和高级语言之间的差异，以及与封装代币相关的漏洞，并强调了社区参与和漏洞赏金在确保区块链生态系统安全方面的重要性。
区块链安全  黑客技术  漏洞  OpenZeppelin  Web3 安全  智能合约 

Avail 踏上征程，通过高度可扩展的模块化共识层，赋能 Rollup 和应用区块链社区

Avail 从 Polygon 独立出来，成为一个独立的实体，专注构建模块化共识层，旨在为开发者提供快速、高效和可扩展的数据可用性解决方案，通过数据可用性抽样（DAS）技术，Avail 使开发者能够专注于应用的执行和结算，从而加速区块链创新。
模块化区块链  数据可用性  共识层  DAS  零知识证明  Rollup 

以太坊的上海升级将如何影响 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
  • 阅读 ( 2191 )

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

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

加密内存池

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