Comment by byteware

polynomial commitment based zero knowledge proof system