https://123dok.org/document/lzgov5vq-composing-and-verifying-commitment-based-multiagent-protocols.html