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

关于形式验证智能合约的五个误解

本文深入探讨了形式验证在智能合约中的重要性，驳斥了关于形式验证的多种误解，强调其在代码开发过程中及早介入的重要性，以及如何提高智能合约的安全性。形式验证不仅能帮助发现安全漏洞，还能通过清晰的规范来保障代码的正确性。
形式验证  智能合约  安全性  代码规范  编程错误  去中心化金融 
  • Certora
  • 发布于 2022-12-22
  • 阅读 ( 562 )

解构 Solidity 合约 #3：函数包装器

in  理解 EVM - 探究Solidity 背后的秘密
解构 Solidity 合约 #3：函数包装器
EVM  Solidity  智能合约 

什么是Web3商务？

本文介绍了Web3 Commerce的概念，即在区块链上进行现实世界资产的交易，旨在提高企业和客户之间的信任、透明度和协调性。作者阐述了Web3 Commerce的例子以及不属于Web3 Commerce的活动，并解释了Web3 Commerce一词的起源及含义。
Web3 Commerce  区块链  现实世界资产  供应链  比特币  以太坊 

Hardhat以太坊智能合约开发框架基础教程

Hardhat以太坊智能合约开发框架基础教程
Hardhat 
  • Chain哥
  • 发布于 2022-12-21
  • 阅读 ( 5923 )
  • ( 13 )

Solidity如何优化Gas费用

Solidity如何优化Gas费用
Solidity  gas优化 

一文解决 web3 合约 ethers 交互基础

一文解决 web3 合约 ethers 交互基础
ethers.js 
  • 1_bit
  • 发布于 2022-12-21
  • 阅读 ( 9161 )
  • ( 24 )

什么是比特币硬件钱包？

本文介绍了比特币硬件钱包，它是一种离线存储比特币密钥的专用设备，通过生成和安全存储密钥、签署交易等功能来保护用户的比特币资产。文章详细解释了硬件钱包的功能、交易签署过程、以及优势与劣势，并强调了硬件钱包在比特币安全存储中的关键作用。
硬件钱包  私钥  冷存储  多签  助记词  交易签名 

教程：如何在没有 Web 界面的情况下创建 ERC20桥

本篇是关于Node.js脚本管理ERC20桥的一个教程。
ERC20  桥 

每周以太坊进展 2022/12/17

每周以太坊进展 2022/12/17
每周以太坊 
  • EthWeekly
  • 发布于 2022-12-20
  • 阅读 ( 3955 )
  • ( 67 )

深入解读 Uniswap v3 新特性

深入解读 Uniswap v3 新特性
Uniswap V3 
  • EthTaipei
  • 发布于 2022-12-19
  • 阅读 ( 4026 )
  • ( 147 )

评估 CoinJoin 实现的框架

本文深入探讨了比特币Coinjoin技术的复杂性，剖析了不同实现方式在隐私性、区块空间效率等方面的差异与权衡，强调了理解Coinjoin技术和选择合适的实现对于比特币用户的重要性，并提出了评估各种Coinjoin方案的关键问题，旨在帮助用户更好地保护自己的隐私。
CoinJoin  比特币  隐私性  区块空间  匿名性  UTXO 

Uniswap V3 释疑: 集中流动性, 无常损失和滑点

Uniswap 协议是一组原生的ETH的智能合约，它可以实现 ERC20代币与ERC20代币的交换, 以及ERC20代币与ETH之间的的交换。
Uniswap V3 
  • songmint
  • 发布于 2022-12-19
  • 阅读 ( 8814 )
  • ( 60 )

解读：OpenSea的强制版税执行工具

NFT交易版税，已经在以太坊上分发出18亿美元，然而版税支付之战在今年打响
去中心化  Web3 
  • 十四君
  • 发布于 2022-12-19
  • 阅读 ( 8556 )
  • ( 11 )

5 个步骤创建 Solana 代币

在本文中，我们将通过五个步骤引导你创建 Solana 代币。除了深入研究该过程，我们还将推荐更多关于 Solana 区块链和 SPL 代币的信息。
Solana 
  • Meta
  • 发布于 2022-12-19
  • 阅读 ( 20624 )
  • ( 78 )

我们正在阅读的一些书籍（以及我们正在玩的游戏），2022年冬季

a16z crypto 团队成员推荐了一些书籍和游戏，内容涵盖潜水、半导体、间谍等主题，以及大量的科幻作品。推荐的书籍包括小说、非小说和游戏，其中《明日又明日》和《呼气》是重复推荐的作品。还包括一些关于品牌、文化、社群、沟通和经济历史等主题的书籍。
书籍推荐  游戏推荐  科幻  半导体  品牌  文化 

解构 Solidity 合约 #2 - 函数选择器

in  理解 EVM - 探究Solidity 背后的秘密
来自 Openzeppelin 的经典文章。
ABI  EVM  智能合约 

我们在加密货币领域（2023年）感到兴奋的一些事情

这篇文章探讨了未来一年区块链技术、加密应用和数字身份等领域的主要趋势和发展方向，包括移动区块链、零知识证明、多方计算、全面链上游戏等。不同领域的合作伙伴分享了各自对这些主题的期待和想法，强调了去中心化、开发者引导以及可持续发展的重要性。
区块链  移动技术  零知识证明  多方计算  链上游戏  非可转让代币 

如何入门智能合约开发

如何入门智能合约开发
Solidity 
  • 33357
  • 发布于 2022-12-17
  • 阅读 ( 4282 )
  • ( 25 )

Uniswap 重入漏洞披露

Dedaub 团队发现了 Uniswap UniversalRouter 中的一个重入漏洞，该漏洞允许恶意接收者在交易过程中重新进入合约并窃取资金。通过提交漏洞报告，Dedaub 团队获得了 Uniswap 的漏洞赏金。该漏洞的根本原因是 UniversalRouter 在处理多个连续操作时，未对接收者进行可信度验证，导致恶意接收者可以利用重入漏洞窃取不应属于他们的资金。
Uniswap  UniversalRouter  重入漏洞  智能合约  漏洞赏金  Dedaub 
  • Dedaub
  • 发布于 2022-12-17
  • 阅读 ( 313 )

Iceberg-Trino 如何解决链上数据面临的挑战

链上数据处理面临的挑战与解决方案
链上数据 
  • Wade
  • 发布于 2022-12-16
  • 阅读 ( 5092 )
  • ( 26 )