Essential 服务器

Essential 声明性协议的集中式服务器实现。此crate负责构建模块并管理Essential应用程序的核心功能，作为整个系统的骨架。

块状态合约

服务器使用特殊的合约来存储关于块的状态。目前这包括时间和区块号。如果您想查询此状态，可以执行以下操作

interface BlockState {
    storage {
        number: int,
        time: int,
    }
}

predicate MyPredicate {
    interface Block = BlockState(0xF745D1D91B68080CF398556DDD611B620964D2B1974C0283F03AC7C142B394DF);

    state time = Block::time;
    state number = Block::number;
}