Create Circom circuits from rust api

arkworks-rs / circom-compat

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

Apache License 2.0

229 stars 112 forks source link

Create Circom circuits from rust api #63

Open zmrocze opened 3 months ago

zmrocze commented 3 months ago

Hey!

I'd like to use Circom as a compilation target. It'd be great to create circom circuits from rust itself - either at AST or IR level. I would guess it's already supported by some crate in this repository, just which crate exactly I'd look for to do that? Are the interfaces publically exported?

Any help is much appreciated, thanks!

zmrocze commented 3 months ago

Should I be looking at circomspect_program_structure::intermediate_representation?

How would I later consume the defined datatype?