* state machine proofs.
* initial implementation
* Remove todo.
* Extend test and fix import.
* fix no proof, with proof ko.
* fix start at logic.
* Restore response size.
* Rework comments.
* Add explicit ref
* Use compact proof.
* ref change
* elaborato on empty change set condition.
* KeyValueState renaming.
* Do not add two time child trie with same root to sync reply.
* rust format
* Fix merge.
* fix warnings and fmt
* fmt
* update protocol id to V2
* client/network: support sending multiple justifications
* network: flag support for multiple justifications in protobuf request
* Update client/network/src/protocol.rs
Co-authored-by: Pierre Krieger <pierre.krieger1708@gmail.com>
* network: update comment on protobuf field
Co-authored-by: Pierre Krieger <pierre.krieger1708@gmail.com>