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

thirdweb: 在 Scroll zkEVM 上部署智能合约

如何创建一个简单的 NFT Drop 智能合约，将其部署到Scroll Alpha Testnet，并在智能合约上铸造 NFT。
合约部署  zkEVM 

安比实验室创始人郭宇：ZK 技术的学习心得和经验分享

ZKP和zkSNARK是密码学里一个非常重要的分支，在以太坊的发展过程中异常强大，是以太坊可扩展性未来的途径。
零知识证明 

ChainTool - 区块链开发者的工具箱 上线了

https://chaintool.tech 给区块链开发者准备工具箱
ChainTool 
  • ChainTool
  • 发布于 2023-04-24
  • 阅读 ( 5122 )
  • ( 249 )

DeFi借贷概念 #1 - 借与贷

in  DEFI 协议解析
理解借贷协议的份额币及借贷利息计算逻辑
借贷  DeFi 

Scroll zkEVM设计，优化和应用

在最新的ZKPMooc课程中，Scroll的联合创始人张烨发表了关于zkEVM设计，优化和应用的演讲。Scroll在构建以太坊等效的ZK-Rollup，在字节码级别的兼容，直接支持所有现有的工具。
zkEVM 

ZK-SNARKs中的算术化

零知识证明（ZKP）正在因其在代理计算给不受信任的服务器，解决去中心化账本的可扩展性问题等方面的诸多应用而逐渐变得流行起来。
零知识证明 
  • XPTY
  • 发布于 2023-04-19
  • 阅读 ( 4102 )

构建一个智能合约模糊测试工具，既有趣又有利可图

本文介绍了作者如何构建一个基于属性测试的工具 fuzzing-like-smarter-degen，用于检测智能合约中的漏洞。文章详细讨论了传统的单元测试的局限性，并介绍了模糊测试（fuzzing）的原理及其在智能合约安全检测中的应用。作者还介绍了如何通过假设库（Hypothesis）实现模糊测试，并展示了该工具的运行效果。
模糊测试  智能合约  漏洞检测  属性测试  Hypothesis  以太坊 
  • jat9292
  • 发布于 2023-04-15
  • 阅读 ( 1340 )

科普: 零知识证明, SNARK与STARK 及使用场景

零知识证明使用场景分析，在 Rollup 之外，还可以应用在哪？
零知识证明  zkSNARK  zkSTARK 

深入解析polygon zkEVM(二)

我们将依托上篇文章建立的框架，深入polygon zkEVM关于Sequencer和Bridge更多的技术细节，同时也探讨未来潜在的去中心化Sequencer架构的不同特点。
zkEVM  Polygon zkEVM 
  • 0xhhh
  • 发布于 2023-04-13
  • 阅读 ( 4956 )
  • ( 5 )

如何利用 RGB 在闪电网络上转移另类资产

一旦闪电网络上有了稳定币和其它资产，就有可能直接在闪电网络上实现去中心化交易所功能，即，两个节点能够点对点完成比特币与其它资产的互换，不仅在交易速度和成本上比肩闪电网络付款，而且无需担心对手方风险。
比特币  闪电网络  RGB 

解析 Polygon zkEVM #1

PolygonzkEVM系列文章的第一篇，简要的阐述了polygonzkEVM的的整体架构和交易执行流程，并且分析了polygonzkEVM是如何实现计算扩容的同时继承以太坊的安全性的。
zkEVM  Polygon zkEVM 
  • 0xhhh
  • 发布于 2023-04-10
  • 阅读 ( 4920 )
  • ( 6 )

比特币钱包备份方案简史

采用更高级的锁定策略（哪怕只是基础的多签设置，不依赖于隐性排序密钥）有可能通过设置超时时间、门限签名方案和额外的解锁路径为用户带来更高的安全性。
比特币  钱包 

科普: 零知识证明与zkRollup的基础知识

科普零知识证明，为什么需要零知识证明
零知识证明 

关于 Anchor 账户大小的所有信息

本文对 Rust 中 Anchor 智能合约的账户大小计算进行了比较，分析了使用 _std::mem::size_of_ 与 Anchor 官方空间参考之间的异同。尽管 _std::mem::size_of_ 在大多数情况下准确，但在处理某些数据类型，如 Vec 和 Enum 时可能导致不一致的结果，因此建议开发人员根据 Anchor 文档手动计算账户大小。
智能合约  Rust  Anchor  数据结构  序列化  Solana 
  • Sec3dev
  • 发布于 2023-04-07
  • 阅读 ( 949 )

Solidity 精度损失错误

本文深入探讨Solidity编程中数值运算可能导致的精度损失问题，包括除法后乘法、向下取整至零、未进行精度缩放、过度精度缩放、精度缩放不匹配、向下转型溢出以及协议价值因四舍五入而泄露等，并提供了避免这些问题的实用建议和代码示例。
Solidity  精度损失  数值运算  智能合约  漏洞  安全 
  • Dacian
  • 发布于 2023-04-05
  • 阅读 ( 365 )

使用Automation、Gelato和Defender 进行合约自动化执行

ChainLink Automation、Gelato Network 和OpenZeppelin Defender 三个自动化合约执行工具对比。
Chainlink  Gelato  智能合约 

Snapshot - 技术架构

本文介绍了 Snapshot 投票平台的架构。Snapshot 是一个开源的投票平台，允许组织轻松且无需 gas 费地进行投票。文章详细描述了 Snapshot 的技术架构，包括用户界面、后端逻辑（Sequencer、投票和验证策略、Score API），以及数据层（IPFS和MySQL数据库），并解释了投票过程中各组件的交互。
Snapshot  投票平台  DAO治理  IPFS  sequencer  链下投票 

科普：零知识证明、ZKRollup 与 zkEVM

译者语：2023 年将迎来 zkEVM 大发展，让我们看看有哪些项目在进行 zkEVM 的研究，zkEVM 可以做什么
zkEVM  ZK Rollup 

PoS 系列 #2-Epoch，Slot 与信标区块

in  以太坊中文 · ETH
本文将介绍 PoS 机制下的时间表、验证者委员会的分配过程以及信标区块的组成。
PoS  信标链  共识层 

签名重放攻击

本文深入探讨了以太坊交易中签名验证的潜在安全漏洞，包括重放攻击（缺失 Nonce、跨链重放）、缺少参数、签名过期、未检查 ecrecover() 返回值以及签名可延展性。文章通过具体的代码示例和漏洞案例，强调了智能合约开发者在签名实现中必须注意的关键安全问题和防范措施。
签名重放攻击  nonce  跨链攻击  ecrecover  ECDSA  EIP-712 
  • Dacian
  • 发布于 2023-03-29
  • 阅读 ( 295 )
  • ( 2 )