Common use of Responder Clause in Contracts

Responder. The description of the other items will be given later. S answers the query as follows: ⚫ If n = m , IDi = I and IDj = J or n ∏ i, j is the oracle who has a matching conversion with ∏m , S aborts((Event 3)). ⚫ Else if IDi ≠ I and IDi ≠ J I , J ⯎ S looks up the list LS and LC for corresponding tuple (∏n , rn ,T n ,T n , Pn , Pn ) and ( ID , D , x , P ) separately. Then S i, j i, j i, j j ,i i j i i i i computes K1 = x ⋅ Pn , K 2 = e(D , Q ) , K 3 = rn T n . i, j i j,i i, j i j i, x x ,x x ,i ⯎ S makes a H2 query. If n ∏ i, j is the initiator oracle then the query is of the form ( ID || ID || T || T || K1 || K 2 || K 3 ) or else of the form i j i j i, x x, x x, j ( ID || ID || T || T || K1 || K 2 || K 3 ).

Responder. The description of the other items will be given later. S answers the query as follows: ⚫ If n = m , IDi = I and IDj = J or n ∏ i, j is the oracle who has a matching conversion with ∏m , S aborts((Event 3)). I , J ⚫ Else if IDi ≠ I and IDi ≠ J I , J ⯎ S looks up the list LS and LC for corresponding tuple (∏n , rn xx ,T n X x ,T n X x , Pn Xx , Pn Xx ) and ( ID , D , x , P ) separately. Then S i, j i, j i, j j ,i i j i i i i computes K1 = x ⋅ Pn , K 2 = e(D , Q ) , K 3 = rn T n . i, j i j,i i, j i j i, x x ,x x ,i x ⯎ S makes a H2 query. If n ∏ i, j is the initiator oracle then the query is of the form ( ID || ID || T || T || K1 || K 2 || K 3 ) or else of the form i j i j i, x x, x x, j x ( ID || ID || T || T || K1 || K 2 || K 3 ).

Responder. The description of the other items will be given later. S answers the query as follows: ⚫ If n = m , IDi = I and IDj = J or n ∏ i, j is the oracle who has a matching conversion with ∏m , S aborts((Event 3)). ⚫ Else if IDi ≠ I and IDi ≠ J I , J ⯎ S looks up the list LS and LC for corresponding tuple (∏n , rn xx ,T n X x ,T n X x , Pn Xx , Pn Xx ) and ( ID , D , x , P ) separately. Then S i, j i, j i, j j ,i i j i i i i computes K1 = x ⋅ Pn , K 2 = e(D , Q ) , K 3 = rn T n . i, j i j,i i, j i j i, x x ,x x ,i x ⯎ S makes a H2 query. If n ∏ i, j is the initiator oracle then the query is of the form ( ID || ID || T || T || K1 || K 2 || K 3 ) or else of the form i j i j i, x x, x x, j x ( ID || ID || T || T || K1 || K 2 || K 3 ).

Responder. The description of the other items will be given later. S answers the query as follows: ⚫ If n = m , IDi = I and IDj = J or n ∏ i, j is the oracle who has a matching conversion with ∏m , S aborts((Event 3)). I , J ⚫ Else if IDi ≠ I and IDi ≠ J I , J ⯎ S looks up the list LS and LC for corresponding tuple (∏n , rn ,T n ,T n , Pn , Pn ) and ( ID , D , x , P ) separately. Then S i, j i, j i, j j ,i i j i i i i computes K1 = x ⋅ Pn , K 2 = e(D , Q ) , K 3 = rn T n . i, j i j,i i, j i j i, x x ,x x ,i ⯎ S makes a H2 query. If n ∏ i, j is the initiator oracle then the query is of the form ( ID || ID || T || T || K1 || K 2 || K 3 ) or else of the form i j i j i, x x, x x, j ( ID || ID || T || T || K1 || K 2 || K 3 ).