chore: rename opening_key to verification_key
#934
| Job | Run time |
|---|---|
| 1m 20s | |
| 1m 41s | |
| 3m 22s | |
| 6m 23s |
opening_key to verification_key
#934
| Job | Run time |
|---|---|
| 1m 20s | |
| 1m 41s | |
| 3m 22s | |
| 6m 23s |