Integrate ark-zkey

[oskarth]

Problem

Currently loading of zkey is too slow. This is mitigated a bit (x10) with use of ark-zkey and a new format, arkzkey.

Details

See #25

We want to integrate ark-zkey into https://github.com/oskarth/mopro/blob/main/mopro-core/src/middleware/circom/mod.rs#L60C7-L65

Then check how long it takes to initialize this from iOS

Acceptance criteria

• Use ark-zkey
• Instructions updated to run separate ark-zkey build step (zkey->arkzkey)
• Initial numbers for loading zkey on device

[oskarth]

Partially integrated.

For scripting, this https://github.com/oskarth/mopro/blob/main/scripts/prepare.sh script should be updated. Probably easiest to do some minimal cargo build/run in ark-zkey that takes zkey and spits out arkzkey in same folder, e.g. cargo run <path-to-keccak256.zkey> or similar

[oskarth]

Location for convenience/CI

https://zkstuff.ams3.cdn.digitaloceanspaces.com/mopro/circom-examples-artifacts/rsa/main_final.arkzkey
https://zkstuff.ams3.cdn.digitaloceanspaces.com/mopro/circom-examples-artifacts/keccak256/keccak256_256_test_final.arkzkey
https://zkstuff.ams3.cdn.digitaloceanspaces.com/mopro/circom-examples-artifacts/rsa/main.wasm

Note that arkzkey format might change but should work for now.

[oskarth]

Easier to use now: https://github.com/oskarth/mopro/tree/main/ark-zkey#how-to-use

[oskarth]

Integrated into prepare script here: https://github.com/oskarth/mopro/blob/main/scripts/prepare.sh#L113

Should work hopefully! For CI still want to use from server because faster.

[oskarth]

I would say this has been done and can be closed