semaphore-rs-ark-zkey 0.1.0

Rust support library for Semaphore
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79

# ark-zkey

Library to read `zkey` faster by serializing to `arkworks` friendly format.

See https://github.com/oskarth/mopro/issues/25 for context.

## To generate arkzkey

Hacky, but the way we generate `arkzkey` now is by running the corresponding test.

Note that we also neeed to change the const `ZKEY_BYTES` above.

E.g.:

```
cargo test multiplier2 --release -- --nocapture
cargo test keccak256 --release -- --nocapture
cargo test rsa --release -- --nocapture
```

Will take corresponding `zkey` and put `arkzkey`` in same folder.

## Multiplier

NOTE: Need to change const ZKEY here

`cargo test multiplier2 --release -- --nocapture`

```
running 1 test
[build] Processing zkey data...
[build] Time to process zkey data: 3.513041ms
[build] Serializing proving key and constraint matrices
[build] Time to serialize proving key and constraint matrices: 42ns
[build] Writing arkzkey to: ../mopro-core/examples/circom/multiplier2/target/multiplier2_final.arkzkey
[build] Time to write arkzkey: 1.884875ms
Reading arkzkey from: ../mopro-core/examples/circom/multiplier2/target/multiplier2_final.arkzkey

Time to open arkzkey file: 18.084µs
Time to mmap arkzkey: 8.542µs
Time to deserialize proving key: 305.75µs
Time to deserialize matrices: 5µs
Time to read arkzkey: 348.083µs
test tests::test_multiplier2_serialization_deserialization ... ok
```

Naive test: `cargo test naive --release -- --nocapture` (with right zkey constant).

**Result: `350µs` vs naive `3.3ms`**

## Keccak

NOTE: Need to change const ZKEY here

`cargo test keccak256 --release -- --nocapture`

```
[build] Processing zkey data...
test tests::test_keccak256_serialization_deserialization has been running for over 60 seconds
[build]Time to process zkey data: 158.753181958s
[build] Serializing proving key and constraint matrices
[build] Time to serialize proving key and constraint matrices: 42ns
[build] Writing arkzkey to: ../mopro-core/examples/circom/keccak256/target/keccak256_256_test_final.arkzkey
[build] Time to write arkzkey: 16.204274125s
Reading arkzkey from: ../mopro-core/examples/circom/keccak256/target/keccak256_256_test_final.arkzkey
Time to open arkzkey file: 51.75µs
Time to mmap arkzkey: 17.25µs
Time to deserialize proving key: 18.323550083s
Time to deserialize matrices: 46.935792ms
Time to read arkzkey: 18.3730695s
test tests::test_keccak256_serialization_deserialization ... ok
```

Vs naive:

`[build] Time to process zkey data: 158.753181958s`


**Result: 18s vs 158s**