末広 玉川. たかお かれん と. KDC 派遣. Zk snark implementation github.