search

sigma0-xyz / zkbitcoin

zkBitcoin: zero-knowledge proofs on Bitcoin!
MIT License
161 stars 31 forks source link

use tachyon to generate a circom proof #48

Open chokobole opened 3 months ago

chokobole commented 3 months ago

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 ryan@lightscale.io!

Looking forward to hearing from you!

imikushin commented 3 months ago

Very cool! Thanks for suggesting this @chokobole.

We'll definitely consider it.

imikushin commented 3 months ago

@chokobole Does Tachyon support Plonk?

chokobole commented 3 months ago

@imikushin It supports actually Halo2 frontend!