智能合约 智能合约是一种以数字化形式制定、传播、验证及执行条件的计算机程序。它允许在无第三方的情况下,执行可追溯、不可逆转的可信交易。简而言之,交易双方能够按照条件自动执行,无须任何干预。与传统合约相比,智能合约是基于区块链的,合约内容公开透明且不可篡改并遵循“Code is law(代码即法律)”。
现货/Actuals 现货(Actuals)也称实物(physicals),指可供出货、储存和制造业使用的实物商品。可供交割的现货可在近期或远期基础上换成现金,或先付货,买方在极短的期限内付款的商品的总称。现货是期货的对称。
时空证明/ Post 时空证明(proof-of-spacetime,post),时空证明提出了证明链的数据结构,证明链由挑战(challenge)和证明(proof)链接起来形成,在证明链的基础上添加上时间段,这样就得到了一段时间内的矿工存储数据的证明,这就是时空证明(Proof of Spacetime,PoSt)。