@startuml
title Settlement Phase - Split
participant Alice
participant Bob
participant Carol
participant Dave

== Settlement ==

Dave -> Carol: z+y0+y1
Carol -> Bob: z+y0
Bob -> Alice: z

@enduml
