H, Gを半分に分割する
証明者が作成するL, Rは、
証明者が作成するA', B'は
• L = a 1 G 2 + b 2 H 1 + a 1 b 2 U
• R = a 2 G 1 + b 1 H 2 + a 2 b 1 U
• L = <A lo , G hi > + <B hi , H lo > + <A lo , B hi >U
• R = <A hi , G lo > + <B lo , H hi > + <A hi , B lo >U
• a’ = a 1 x + a 2 x-1
• b’ = b 1 x-1 + b 2 x
• A' = xA lo + x-1A hi
• B’ = x-1B lo + xB hi
そして
• G' = x-1G lo + xG hi
• H’ = xH lo + x-1H hi