3 Commits

Author	SHA1	Message	Date
David Rusu	9f6b9eb242	Specify mock-leader-proof in message spec	2024-02-02 01:16:14 +04:00
David Rusu	62ea40ba5e	address CR	2024-02-01 20:25:49 +04:00
Giacomo Pasini	734b038c50	Add header id and message format specification (#52) ... * Create messages.abnf * add missing block rule * Add content id to header message * add header id definition + implementation in python * address review comments	2024-01-31 23:09:03 +01:00