>902
目を通してみたんですが、『ωがプロトコルで決められた通りに作られていること』を示している(と思われる)部分で、ajとbjを求めて、この組をＡに送る意図がわかりません…。
あと、その後のベクトルvを決定した後に、検証者Ｂがどうやって証明者Ａに『ωがプロトコルで決められた通りに作られていること』を納得させているのかもわかりません。
よろしければ教えていただきたいですf^_^;