I guess there is a binary message based protocol that bitcoin uses for when nodes that can verify transactions (low-memory and full-nodes) talk to each other, like in Bitcoin. Is that right?