@@ -18,7 +18,7 @@ participant Dave
1818 Alice->Alice: z*G, y0, (z+y0)*G
1919 Alice->Bob : (z+y0)*G, y1, (z+y0+y1)*G
2020 Alice->Carol: (z+y0+y1)*G, y2, (z+y0+y1+y2)*G
21- Alice->Dave : (z+y0+y1+y2)*G, y0+y1+y2, ...
21+ Alice->Dave : (z+y0+y1+y2)*G, y0+y1+y2
2222
2323== Update ==
2424
@@ -34,8 +34,8 @@ Carol->Dave : psig(C,txD,(z+y0+y1+y2)*G)
3434
3535== Settlement ==
3636
37- Dave->Dave : create adaptor_sig(D,txD,z+y0+y1+y2),\nMuSig combine with psig(C,txD,(z+y0+y1+y2)*G),\nbroadcast txD with combined sig
38- Carol->Carol : compute z+y0+y1 = adaptor_sig(D,txD,z+y0+y1+y2) - psig(D,txD,(z+y0+y1+y2)*G) - y2\nto create adaptor_sig(C,txC,z+y0+y1),\nMuSig combine with psig(B,txC,(z+y0+y1)*G),\nbroadcast txC with combined sig
39- Bob->Bob : compute y0 = adaptor_sig(C,txC,z+y0+y1) - psig(C,txC,(z+y0+y1)*G) - y1\nto create adaptor_sig(B,txB,z+y0),\nMuSig combine with psig(A,txB,z+y0*G),\nbroadcast txB with combined sig
37+ Dave->Dave : create adaptor_sig(D,txD,( z+y0+y1+y2)*G ),\nMuSig combine with psig(C,txD,(z+y0+y1+y2)*G),\nbroadcast txD with combined sig
38+ Carol->Carol : compute z+y0+y1 = adaptor_sig(D,txD,( z+y0+y1+y2)*G) - psig(D,txD,(z+y0+y1+y2)*G) - y2\nto create adaptor_sig(C,txC,( z+y0+y1)*G ),\nMuSig combine with psig(B,txC,(z+y0+y1)*G),\nbroadcast txC with combined sig
39+ Bob->Bob : compute y0 = adaptor_sig(C,txC,( z+y0+y1)*G) - psig(C,txC,(z+y0+y1)*G) - y1\nto create adaptor_sig(B,txB,( z+y0)*G) ,\nMuSig combine with psig(A,txB,( z+y0) *G),\nbroadcast txB with combined sig
4040
4141@enduml
0 commit comments