( &self, lock_party0_message1: LockParty0Message1, r_1: &FE, pubkey: &GE,

()

(l: &L, k: &K)

()

(Y_1_tag: &GE)

(chain_i: &ChainLink, k_i_plus_1: K, s_L: &SL, s_R: &SR)

( chain_n_minus_1: &ChainLink, chain_n: &ChainLinkUn, s_L_n: &SL, s_L_n_minus_

( lock_party0_message1: &LockParty0Message1, decom_message1: DecommitLockParty1Message1,

(n: usize)

()

()

()

(chain_i: &ChainLink)