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

最全区块链开发者学习路线图

区块链开发者学习路线图
学习资源  入门  路线图 
  • 七哥
  • 发布于 2023-02-07
  • 阅读 ( 10101 )
  • ( 81 )

【登链公开课】直播预告：跨链主流技术机制浅析 2.9日(周四)晚8点

2.9（周四）晚8点直播：跨链主流技术机制浅析
登链公开课  跨链 

Solidity Gas剩余量

本文详细介绍了Solidity中的`gasleft()`函数的作用及其应用场景，包括防止交易耗光Gas、代码执行成本基准测试、转发所有Gas到实现合约以及防止中继器拒绝服务攻击等。
gasleft()  Solidity  Gas  EVM  OpenZeppelin  Chainlink 

解读Nostr：抗审查的去中心化社交协议

社交是明珠，是互联网各赛道护城河最深的品类，这是因为他具有强大的网络效应
Web3.0  元宇宙  去中心化 
  • 十四君
  • 发布于 2023-02-06
  • 阅读 ( 4624 )
  • ( 27 )

Damn Vulnerable DeFi Free Rider 题解

本文分析了 Damn Vulnerable DeFi v3 挑战中的 Free Rider 题目，该题目的目标是从NFT市场窃取NFT并排空市场的ETH。文章详细分析了FreeRiderNFTMarketplace.sol合约的buyMany()函数中的漏洞，利用该漏洞可以仅支付最高价格的NFT的价格来购买所有NFT，并通过UniswapV2的闪兑功能获取足够的ETH，最终成功攻击了市场合约。
智能合约安全  重入攻击  以太坊  NFT  闪兑  UniswapV2 
  • Dacian
  • 发布于 2023-02-05
  • 阅读 ( 512 )

合约担保收入

该文档提出了一个修改版的 EIP-1559 提案，旨在将一部分原本销毁的基础费用分配给在给定区块内消耗 gas 的合约部署者，为开发者和那些能够吸引大量网络活动的参与者提供协议级别的补贴，通过 CSR NFT 来认领未来产生的费用。
EIP-1559  Gas 费  智能合约  NFT  CSR  Turnstile 

Magician-Scanning 支持 Tron 链了

本次更新主要是增加了对Tron的支持，但是由于本人近期非常忙，所以只开发了基础功能，对Tron的扫描暂时不支持过滤器，监听器里面会收到所有扫描到的交易记录，需要由开发者自己去判断筛选交易记录。直接采用的httpAPI，没有增加任何依赖创建一个Tron监听器条件过滤器还在开发中，可
以太坊  区块链  扫块 

Damn Vulnerable DeFi Backdoor 解决方案

本文分析了Damn Vulnerable DeFi v3 Backdoor挑战，该挑战涉及利用Gnosis Safe v1.3.0钱包注册表的漏洞。攻击者通过部署恶意合约，在Gnosis Safe钱包创建过程中利用delegatecall机制，在钱包的上下文中批准攻击合约转移token，最终耗尽注册表中的所有token。
Gnosis Safe  delegatecall  漏洞利用  智能合约  代理合约  安全 
  • Dacian
  • 发布于 2023-02-05
  • 阅读 ( 478 )

使用Halmos进行形式化验证的符号测试

本文详细介绍了形式化验证（formal verification）的过程及其在智能合约中的应用，强调了与单元测试的互补关系，以及如何利用Halmos工具简化形式化验证的实施。文中分析了正式验证的挑战、规范的编写开销及其在ERC721A智能合约中的案例，展示了通过符号测试实现高效验证的重要性。
智能合约  Halmos  符号测试  单元测试  ERC721A  形式化验证 

破译 BONq DAO 的 1.2 亿美元漏洞

2023年2月1日，BONqDAO遭到预言机攻击。攻击者通过预言机操纵技术完全改变了AllianceBlock的$ALBT代币价格，估计损失约1.2亿美元。
安全事件分析  漏洞分析 

什么是基于属性的测试（PBT）？Rust 中的两个示例

本文介绍了基于属性的测试（PBT）的概念及其在 Rust 中的应用，通过示例展示了如何使用 proptest 库进行 PBT，并分享了在 cairo-rs 和 Patricia Merkle Tree 两个开源项目中使用 PBT 发现 bug 和验证代码正确性的实践案例。PBT 通过生成大量随机输入并检查代码的属性是否满足来有效地测试程序的正确性。
基于属性的测试  Property-Based Testing  proptest  Rust  Cairo VM  Patricia Merkle Tree 

Damn Vulnerable DeFi Climber 解决方案

本文分析了Damn Vulnerable DeFi的Climber挑战，重点在于ClimberTimelock合约的漏洞，该漏洞允许攻击者执行任意代码。
UUPS代理模式  时间锁  访问控制  提权  升级攻击  Damn Vulnerable DeFi 
  • Dacian
  • 发布于 2023-02-04
  • 阅读 ( 460 )

使用 Arkworks 实现的开源 Aleo VM 和使用 Tendermint 实现的区块链的详细介绍

本文介绍了LambdaClass团队开发的Aleo区块链的替代实现，包括使用Tendermint共识层和使用arkworks框架实现的零知识虚拟机，目标是Aleo指令。文章还介绍了共识层、虚拟机以及VM与共识集成层，并指出了目前正在进行的工作，例如支持更多数据类型和指令、生成状态转换正确性的证明等。
Aleo  Tendermint  零知识虚拟机  Arkworks  共识层  Simpleworks 

如何利用限制条款在比特币上实现通用智能合约

本文探讨了在比特币中添加限制条款（Covenant）的可能性，旨在扩展比特币 Layer 1 的能力，使其成为支持一切计算的通用结算层。
限制条款  UTXO  默克尔树  智能合约  Layer 2  欺诈证明 

深入探讨 Solidity 库

本文深入探讨了Solidity库的工作原理，详细介绍了如何使用`delegatecall()`调用库函数，以及如何创建和发布一个Solidity库。文章还讨论了库与智能合约的关键区别，并提供了多个代码示例来演示库的使用方法。
Solidity  Library  delegatecall  EVM  智能合约  Yul 

零时科技入选FreeBuf 咨询《CCSIP 2022 中国网络安全行业全景册（第五版）》

未来，零时科技将继续扎根“区块链安全”这一关键赛道，不忘初心，怀揣热爱，为全球区块链企业的安全保驾护航。
安全审计  零时科技  区块链安全 

2023年值得期待的加密叙事之 ZK-rollups

随着 zkSync、Starknet 和 Polygon zkEVM 即将推出的代币，ZK-rollup加密叙事继续深入布局。
  • Tokenview
  • 发布于 2023-02-03
  • 阅读 ( 3566 )
  • ( 9 )

香槟超新星：增量可验证计算

本文介绍了SuperNova，它是一种基于虚拟机和程序的密码学证明系统，能够实现非均匀IVC。SuperNova通过使用folding schemes和relaxed-committed R1CS，支持具有丰富指令集的机器，克服了Nova仅支持单个指令的限制。SuperNova在保证简洁性、零知识和增量证明生成的同时，使得证明程序的每一步的成本与该指令的电路大小成正比。
IVC  密码学证明  Folding schemes  R1CS  虚拟机  SuperNova 

什么是Solana账户模型？

本文深入探讨了Solana账户模型，包括账户的定义、类型及其运作机制。文章通过与以太坊智能合约的比较，阐述了可执行程序与非可执行程序的区别以及账户的各种分类和组成元素。此外，还介绍了Solana账户的租金机制和创建方法，提供了全面的技术理解与应用视角。
Solana  账户模型  可执行程序  非可执行程序  租金机制  Rust 
  • Alchemy
  • 发布于 2023-02-03
  • 阅读 ( 1765 )
  • ( 2 )

探索Cosmos：安全基础知识

Cosmos是一个互操作区块链的网络，允许开发者使用Cosmos SDK构建特定应用的区块链。文章详细介绍了Cosmos的架构、模块化设计、安全措施以及与其他区块链的通信方式，强调了其在应用开发和安全性方面的优势。
Cosmos  区块链  Cosmos SDK  IBC  安全性  模块化 
  • zellic
  • 发布于 2023-02-03
  • 阅读 ( 1416 )