oskarth

Seems to have been fixed, https://github.com/vacp2p/zerokit/pull/251 Thanks everyone!

This may be relevant with 1.6-1.7m constraints circuits taking ~20s raw prover time (excl witness gen). If this would be cut in half then the additional complexity. It'd be useful...

From Florent: ``` Benchmark for 443351 constraints circuit on iPhone 15 plus Polygon stack: - Witnesscalc witness gen:  0.2599910497665405 seconds - Rapidsnark proving: 4.539696931838989 seconds WASM witness gen+arkworks: - Witness...

See here for MacOS by @vivianjeng: https://docs.google.com/spreadsheets/d/1irKg_TOP-yXms8igwCN_3OjVrtFe5gTHkuF0RbrVuho/edit#gid=289866675 iOS (and Android?) come soon from example app

I confirm that this is a problem on iOS device too. My hunch is this will be improved using dylib. Still seems weird to me this is so slow though.

Same basic behavior. With this we isolate this to initializing of library. https://github.com/oskarth/mopro/blob/main/mopro-core/src/middleware/circom/mod.rs#L87 for timing Gonna leave this for now but two approaches: 1) Figure out how to improve in...

We should be able to preprocess zkey and then quickly load proving key and matrices from disk: ``` // Reads a SnarkJS ZKey file into an Arkworks ProvingKey. pub fn...

I tried out some things here https://github.com/oskarth/mopro/pull/26 and it seems like the slow part is the ProvingKey. I think this is because it is doing a bunch of EC operations...

More complete log for `ark-zkey` crate. Notice the "time to deserialize proving key". ``` Reading zkey from: ../mopro-core/examples/circom/keccak256/target/keccak256_256_test_final.zkey test tests::test_serialization_deserialization has been running for over 60 seconds ...Time to read...

Improvements using custom serialization for arkworks proving key and matrices, and using `unchecked` https://github.com/oskarth/mopro/tree/main/ark-zkey This is about x10 better (Result: 18s vs 158s for keccak256) but can't help but to...