区块链の智能合约学习

以34C3 CTF中的智能合约题目为例，学习区块链技术中智能合约特性的知识

题目链接：

https://archive.aachen.ccc.de/34c3ctf.ccc.ac/challenges/index.html

avatar

send 1505 szabo 457282 babbage 649604 wei 0x949a6ac29b9347b3eb9a420272a9dd7890b787a3

什么是Etherscan

其实是一种特殊的浏览器，就像Chrome、Firefox、IE等一样，不过Etherscan让我们浏览的不是Internet内容，而是Blockchain的内容。

主页是etherscan.io，需要科学上网。

解题：

0x00

send、wei等为以太坊的关键字，具体单位关系自行百度，1505 * 10 ** 12 + 457282 * 10 ** 6 + 649604)/10 ** 18 = 0.001505457282649604ether，注意babbage有时是KWei，有时是MWei，此题为MWei。但是不需要支付这笔钱也可解出flag

题目中给出了地址，访问它得到字节码：

avatar

反编译&反汇编给出的字节码：(https://ethervm.io/decompile附代码)

contract Contract {
    function main() {
    memory[0x40:0x60] = 0x60;

    if (msg.data.length < 0x04) { revert(memory[0x00:0x00]); }

    var var0 = msg.data[0x00:0x20] / 0x0100000000000000000000000000000000000000000000000000000000 & 0xffffffff;

    if (var0 == 0x2a0f7696) {
        // Dispatch table entry for 0x2a0f7696 (unknown)
        if (msg.value) { revert(memory[0x00:0x00]); }
    
        var var1 = 0x0081;
        var var2 = msg.data[0x04:0x24] & 0xffff;
        var1 = func_00CC(var2);
        var temp0 = memory[0x40:0x60];
        memory[temp0:temp0 + 0x20] = var1;
        var temp1 = memory[0x40:0x60];
        return memory[temp1:temp1 + (temp0 + 0x20) - temp1];
    } else if (var0 == 0x5b6b431d) {
        // Dispatch table entry for Withdraw(uint256)
        if (msg.value) { revert(memory[0x00:0x00]); }
    
        var1 = 0x00c0;
        var2 = msg.data[0x04:0x24];
        Withdraw(var2);
        stop();
    } else if (var0 == 0x9f1b3bad) {
        // Dispatch table entry for Receive()
        var1 = 0x00ca;
        Receive();
        stop();
    } else { revert(memory[0x00:0x00]); }
}

function func_00CC(var arg0) returns (var r0) {
    var var0 = 0x00;

    if (arg0 & 0xffff != storage[0x01] & 0xffff) { return 0x00; }

    memory[0x00:0x20] = msg.sender;
    memory[0x20:0x40] = 0x02;
    return storage[keccak256(memory[0x00:0x40])];
}

function Withdraw(var arg0) {
    if (msg.sender != storage[0x00] & 0xffffffffffffffffffffffffffffffffffffffff) { revert(memory[0x00:0x00]); }

    var temp0 = arg0;
    var temp1 = memory[0x40:0x60];
    var temp2;
    temp2, memory[temp1:temp1 + 0x00] = address(msg.sender).call.gas(!temp0 * 0x08fc).value(temp0)(memory[temp1:temp1 + memory[0x40:0x60] - temp1]);

    if (temp2) { return; }
    else { revert(memory[0x00:0x00]); }
}

function Receive() {
    var var0 = 0x00;
    var var1 = var0;
    var var2 = 0x02;
    memory[memory[0x40:0x60] + 0x20:memory[0x40:0x60] + 0x20 + 0x20] = 0x00;
    var temp0 = memory[0x40:0x60];
    memory[temp0:temp0 + 0x20] = msg.value;
    var var3 = temp0 + 0x20;
    var temp1 = memory[0x40:0x60];
    var temp2;
    temp2, memory[temp1:temp1 + 0x20] = address(var2).call.gas(msg.gas - 0x646e)(memory[temp1:temp1 + var3 - temp1]);

    if (!temp2) { revert(memory[0x00:0x00]); }

    var temp3 = memory[memory[0x40:0x60]:memory[0x40:0x60] + 0x20] ~ storage[0x01];
    memory[0x00:0x20] = msg.sender;
    memory[0x20:0x40] = 0x02;
    storage[keccak256(memory[0x00:0x40])] = temp3;
    }
}

avatar

0x01

可见总共main+三个函数，main作为入口主要用来选择函数，接下来查看函数在交易中的调用情况：

avatar

真正成功的记录只有中间没有感叹号的五条，挨着看一下：

avatar
avatar
avatar
avatar
avatar

第四条记录调用了Receive()，剩下四条均调用func_00CC()。那么主要分析这两个函数(不懂的地方查一查solidity手册)

0x02:func_00CC

1、main()函数头（见上面反编译结果）
(1)if (msg.value) { revert(memory[0x00:0x00]); }
msg.value的值代表转账者给合约转账的金额数，此行语句说明没有支付，忽略。
(2) 第三行：var var2 = msg.data[0x04:0x24] & 0xffff;
此过程是个传参过程，从0x04开始读取0x20（32）个字节长度，然后进行0xffff运算。该数据没有进行除法处理，可以判断其变量类型byte2
(3) 随后开始调用func_00CC()执行，有return值

2、func_00CC内部
第二行的if对arg0 & 0xffff和storage[0x01] & 0xffff进行比较，不相等则返回0x00