ligo/test/proto_alpha/.merlin
Grégoire Henry 2bc63854a8 Shell: Liveness of operations
Operations now include a block hash in their header. Such an operation
could only be included in a successor of this block.

Furthermore, when validating a block, the economic protocol now
returns---together with the context---an integer `max_operations_ttl`.
Then, when validating a successor, the shell will fail if it contains
an operation whose header's block hash is not one the
`max_operations_ttl` predecessors of the block.

As a bonus, the shell is now able to detect and forbid replayed
operations. Then, we might decide to remove some replay
detection-mechanism that we previously implemented in the economic
protocol.
2017-06-12 11:07:37 +02:00

34 lines
696 B
Plaintext

REC
S .
B .
S ../../src/minutils
B ../../src/minutils
S ../../src/utils
B ../../src/utils
S ../../src/node/net
B ../../src/node/net
S ../../src/node/db
B ../../src/node/db
S ../../src/node/updater
B ../../src/node/updater
S ../../src/node/shell
B ../../src/node/shell
S ../../src/proto
B ../../src/proto
S ../../src/client
B ../../src/client
S ../../src/client/embedded
B ../../src/client/embedded
S ../../src/client/embedded/alpha
B ../../src/client/embedded/alpha
S ../../src/client/embedded/alpha/baker
B ../../src/client/embedded/alpha/baker
S ../lib
B ../lib
FLG -open Error_monad -open Hash -open Utils -open Environment -open Tezos_data
FLG -w -40
PKG lwt
PKG sodium
PKG kaputt
PKG ipaddr