4-party protocol run