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 …