The ZKP system proposal for OP_ZKP - View it on GitHub