formal_spec: isolate interfaces to client and syncer #46
Description
identify and isolate interfaces to client (privkey) and syncer (blockchain) on core_protocol formal
{{ message }}
identify and isolate interfaces to client (privkey) and syncer (blockchain) on core_protocol formal