Skip to content

Latest commit

 

History

History
252 lines (198 loc) · 8.84 KB

He​len.md

File metadata and controls

252 lines (198 loc) · 8.84 KB
timezone
Asia/Shanghai

He​len

  1. 自我介绍

    凡事都有第一次，喜歡體驗新事物的小女子。

  2. 你认为你会完成本次残酷学习吗？

    我會盡我洪荒之力盡量完成本次共學目標，但有時以大我為目標，有時也會量力而為，比昨天的自己再進步一點就滿足。

Notes

2024.09.30

3. 地址類型（Address）

在 Solidity 中，address 是一種專門用於儲存以太坊地址的資料類型。地址類型有兩種類型：

(1) 普通地址（address）：用於儲存一個 20 字節長的以太坊地址。 (2) 支付地址（payable address）：這類地址可以接收以太幣（ETH），並且有 transfer 和 send 這兩個方法可以進行轉帳。 範例：

// 地址類型示範
address public _address = 0x7A58c0Be72BE218B41C608b7Fe7C5bB630736C71;  // 普通地址
address payable public _address1 = payable(_address);                  // 可支付地址，可以進行轉帳操作

(3) 地址類型的成員變數

uint256 public balance = _address1.balance;  // 獲取地址的餘額（以 wei 為單位）

在上述範例中：

_address 是一個普通的以太坊地址。 _address1 是一個 payable 類型的地址，可以接收以太幣。 使用 balance 成員變數可以查詢某個地址的以太幣餘額。

2024.09.29

2. 整型

在 Solidity 中，整型（Integer）表示的是整數，最常用的整型類型包括：

  • int：可以儲存正數與負數的整數。
  • uint：僅儲存正整數。
  • uint256：最大可以儲存 256 位元的正整數。
// 整型示範
int public _int = -1;         // 整數，包含負數
uint public _uint = 1;        // 正整數
uint256 public _number = 20220330;  // 256 位正整數

常用整型運算符

[1].比較運算符（返回Boolean-二值變量）：

<=：小於等於 <：小於 ==：等於 !=：不等於 >=：大於等於 >：大於

[2].算術運算符：

+：加法 -：減法 *：乘法 /：除法 %：取餘數 **：幂次方（指數運算）

// 整數運算範例

uint256 public _number1 = _number + 1;   // 加法，_number1 為 20220331
uint256 public _number2 = 2**2;          // 指數，2 的 2 次方，結果為 4
uint256 public _number3 = 7 % 2;         // 餘數運算，7 除以 2 餘數為 1
bool public _numberbool = _number2 > _number3;  // 比較，_number2 是否大於 _number3，結果為 true

2024.09.28

進度：短路規則（Short-Circuiting）

Short-Circuiting在邏輯運算中可優化計算效率，對於已知的事實，直接產出結果：

XXX condition

例1： &&（邏輯與），當左邊的條件為 false 時，右邊的條件不再被計算，因為無論右邊的條件是什麼，結果必然是 false。

註：&& 是邏輯與運算符，當兩個操作數都為 true 時，結果才是 true。如果任一操作數為 false，結果就為 false。

bool condition = false && expensiveFunction();
// `expensiveFunction()` 不會被執行

例2： 對於 ||（邏輯或），當左邊的條件為 true 時，右邊的條件不會再被計算，因為結果已經是 true。 (|| 是邏輯或運算符，只要任一操作數為 true，結果就是 true。)

bool condition = true || expensiveFunction();
// `expensiveFunction()` 不會被執行

這種短路行為可以避免不必要的計算，特別是在運算代價高昂的情況下，降低多於運算可減少成本並提高效率。

2024.09.26

進度：值类型

  1. ||（邏輯或，OR）VS &&（邏輯與） || 是邏輯或運算符，只要任一操作數為 true，結果就是 true。只有當兩個操作數都為 false 時，結果才是 false。

範例：

bool public _bool3 = _bool || _bool1;  // _bool3 為 true
                    //True or False
  1. ==（等於，Equality） == 用來判斷兩個pool是否相等。如果兩者相等，結果為 true，否則為 false。 範例：
bool public _bool4 = _bool == _bool1;  // _bool4 為 false
                    // True== False(以右邊值為主）
  1. !=（不等於，Inequality） != 用來判斷兩個布林值是否不相等。如果兩者不相等，結果為 true，否則為 false。
bool public _bool5 = _bool != _bool1;  // _bool5 為 true
                    // True != False(負負得正）

2024.09.25

進度：值类型 & 熟悉Github 語言

1. 布林型（二值變量）與邏輯運算

布林型（Boolean）是編程語言中的基本資料類型之一，只有兩個可能的取值：true（真）或false（假）。布林型主要用於條件判斷和控制流程中，通過邏輯運算符進行操作。

在這裡，我們將通過簡單的 Solidity 程式碼，來介紹常見的布林運算符，包括：

  • !（邏輯非）
  • &&（邏輯與）
  • ||（邏輯或）
  • ==（等於）
  • !=（不等於）

布林值運算

// 定義布林變量
bool public _bool = true;

// 布林運算範例
bool public _bool1 = !_bool;           // 取非: _bool1 為 false
bool public _bool2 = _bool && _bool1;  // 與: _bool2 為 false
bool public _bool3 = _bool || _bool1;  // 或: _bool3 為 true
bool public _bool4 = _bool == _bool1;  // 相等: _bool4 為 false
bool public _bool5 = _bool != _bool1;  // 不相等: _bool5 為 true
  1. !（邏輯非，NOT） ! 是邏輯非運算符，用於取反一個布林值。如果變數的值為 true，那麼取非後的結果就是 false，反之亦然。

範例：

bool public _bool1 = !_bool;  // _bool1 為 false

這裡，變數 _bool 的初始值是 true，使用邏輯非 !_bool 會將其取反，得到 _bool1 = false。

  1. &&（邏輯與，AND） && 是邏輯與運算符，當兩個操作數都為 true 時，結果才是 true。如果任一操作數為 false，結果就為 false。 範例：
bool public _bool2 = _bool && _bool1;  // _bool2 為 false

接續No.1 範例的定義， 由於 _bool 是 true，但 _bool1 是 false，_bool2結果為 false。

2024.09.24

今日筆記-除錯

1.確認 Solidity 版本的相容性 檢視發現 Compiler 版本與合約版本不一致（0.8.27 V.S 0.8.21)，統一改為Solidity 合約中自訂版本

2.檢視影片確認操作沒問題

3.合約已發佈

2024.09.23

Real Note

進度：01_HelloWeb3 使用开发工具：Remix 練習寫一個智能合約,熟悉部署程序

// SPDX-License-Identifier: MIT
// 智能合約命名Heâ€len
// 內容：Hello my world!
// 完成編譯後，要按compile
pragma solidity ^0.8.21;
contract len{
    string public _string = "Hello my world";
}

但卡住了,evm version:cancun

Sample Notes

學習內容:

  • A 系列的 Ethernaut CTF, 之前做了差不多了. POC: ethernaut-foundry-solutions
  • A 系列的 QuillAudit CTF 題目的網站關掉了, 幫大家收集了題目, 不過還是有幾題沒找到. 有找到題目的人可以在發出來.
  • A 系列的 DamnVulnerableDeFi 有持續更新, 題目也不錯. Damn Vulnerable DeFi.
  • 使用 Foundry 在本地解題目, 可以參考下面 RoadClosed 為例子
  • forge test --match-teat testRoadClosedExploit -vvvv

QuillAudit CTF - RoadClosed

  function addToWhitelist(address addr) public {
    require(!isContract(addr), "Contracts are not allowed");
    whitelistedMinters[addr] = true;
  }

  function changeOwner(address addr) public {
    require(whitelistedMinters[addr], "You are not whitelisted");
    require(msg.sender == addr, "address must be msg.sender");
    require(addr != address(0), "Zero address");
    owner = addr;
  }

  function pwn(address addr) external payable {
    require(!isContract(msg.sender), "Contracts are not allowed");
    require(msg.sender == addr, "address must be msg.sender");
    require(msg.sender == owner, "Must be owner");
    hacked = true;
  }

  function pwn() external payable {
    require(msg.sender == pwner);
    hacked = true;
  }
  • 解決這個題目需要成為合約的 owner 和 hacked = true.
  • On-chain: 可以透過 cast send 或是 forge script 來解.
  • Local: 透過 forge test 通常是在local解題, 方便 debug.
  • RoadClosed 為例子我寫了2個解題方式. testRoadClosedExploit 和 testRoadClosedContractExploit (因為題目有檢查msg.sender是不是合約, 所以可以透過constructor來繞過 isContract)
  • POC