预言机，与初识 Solidity

亲眼读这门语言，而不只是听说它

你已经听说过：智能合约就是*住在某个地址上的代码加状态*。但到目前为止，这都只是从外部给出的描述。让我们打开盒子、读一读真正的代码——因为编写合约的主力语言 Solidity，远没有看上去那么神秘。如果你曾填写过一张带命名字段的表单，又按下过某个只做一件特定事情的按钮，那么你其实已经懂得它的轮廓了。

下面是一份完整、能跑的合约：一座小小的银行，记着每个地址各自存了多少。它只有寥寥几行，但 Solidity 里每一个要紧的概念都已包含其中。先从头到尾通读一遍，然后我们再慢慢逐句走过它。

contract PiggyBank {
    // STATE: a table from address -> balance
    mapping(address => uint) public balances;

    function deposit() public payable {   // pay in; coins ride along
        balances[msg.sender] += msg.value;
    }

    function withdraw(uint amount) public {     // take back only yours
        require(balances[msg.sender] >= amount, "too much");
        balances[msg.sender] -= amount;
        payable(msg.sender).transfer(amount);
    }
}

逐行走读这份代码

`mapping(address => uint) public balances;` 这一行，就是这份合约的全部记忆。mapping（映射）是一张查找表：递给它一个地址，它就还你一个数字。这张表*就是*链上状态——它会永远留存，而每一个节点都持有同一份副本。`public` 这个词，只是表示任何人都可以读取它，而这正是合约默认的性情：天生开放。

每一个 `function`（函数）都是世界可以触发的一条规则。`deposit()` 被标记为 `payable`，意思是一次调用可以携带着钱币而来；所发送的金额会以 `msg.value` 的形式出现，而 `msg.sender` 则是发起调用的那个地址。`balances[msg.sender] += msg.value;` 这一行读取调用者当前的余额，再写回一个更大的值。关键在于，合约从不需要追问*你是谁？*——早在这个函数运行之前，网络就已经通过调用者的数字签名证明了其身份。

`withdraw()` 展示了每一位 Solidity 读者都必须学会的那个习惯：守卫（guard）。`require(balances[msg.sender] >= amount, "too much")` 这一行是一道检查关卡。如果条件为假，整次调用便会被回滚（revert）——彻底撤销，仿佛从未发生过，并把错误信息交还回来。唯有检查通过，余额才会减少、钱币才会发出。正是这条「全有或全无」的规则，护住了一个公开的、人人可调用的程序，使其不被掏空。

被封的盒子：合约无法向外张望

现在要说那个几乎让所有人都吃惊的边界了。我们的存钱罐之所以能成立，是因为每一个节点在以太坊虚拟机里运行它，都会得出*完全*相同的答案。这种确定性正是信任的源头——但它是有代价的。合约被允许触碰的，只有每个节点都能就之达成一致的东西：它自己的状态、所发送的金额、调用者的地址。它被封在了链内。

于是，合约取不到一个网页，读不到今天的天气，不知道黄金的价格，甚至说不出真实世界此刻是几点。为什么不能？设想它试图调用一个天气网站。一个节点也许拿到「22°C」，另一个晚了一秒拿到「23°C」，第三个则可能直接超时。这下节点之间就对不上了，共识随之崩碎，链也无从判定哪一段历史才是真的。为了保住确定性，EVM 干脆彻底禁绝了任何通往外界的窗口。

预言机：把世界搬上链的信使

可是，我们希望合约去做的事，有太多*取决于*外部世界。一份在航班延误时赔付的保险合约，需要知道航班确实延误了；一笔在抵押物贬值时清算的贷款，需要一个价格。区块链预言机，就是把这类事实搬过那堵墙的桥。它不是什么魔法之眼——它是一段运行在链外的软件，先读取真实世界，再把答案作为一笔普通交易写进某份合约的状态。事实一旦上了链，每个节点便都能看见它、就它达成一致。

  REAL WORLD            OFF-CHAIN            ON-CHAIN
  ----------            ---------            --------
  flight delayed   ->   oracle reads    ->   writes "delayed = true"
  ETH price $...   ->   the data, then  ->   into a price contract
  match score      ->   sends a tx      ->   that dApps can read

        the wall the EVM cannot see through:  | <-- here

  A contract only ever reads what an oracle
  has ALREADY written into on-chain state.

你或许听说过的许许多多去中心化应用，正是靠这一套在运转：借贷市场、预测市场、保险，以及一切系于真实价格或真实事件之上的东西。合约保持简单而确定，预言机则去干那件伸手探入现实的脏活累活。两者合在一起，才让链上代码终于能够*回应*链下的世界。

薄弱的一环：你信谁说的真相？

麻烦就在这里，而且兹事体大。我们用整整这条线索，搭起了一个你无需信任任何人的系统——可预言机却悄悄把「告诉合约什么是真」的权力，交给了某一个单一来源。倘若那个来源出了错，或被收买，它下方那份无懈可击的代码，就会无懈可击地在一个谎言之上执行。一份在航班延误时赔付的合约，只要预言机*声称*航班延误了，它就会照赔不误。这就是预言机问题，它被广泛称作整条链上最薄弱的一环。

答案，正是当初让链本身变得可信的那个念头：不要依赖任何一个「单独」的东西。现代的预言机并非孤身一人的报信者，而是一张由许多彼此独立者组成的去中心化网络，每一个都各自去取那个事实、各自把它发布上来；合约随后取它们的*中位数*，于是少数几个说谎者或故障者，撼不动那个数字。如今要腐蚀真相，就意味着同时腐蚀其中的多数——代价高昂、显眼难藏，且极不容易。信任并未消失，但已被摊得足够薄，薄到安全。

小结

现在你已能如其所是地读懂 Solidity：命名的状态、人人可调用的函数，以及裁定谁能做什么的 `require` 守卫。你也知道了这条链唯一真正的盲点——它只能就自己造出的事实达成一致，因此每一桩外部真相，都得靠一台区块链预言机搬过那堵墙；而这恰恰是信任悄然重返之处，必须用守护链本身的那同一份去中心化，把它守住。

至此，我们对这条可编程链的游历便告一段落——合约、EVM、gas、代币，以及如今的 Solidity 与预言机。接下来，我们将向上爬一层，走进人们真正用这些零件搭起来的应用：借贷、无需中间人的交易、守住稳定价值的稳定币，以及去中心化金融的其余种种。