@sig-net/midnight-contract 0.0.4 → 0.0.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (21) hide show
  1. package/README.md +1 -1
  2. package/dist/managed/compiler/contract-info.json +23 -40
  3. package/dist/managed/compiler/contract-manifest.json +32 -32
  4. package/dist/managed/contract/index.d.ts +17 -19
  5. package/dist/managed/contract/index.js +166 -154
  6. package/dist/managed/contract/index.js.map +2 -2
  7. package/dist/managed/keys/notifyBidirectionalSignatureRequest.prover +0 -0
  8. package/dist/managed/keys/notifyBidirectionalSignatureRequest.verifier +0 -0
  9. package/dist/managed/keys/postRespondBidirectional.prover +0 -0
  10. package/dist/managed/keys/postRespondBidirectional.verifier +0 -0
  11. package/dist/managed/keys/postSignatureResponse.prover +0 -0
  12. package/dist/managed/keys/postSignatureResponse.verifier +0 -0
  13. package/dist/managed/zkir/notifyBidirectionalSignatureRequest.bzkir +0 -0
  14. package/dist/managed/zkir/notifyBidirectionalSignatureRequest.zkir +22 -44
  15. package/dist/managed/zkir/postRespondBidirectional.bzkir +0 -0
  16. package/dist/managed/zkir/postRespondBidirectional.zkir +143 -337
  17. package/dist/managed/zkir/postSignatureResponse.bzkir +0 -0
  18. package/dist/managed/zkir/postSignatureResponse.zkir +47 -150
  19. package/dist/witnesses.js +2 -2
  20. package/dist/witnesses.js.map +1 -1
  21. package/package.json +5 -5
package/dist/managed/zkir/notifyBidirectionalSignatureRequest.zkir CHANGED
@@ -1,49 +1,27 @@
1
1
  {
2
- "version": { "major": 2, "minor": 0 },
2
+ "version": { "major": 3, "minor": 0 },
3
3
  "do_communications_commitment": true,
4
- "num_inputs": 6,
4
+ "inputs": [
5
+ { "name": "%requestId.0", "type": "Scalar<BLS12-381>" },
6
+ { "name": "%requestId.1", "type": "Scalar<BLS12-381>" },
7
+ { "name": "%notification.2", "type": "Scalar<BLS12-381>" },
8
+ { "name": "%notification.3", "type": "Scalar<BLS12-381>" },
9
+ { "name": "%notification.4", "type": "Scalar<BLS12-381>" },
10
+ { "name": "%notification.5", "type": "Scalar<BLS12-381>" }
11
+ ],
12
+ "outputs": [
13
+ ],
5
14
  "instructions": [
6
- { "op": "constrain_bits", "var": 0, "bits": 8 },
7
- { "op": "constrain_bits", "var": 1, "bits": 248 },
8
- { "op": "constrain_bits", "var": 2, "bits": 8 },
9
- { "op": "constrain_bits", "var": 3, "bits": 24 },
10
- { "op": "constrain_bits", "var": 4, "bits": 248 },
11
- { "op": "constrain_bits", "var": 5, "bits": 248 },
12
- { "op": "load_imm", "imm": "01" },
13
- { "op": "load_imm", "imm": "70" },
14
- { "op": "load_imm", "imm": "04" },
15
- { "op": "declare_pub_input", "var": 7 },
16
- { "op": "declare_pub_input", "var": 6 },
17
- { "op": "declare_pub_input", "var": 6 },
18
- { "op": "declare_pub_input", "var": 8 },
19
- { "op": "pi_skip", "guard": 6, "count": 4 },
20
- { "op": "load_imm", "imm": "10" },
21
- { "op": "load_imm", "imm": "20" },
22
- { "op": "declare_pub_input", "var": 9 },
23
- { "op": "declare_pub_input", "var": 6 },
24
- { "op": "declare_pub_input", "var": 6 },
25
- { "op": "declare_pub_input", "var": 10 },
26
- { "op": "declare_pub_input", "var": 0 },
27
- { "op": "declare_pub_input", "var": 1 },
28
- { "op": "pi_skip", "guard": 6, "count": 6 },
29
- { "op": "load_imm", "imm": "11" },
30
- { "op": "load_imm", "imm": "02" },
31
- { "op": "load_imm", "imm": "41" },
32
- { "op": "declare_pub_input", "var": 11 },
33
- { "op": "declare_pub_input", "var": 6 },
34
- { "op": "declare_pub_input", "var": 12 },
35
- { "op": "declare_pub_input", "var": 6 },
36
- { "op": "declare_pub_input", "var": 13 },
37
- { "op": "declare_pub_input", "var": 2 },
38
- { "op": "declare_pub_input", "var": 3 },
39
- { "op": "declare_pub_input", "var": 4 },
40
- { "op": "declare_pub_input", "var": 5 },
41
- { "op": "pi_skip", "guard": 6, "count": 9 },
42
- { "op": "load_imm", "imm": "91" },
43
- { "op": "declare_pub_input", "var": 14 },
44
- { "op": "pi_skip", "guard": 6, "count": 1 },
45
- { "op": "load_imm", "imm": "A1" },
46
- { "op": "declare_pub_input", "var": 15 },
47
- { "op": "pi_skip", "guard": 6, "count": 1 }
15
+ { "op": "constrain_bits", "val": "%requestId.0", "bits": 8 },
16
+ { "op": "constrain_bits", "val": "%requestId.1", "bits": 248 },
17
+ { "op": "constrain_bits", "val": "%notification.2", "bits": 8 },
18
+ { "op": "constrain_bits", "val": "%notification.3", "bits": 24 },
19
+ { "op": "constrain_bits", "val": "%notification.4", "bits": 248 },
20
+ { "op": "constrain_bits", "val": "%notification.5", "bits": 248 },
21
+ { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x04"] },
22
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%requestId.0", "%requestId.1"] },
23
+ { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x02", "0x01", "0x41", "%notification.2", "%notification.3", "%notification.4", "%notification.5"] },
24
+ { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
25
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] }
48
26
  ]
49
27
  }