use tachyon to generate a circom proof

[chokobole]

Hi, I am the author of the https://github.com/kroma-network/tachyon, and I occasionally see your repository that uses circom for zk proof. You guys already considered switching circom-compat #15.

I recently implemented a circom prover which can perform 10x faster than rapidsnark when conducting a sha256 bench. See benchmark.

See twitter and tachyon/vendors/circom/README.md for more details!

If you're interested in collaborating or discussing potential synergies between our projects, please send me back through email at [email protected]!

Looking forward to hearing from you!

[imikushin]

Very cool! Thanks for suggesting this @chokobole.

We'll definitely consider it.

[imikushin]

@chokobole Does Tachyon support Plonk?

[chokobole]

@imikushin It supports actually Halo2 frontend!