多項式コミットメントと双線形ペアリングがその道になるとは誰が想像したでしょうか!
527