Plonkit: A DSL toolkit for PLONK using bellman and circom

Hi all~

Our team built a PLONK DSL toolkit recently. It accepts circuit written in circom, then transpiles the circuit into PLONK gates using bellman_ce. It can be used to generate and verify proof now.

It is not mature now, and we are building more features into it. Any suggestions and contributions are welcome!