feat(chore): Add latest version of AA circuits

[Meyanis95]

This adds the latest version of the AA protocol circuits.

zkey file: 1.05GB
Number of constraints: 1,767,153

• A test has been added in mopro-core
• Added some hardcoded variables to generate dylib (might remove them if needed)
• This has not been tested on mobile

[oskarth]

I just pushed this 0e824f5

So we can add anonAadhaar as an argument and write this in anonAadhaar/README.md for how to run

[oskarth]

Here too

[oskarth]

This is very messy... I'm working on making this easier to work with. Will update once fixed, then we can make this easier to merge

[Meyanis95]

Ok let me know, how I should resolve once done

[oskarth]

Fixed: https://github.com/oskarth/mopro/pull/67/files#diff-10095d80195138814b66f1d6f5b769b0763cd537d9ef563a28c6d75444a151d5

See https://github.com/oskarth/mopro/pull/67/files#diff-b335630551682c19a781afebcf4d07bf978fb1f8ac04c6bf87428ed5106870f5R34 for what to do

I suggest adding an anon-aadhaar-config.toml to this PR

[oskarth]

Tested in Xcode Simulator and getting: dylib feature not enabled! error

This is due to it calling initialize_mopro_dylib without dylib feature.

I think for simplicity we can start without the dylib, comment out that dylib init block in iOS and use vanilla wasm (like other examples)? IIRC the main impact is that you can't disconnect cable, but perf should be basically the same. WDYT?

[Meyanis95]

• Added config file anon-aadhaar-config.toml
• Removed dylib from the build config
• Updated Swift view with the right circuit params
• Added test_setup_prove_anon_aadhaar() test in mopro-core

I was able to run aa prover in the simulator with the following results:

[oskarth]

Awesome! Let me try

[oskarth]

Ah ti seems like CI is failing

       }
 
-        let file_data = std::fs::read_to_string("./examples/circom/anonAadhaar/input.json").expect("Unable to read file");
-        let data: InputData = serde_json::from_str(&file_data).expect("JSON was not well-formatted");
+        let file_data = std::fs::read_to_string("./examples/circom/anonAadhaar/input.json")
+            .expect("Unable to read file");
+        let data: InputData =
+            serde_json::from_str(&file_data).expect("JSON was not well-formatted");
 
         let mut inputs: CircuitInputs = HashMap::new();
         inputs.insert(
Diff in /home/runner/work/mopro/mopro/mopro-core/src/middleware/circom/mod.rs at line 742:
             pub_key: Vec<String>,
         }
 
-        let file_data = std::fs::read_to_string("./examples/circom/anonAadhaar/input.json").expect("Unable to read file");
-        let data: InputData = serde_json::from_str(&file_data).expect("JSON was not well-formatted");
+        let file_data = std::fs::read_to_string("./examples/circom/anonAadhaar/input.json")
+            .expect("Unable to read file");
+        let data: InputData =
+            serde_json::from_str(&file_data).expect("JSON was not well-formatted");
 
         let mut inputs: CircuitInputs = HashMap::new();
         inputs.insert(
Error: Process completed with exit code 1.

and

Command line invocation:
    /Applications/Xcode_14.2.app/Contents/Developer/usr/bin/xcodebuild test -scheme MoproKit-Example -workspace MoproKit.xcworkspace -destination "platform=iOS Simulator,OS=16.2,name=iPhone 14 Pro"

User defaults from command line:
    IDEPackageSupportUseBuiltinSCM = YES

Prepare packages
2024-02-02 11:07:08.766 xcodebuild[10001:60376] Writing error result bundle to /var/folders/qv/pdh5wsgn0lq3dp77zj602b5c0000gn/T/ResultBundle_2024-02-02_11-07-0008.xcresult

xcodebuild: error: Failed to build workspace MoproKit with scheme MoproKit-Example.
	Reason: Cannot test target “MoproKit_Tests” on “iPhone 14 Pro”: iPhone 14 Pro’s iOS Simulator 16.2 doesn’t match MoproKit_Tests’s iOS Simulator 17.2 deployment target.
Error: Process completed with exit code 70.

(also Android but think this is unrelated to PR)

[oskarth]

(Also on simulator):

Initializing library with arkzkey
Time to deserialize proving key: 82.991869583s
Time to deserialize matrices: 1.248941541s
Initializing arkzkey took: 84.24s
Generating proof 2
Witness generation took: 10.47s
Loading arkzkey took: 166.00ns
proof generation took: 18.99s
Verification time 2: 4.077041ms
MoproKit_Example/AnonAadhaarViewControllerNew.swift:1766: Assertion failed: Proof verification should succeed

Proof verification doesn't seem to work, is this to be expected with dummy data or so?

[Meyanis95]

Regarding the first issue with JSON loading, it's weird because these tests are marked as being ignored by the CI, so this piece of code shouldn't be triggered by the CI workflow.

[vivianjeng]

please run cargo fmt --all in mopro-core