David Rusu
|
2a9ec4bc86
|
distinguish thew two commitments in the leader prf abnf
|
2024-02-06 22:21:16 +04:00 |
|
David Rusu
|
3f681fc51f
|
update block id spec; typo
|
2024-02-06 20:19:30 +04:00 |
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 |