Thus, we employ a classical bitwise proof [30]showing that a committed number is in the range [0, 2k1], whichmay be impractical in general, but works well in our ...

抱歉，此文档暂时无法提供完整预览，请免费下载后浏览。