Closed vivianjeng closed 4 months ago
I think instead of moving ark-circom
into mopro-ffi
, we should try to move logic out to ark-circom
. The zkey.rs
and zkey_header.rs
could both go out to ark-circom
. We can also try to push changes from our ark-circom
to arkworks-rs/circom-compat
. Specifically the zkey loading and native witness gen.
I see. That makes sense. I will do it in another PR
ark-circom
dependency