Move Prover的入门指导*形式化验证* - 一种验证程序正确性的强力工具。但它是如何工作的呢？这篇博客会介绍一些Move Prover的使用技巧 …
最新内容
合并后的第一天，让我们来回顾一下 PoS 以太坊的设计## 能源消耗合并后的能源消耗会减少 99.8%。这是可以公开验证的，而排除一切合理 …
本文深入探讨了 Arbitrum 的费用机制来源 | github.comarbitrum-cn作者 | Arbitrum翻译 | Arbitrum 中文社区感谢 Arbitrum 中文社区 @arbitrum_cn 的投稿。在几个月前的 [Arbitrum](https:learnblockchain.cnarticle2665) 奥德赛中，Arbitru …
Web3 Devops with Azure Devops pipeline 第二部分# Web3 Devops with Azure Devops pipeline 2在[上 …
ETHW重放攻击# ETHW重放攻击## 事件概要2022 年 9 月 18 日，跨链桥 omni Bridge 在 ETHW 上的合约受到[重放攻击](https:learnblockchain.cnarticle4763)，被黑客拿走了 200 个 ETHW（当时价值约为2000 U）。ETHW 官方表示问题出在合约没有验证 chainId，导致交易被重 …
本文从MSM的计算入手，分析FPGA和GPU加速零知识证明计算的优缺点。零知识证明技术应用越来越广，隐私证明，计算证明，共识证明等等。在寻找更多更好的应用场景的同时，很多人逐步发现零知识证明证明性能是个瓶颈。Trapdoor Tech团队从2019年开始深入研究零知识证明技术，并一直探索高效的零知识证明加速方案。GPU或者FPGA是目前市面上比较常见的加速平 …
每周以太坊进展2022917## PoW 关闭（合并）* [以太坊现在由权益证明保障](https:twitter.comVitalikButerinstatus1570306185391378434)，工作量证明已成为过去* 合并后出块间隔为[12 秒](https:twitter.comnatemaddreystatus15708560777885859 …
开坑使用Hardhat闯关Ethernaut CTF题，提高合约和测试脚本的能力，后续也会增加Paradigm CTF的闯关题目。# Reentrance合约任务：把合约里面的钱全部取出来就行。``` SPDX-License-Identifier: MITpragma solidity ^0.6.0;import "@openzeppelincontrac …
Ethernaut题库闯关连载的第23篇今天这篇是Ethernaut 题库闯关连载的第23篇，难度等级: 较难。欢迎大家订阅专栏：[Ethernaut 题库闯关](https:learnblockchain.cncolumn19)，坚持挑战下去，你的 Solidity代码能力肯定大有提高。## 挑战# 23 Puzzle Wallet通常，我们需要为DeFi …
初步学习一个move的初级合约的创建。[move语言](https:learnblockchain.cnarticle4606)的来源是facebook创建的。但是现在被三个区块链项目作为合约语言使用。三个区块链项目都获得了大量的投资。三个项目分别是sui，lim。我们来初步学习一个move的初级合约的创建。由于move是基于rust写的。所以要安装move …