5 releases (breaking)
0.4.0 | Aug 23, 2024 |
---|---|
0.3.0 | Aug 14, 2024 |
0.2.0 | Jul 30, 2024 |
0.1.0 | Jul 8, 2024 |
0.0.0-release | Jul 8, 2024 |
#32 in #constraint
40 downloads per month
Used in essential-rest-server
125KB
2.5K
SLoC
Essential Server
A centralized server implementation of the Essential declarative protocol. This crate is responsible for building blocks and managing the core functionality of the Essential application, serving as the backbone for the entire system.
Block State Contract
The server uses a special contract to store state about the blocks. Currently this includes time and block number. If you want to query this state you can do the following:
interface BlockState {
storage {
number: int,
time: int,
}
}
predicate MyPredicate {
interface Block = BlockState(0xF745D1D91B68080CF398556DDD611B620964D2B1974C0283F03AC7C142B394DF);
state time = Block::time;
state number = Block::number;
}
Dependencies
~14–22MB
~289K SLoC