最新内容

Move Prover 实用指南

Move Prover的入门指导![move-prover-title.png](https:img.learnblockchain.cnattachments202209uAAzxlYq6327bbce59cb2.png!scale30)*形式化验证* - 一种验证程序正确性的强力工具。但它是如何工作的呢?这篇博客会介绍一些Move Prover的使用技巧 …

合并后的第一天:快速回顾 PoS 以太坊设计

合并后的第一天,让我们来回顾一下 PoS 以太坊的设计![ef043187f0ff77f2a487cdab1c631469.png](https:img.learnblockchain.cnattachments202209HBESzmCe6327bf206076b.png)## 能源消耗合并后的能源消耗会减少 99.8%。这是可以公开验证的,而排除一切合理 …

ETHW重放攻击

ETHW重放攻击# ETHW重放攻击## 事件概要2022 年 9 月 18 日,跨链桥 omni Bridge 在 ETHW 上的合约受到[重放攻击](https:learnblockchain.cnarticle4763),被黑客拿走了 200 个 ETHW(当时价值约为2000 U)。ETHW 官方表示问题出在合约没有验证 chainId,导致交易被重 …

零知识证明 - FPGA vs. GPU

本文从MSM的计算入手,分析FPGA和GPU加速零知识证明计算的优缺点。零知识证明技术应用越来越广,隐私证明,计算证明,共识证明等等。在寻找更多更好的应用场景的同时,很多人逐步发现零知识证明证明性能是个瓶颈。Trapdoor Tech团队从2019年开始深入研究零知识证明技术,并一直探索高效的零知识证明加速方案。GPU或者FPGA是目前市面上比较常见的加速平 …

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

每周以太坊进展2022917## PoW 关闭(合并)* [以太坊现在由权益证明保障](https:twitter.comVitalikButerinstatus1570306185391378434),工作量证明已成为过去* 合并后出块间隔为[12 秒](https:twitter.comnatemaddreystatus15708560777885859 …

用Hardhat闯关Ethernaut题10 -reentrance

开坑使用Hardhat闯关Ethernaut CTF题,提高合约和测试脚本的能力,后续也会增加Paradigm CTF的闯关题目。# Reentrance合约任务:把合约里面的钱全部取出来就行。``` SPDX-License-Identifier: MITpragma solidity ^0.6.0;import "@openzeppelincontrac …

Ethernaut 题库闯关 #23 — Puzzle Wallet

Ethernaut题库闯关连载的第23篇今天这篇是Ethernaut 题库闯关连载的第23篇,难度等级: 较难。欢迎大家订阅专栏:[Ethernaut 题库闯关](https:learnblockchain.cncolumn19),坚持挑战下去,你的 Solidity代码能力肯定大有提高。## 挑战# 23 Puzzle Wallet通常,我们需要为DeFi …

move语言之初见

初步学习一个move的初级合约的创建。[move语言](https:learnblockchain.cnarticle4606)的来源是facebook创建的。但是现在被三个区块链项目作为合约语言使用。三个区块链项目都获得了大量的投资。三个项目分别是sui,lim。我们来初步学习一个move的初级合约的创建。由于move是基于rust写的。所以要安装move …