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

破译 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
  • 阅读 ( 457 )

使用 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
  • 阅读 ( 3562 )
  • ( 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
  • 阅读 ( 1762 )
  • ( 2 )

探索Cosmos：安全基础知识

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

写一个uniswap价差套利的合约

价差套利所谓的价差套利，本质上就是低买高卖。举个例子，假设sushiswap里的ETH价值1500USDT，uniswap里的ETH价值1600USDT，那么我们可以以1500USDT在sushiswap里买入1ETH，然后在uniswap里卖出获得1600USDT
套利 
  • biakia
  • 发布于 2023-02-03
  • 阅读 ( 9051 )
  • ( 85 )

如何寻找代理合约的真地址

寻找代理合约真地址的一种方法
代理合约  trace 
  • 晓道
  • 发布于 2023-02-03
  • 阅读 ( 5289 )
  • ( 54 )

如何在Polygon zkEVM 测试网上部署合约

如何在Polygon zkEVM 测试网上部署合约
zkEVM  EVM  智能合约 

Solana程序库是什么？

本文深入探讨了Solana区块链及其程序库（SPL），重点介绍了如何使用SPL快速开发和部署去中心化应用。文章详细阐述了Solana的账户模型、并行处理机制以及SPL的使用方法，为开发者提供了实现自己代币的实用步骤和命令，适合新手和有经验的开发者。
Solana  SPL  代币  智能合约  并行处理  开发 
  • Alchemy
  • 发布于 2023-02-02
  • 阅读 ( 1465 )

了解如何执行闪电贷

本文介绍了 DeFi 中的闪电贷概念，并通过一个使用 Aave 协议借贷 USDC 的智能合约示例，详细展示了如何在 BuildBear 测试网上部署和测试闪电贷合约。文章还对比了在本地节点和公共测试网上进行开发和测试的优劣，突出了 BuildBear 在提供 Mainnet fork、Faucet、交易调试和状态共享等方面的优势。
闪电贷  DeFi  Aave  智能合约  BuildBear  USDC 

游戏中的创作者经济

本文探讨了Web3游戏与用户生成内容(UGC)的结合，分析了传统游戏向UGC平台转型的趋势，以及区块链技术如何赋能游戏创作者和玩家，使用户能够在虚拟世界中获得收益。文章还讨论了Web3游戏面临的挑战，如过度金融化和版权问题，并提出了Web3游戏应平衡社区和利润，并为创作者提供更多支持的观点。
Web3游戏  用户生成内容  UGC  区块链  NFT  游戏平台 

2022年Solana黑客事件详解

本文深入探讨了2022年Solana生态系统中发生的多起重大安全事件，包括Wormhole、Cashio、Crema Finance、Nirvana Finance、Slope Wallet、Mango Markets和Solend等项目遭受的攻击。分析了攻击的原因、过程和影响，强调了第三方安全审计的重要性，并指出某些攻击实际上是市场操纵。
Solana  漏洞  攻击  Wormhole  Cashio  Mango Markets  预言机  安全审计 
  • Ackee
  • 发布于 2023-02-02
  • 阅读 ( 555 )

正在基于Arbitrum构建的顶级项目

Arbitrum生态系统自2021年推出以来，已经发展成为领先的第二层解决方案，TVL超过20亿美元。文章深入分析了多个正在蓬勃发展的去中心化应用（Dapp），包括GMX、TreasureDAO和Dopex等，强调了Arbitrum以快速且低成本的交易吸引开发者和流动性，并预测未来两年将继续增长。
Arbitrum  L2  DeFi  GMX  TreasureDAO  Dopex 

Etherscan显示合约的创建代码还是运行时代码？

本文探讨了Etherscan上已部署和验证的智能合约显示的字节码内容。通过实验对比，发现Etherscan显示的并非仅是运行时字节码，而是完整的字节码（创建代码+运行时代码），并附加构造函数参数（如果存在）。此外，未验证的合约在Etherscan上仅显示运行时字节码。
Etherscan  智能合约  字节码  运行时代码  创建代码  构造函数参数