Neyberson/protocol verifications #135

Closed neyberson closed 2 weeks ago