@mocanetwork/privado-js-sdk 1.0.0

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 (517) hide show
  1. package/README.md +75 -0
  2. package/dist/browser/esm/index.js +14901 -0
  3. package/dist/browser/esm/index.js.map +1 -0
  4. package/dist/browser/umd/index.global.js +678 -0
  5. package/dist/browser/umd/index.global.js.map +1 -0
  6. package/dist/node/cjs/index.cjs +15418 -0
  7. package/dist/node/cjs/index.cjs.map +1 -0
  8. package/dist/node/esm/index.js +14901 -0
  9. package/dist/node/esm/index.js.map +1 -0
  10. package/dist/types/blockchain/index.d.ts +2 -0
  11. package/dist/types/blockchain/index.d.ts.map +1 -0
  12. package/dist/types/blockchain/transaction-service.d.ts +81 -0
  13. package/dist/types/blockchain/transaction-service.d.ts.map +1 -0
  14. package/dist/types/circuits/atomic-query-mtp-v2-on-chain.d.ts +70 -0
  15. package/dist/types/circuits/atomic-query-mtp-v2-on-chain.d.ts.map +1 -0
  16. package/dist/types/circuits/atomic-query-mtp-v2.d.ts +63 -0
  17. package/dist/types/circuits/atomic-query-mtp-v2.d.ts.map +1 -0
  18. package/dist/types/circuits/atomic-query-sig-v2-on-chain.d.ts +137 -0
  19. package/dist/types/circuits/atomic-query-sig-v2-on-chain.d.ts.map +1 -0
  20. package/dist/types/circuits/atomic-query-sig-v2.d.ts +64 -0
  21. package/dist/types/circuits/atomic-query-sig-v2.d.ts.map +1 -0
  22. package/dist/types/circuits/atomic-query-v3-on-chain.d.ts +141 -0
  23. package/dist/types/circuits/atomic-query-v3-on-chain.d.ts.map +1 -0
  24. package/dist/types/circuits/atomic-query-v3.d.ts +121 -0
  25. package/dist/types/circuits/atomic-query-v3.d.ts.map +1 -0
  26. package/dist/types/circuits/auth-v2.d.ts +46 -0
  27. package/dist/types/circuits/auth-v2.d.ts.map +1 -0
  28. package/dist/types/circuits/common.d.ts +153 -0
  29. package/dist/types/circuits/common.d.ts.map +1 -0
  30. package/dist/types/circuits/comparer.d.ts +122 -0
  31. package/dist/types/circuits/comparer.d.ts.map +1 -0
  32. package/dist/types/circuits/index.d.ts +13 -0
  33. package/dist/types/circuits/index.d.ts.map +1 -0
  34. package/dist/types/circuits/linked-multi-query.d.ts +38 -0
  35. package/dist/types/circuits/linked-multi-query.d.ts.map +1 -0
  36. package/dist/types/circuits/models.d.ts +189 -0
  37. package/dist/types/circuits/models.d.ts.map +1 -0
  38. package/dist/types/circuits/state-transition.d.ts +49 -0
  39. package/dist/types/circuits/state-transition.d.ts.map +1 -0
  40. package/dist/types/credentials/credential-wallet.d.ts +200 -0
  41. package/dist/types/credentials/credential-wallet.d.ts.map +1 -0
  42. package/dist/types/credentials/index.d.ts +12 -0
  43. package/dist/types/credentials/index.d.ts.map +1 -0
  44. package/dist/types/credentials/models.d.ts +84 -0
  45. package/dist/types/credentials/models.d.ts.map +1 -0
  46. package/dist/types/credentials/rhs.d.ts +38 -0
  47. package/dist/types/credentials/rhs.d.ts.map +1 -0
  48. package/dist/types/credentials/status/agent-revocation.d.ts +20 -0
  49. package/dist/types/credentials/status/agent-revocation.d.ts.map +1 -0
  50. package/dist/types/credentials/status/credential-status-publisher.d.ts +73 -0
  51. package/dist/types/credentials/status/credential-status-publisher.d.ts.map +1 -0
  52. package/dist/types/credentials/status/did-resolver-revocation.d.ts +8 -0
  53. package/dist/types/credentials/status/did-resolver-revocation.d.ts.map +1 -0
  54. package/dist/types/credentials/status/on-chain-revocation.d.ts +58 -0
  55. package/dist/types/credentials/status/on-chain-revocation.d.ts.map +1 -0
  56. package/dist/types/credentials/status/resolver.d.ts +69 -0
  57. package/dist/types/credentials/status/resolver.d.ts.map +1 -0
  58. package/dist/types/credentials/status/reverse-sparse-merkle-tree.d.ts +126 -0
  59. package/dist/types/credentials/status/reverse-sparse-merkle-tree.d.ts.map +1 -0
  60. package/dist/types/credentials/status/sparse-merkle-tree.d.ts +38 -0
  61. package/dist/types/credentials/status/sparse-merkle-tree.d.ts.map +1 -0
  62. package/dist/types/credentials/utils.d.ts +15 -0
  63. package/dist/types/credentials/utils.d.ts.map +1 -0
  64. package/dist/types/iden3comm/constants.d.ts +61 -0
  65. package/dist/types/iden3comm/constants.d.ts.map +1 -0
  66. package/dist/types/iden3comm/errors.d.ts +10 -0
  67. package/dist/types/iden3comm/errors.d.ts.map +1 -0
  68. package/dist/types/iden3comm/handlers/auth.d.ts +157 -0
  69. package/dist/types/iden3comm/handlers/auth.d.ts.map +1 -0
  70. package/dist/types/iden3comm/handlers/common.d.ts +72 -0
  71. package/dist/types/iden3comm/handlers/common.d.ts.map +1 -0
  72. package/dist/types/iden3comm/handlers/contract-request.d.ts +96 -0
  73. package/dist/types/iden3comm/handlers/contract-request.d.ts.map +1 -0
  74. package/dist/types/iden3comm/handlers/credential-proposal.d.ts +120 -0
  75. package/dist/types/iden3comm/handlers/credential-proposal.d.ts.map +1 -0
  76. package/dist/types/iden3comm/handlers/discovery-protocol.d.ts +101 -0
  77. package/dist/types/iden3comm/handlers/discovery-protocol.d.ts.map +1 -0
  78. package/dist/types/iden3comm/handlers/fetch.d.ts +130 -0
  79. package/dist/types/iden3comm/handlers/fetch.d.ts.map +1 -0
  80. package/dist/types/iden3comm/handlers/index.d.ts +12 -0
  81. package/dist/types/iden3comm/handlers/index.d.ts.map +1 -0
  82. package/dist/types/iden3comm/handlers/message-handler.d.ts +93 -0
  83. package/dist/types/iden3comm/handlers/message-handler.d.ts.map +1 -0
  84. package/dist/types/iden3comm/handlers/payment.d.ts +167 -0
  85. package/dist/types/iden3comm/handlers/payment.d.ts.map +1 -0
  86. package/dist/types/iden3comm/handlers/problem-report.d.ts +18 -0
  87. package/dist/types/iden3comm/handlers/problem-report.d.ts.map +1 -0
  88. package/dist/types/iden3comm/handlers/refresh.d.ts +57 -0
  89. package/dist/types/iden3comm/handlers/refresh.d.ts.map +1 -0
  90. package/dist/types/iden3comm/handlers/revocation-status.d.ts +76 -0
  91. package/dist/types/iden3comm/handlers/revocation-status.d.ts.map +1 -0
  92. package/dist/types/iden3comm/index.d.ts +9 -0
  93. package/dist/types/iden3comm/index.d.ts.map +1 -0
  94. package/dist/types/iden3comm/packageManager.d.ts +47 -0
  95. package/dist/types/iden3comm/packageManager.d.ts.map +1 -0
  96. package/dist/types/iden3comm/packers/index.d.ts +4 -0
  97. package/dist/types/iden3comm/packers/index.d.ts.map +1 -0
  98. package/dist/types/iden3comm/packers/jws.d.ts +56 -0
  99. package/dist/types/iden3comm/packers/jws.d.ts.map +1 -0
  100. package/dist/types/iden3comm/packers/plain.d.ts +47 -0
  101. package/dist/types/iden3comm/packers/plain.d.ts.map +1 -0
  102. package/dist/types/iden3comm/packers/zkp.d.ts +98 -0
  103. package/dist/types/iden3comm/packers/zkp.d.ts.map +1 -0
  104. package/dist/types/iden3comm/types/index.d.ts +17 -0
  105. package/dist/types/iden3comm/types/index.d.ts.map +1 -0
  106. package/dist/types/iden3comm/types/models.d.ts +7 -0
  107. package/dist/types/iden3comm/types/models.d.ts.map +1 -0
  108. package/dist/types/iden3comm/types/packageManager.d.ts +100 -0
  109. package/dist/types/iden3comm/types/packageManager.d.ts.map +1 -0
  110. package/dist/types/iden3comm/types/packer.d.ts +158 -0
  111. package/dist/types/iden3comm/types/packer.d.ts.map +1 -0
  112. package/dist/types/iden3comm/types/protocol/accept-profile.d.ts +8 -0
  113. package/dist/types/iden3comm/types/protocol/accept-profile.d.ts.map +1 -0
  114. package/dist/types/iden3comm/types/protocol/attachment.d.ts +11 -0
  115. package/dist/types/iden3comm/types/protocol/attachment.d.ts.map +1 -0
  116. package/dist/types/iden3comm/types/protocol/auth.d.ts +90 -0
  117. package/dist/types/iden3comm/types/protocol/auth.d.ts.map +1 -0
  118. package/dist/types/iden3comm/types/protocol/common.d.ts +11 -0
  119. package/dist/types/iden3comm/types/protocol/common.d.ts.map +1 -0
  120. package/dist/types/iden3comm/types/protocol/contract-request.d.ts +62 -0
  121. package/dist/types/iden3comm/types/protocol/contract-request.d.ts.map +1 -0
  122. package/dist/types/iden3comm/types/protocol/credentials.d.ts +82 -0
  123. package/dist/types/iden3comm/types/protocol/credentials.d.ts.map +1 -0
  124. package/dist/types/iden3comm/types/protocol/discovery-protocol.d.ts +42 -0
  125. package/dist/types/iden3comm/types/protocol/discovery-protocol.d.ts.map +1 -0
  126. package/dist/types/iden3comm/types/protocol/messages.d.ts +12 -0
  127. package/dist/types/iden3comm/types/protocol/messages.d.ts.map +1 -0
  128. package/dist/types/iden3comm/types/protocol/payment.d.ts +178 -0
  129. package/dist/types/iden3comm/types/protocol/payment.d.ts.map +1 -0
  130. package/dist/types/iden3comm/types/protocol/problem-report.d.ts +17 -0
  131. package/dist/types/iden3comm/types/protocol/problem-report.d.ts.map +1 -0
  132. package/dist/types/iden3comm/types/protocol/proof.d.ts +22 -0
  133. package/dist/types/iden3comm/types/protocol/proof.d.ts.map +1 -0
  134. package/dist/types/iden3comm/types/protocol/proposal-request.d.ts +33 -0
  135. package/dist/types/iden3comm/types/protocol/proposal-request.d.ts.map +1 -0
  136. package/dist/types/iden3comm/types/protocol/revocation.d.ts +20 -0
  137. package/dist/types/iden3comm/types/protocol/revocation.d.ts.map +1 -0
  138. package/dist/types/iden3comm/utils/accept-profile.d.ts +4 -0
  139. package/dist/types/iden3comm/utils/accept-profile.d.ts.map +1 -0
  140. package/dist/types/iden3comm/utils/did.d.ts +8 -0
  141. package/dist/types/iden3comm/utils/did.d.ts.map +1 -0
  142. package/dist/types/iden3comm/utils/envelope.d.ts +32 -0
  143. package/dist/types/iden3comm/utils/envelope.d.ts.map +1 -0
  144. package/dist/types/iden3comm/utils/index.d.ts +5 -0
  145. package/dist/types/iden3comm/utils/index.d.ts.map +1 -0
  146. package/dist/types/iden3comm/utils/message.d.ts +20 -0
  147. package/dist/types/iden3comm/utils/message.d.ts.map +1 -0
  148. package/dist/types/identity/common.d.ts +27 -0
  149. package/dist/types/identity/common.d.ts.map +1 -0
  150. package/dist/types/identity/identity-wallet.d.ts +472 -0
  151. package/dist/types/identity/identity-wallet.d.ts.map +1 -0
  152. package/dist/types/identity/index.d.ts +3 -0
  153. package/dist/types/identity/index.d.ts.map +1 -0
  154. package/dist/types/index.d.ts +17 -0
  155. package/dist/types/index.d.ts.map +1 -0
  156. package/dist/types/kms/index.d.ts +5 -0
  157. package/dist/types/kms/index.d.ts.map +1 -0
  158. package/dist/types/kms/key-providers/bjj-provider.d.ts +54 -0
  159. package/dist/types/kms/key-providers/bjj-provider.d.ts.map +1 -0
  160. package/dist/types/kms/key-providers/ed25519-provider.d.ts +61 -0
  161. package/dist/types/kms/key-providers/ed25519-provider.d.ts.map +1 -0
  162. package/dist/types/kms/key-providers/index.d.ts +4 -0
  163. package/dist/types/kms/key-providers/index.d.ts.map +1 -0
  164. package/dist/types/kms/key-providers/secp256k1-provider.d.ts +62 -0
  165. package/dist/types/kms/key-providers/secp256k1-provider.d.ts.map +1 -0
  166. package/dist/types/kms/kms.d.ts +120 -0
  167. package/dist/types/kms/kms.d.ts.map +1 -0
  168. package/dist/types/kms/provider-helpers.d.ts +10 -0
  169. package/dist/types/kms/provider-helpers.d.ts.map +1 -0
  170. package/dist/types/kms/store/abstract-key-store.d.ts +41 -0
  171. package/dist/types/kms/store/abstract-key-store.d.ts.map +1 -0
  172. package/dist/types/kms/store/index.d.ts +6 -0
  173. package/dist/types/kms/store/index.d.ts.map +1 -0
  174. package/dist/types/kms/store/indexed-db-key-store.d.ts +44 -0
  175. package/dist/types/kms/store/indexed-db-key-store.d.ts.map +1 -0
  176. package/dist/types/kms/store/local-storage-key-store.d.ts +42 -0
  177. package/dist/types/kms/store/local-storage-key-store.d.ts.map +1 -0
  178. package/dist/types/kms/store/memory-key-store.d.ts +24 -0
  179. package/dist/types/kms/store/memory-key-store.d.ts.map +1 -0
  180. package/dist/types/kms/store/types.d.ts +21 -0
  181. package/dist/types/kms/store/types.d.ts.map +1 -0
  182. package/dist/types/proof/common.d.ts +49 -0
  183. package/dist/types/proof/common.d.ts.map +1 -0
  184. package/dist/types/proof/index.d.ts +5 -0
  185. package/dist/types/proof/index.d.ts.map +1 -0
  186. package/dist/types/proof/proof-service.d.ts +169 -0
  187. package/dist/types/proof/proof-service.d.ts.map +1 -0
  188. package/dist/types/proof/provers/index.d.ts +4 -0
  189. package/dist/types/proof/provers/index.d.ts.map +1 -0
  190. package/dist/types/proof/provers/inputs-generator.d.ts +57 -0
  191. package/dist/types/proof/provers/inputs-generator.d.ts.map +1 -0
  192. package/dist/types/proof/provers/prover.d.ts +56 -0
  193. package/dist/types/proof/provers/prover.d.ts.map +1 -0
  194. package/dist/types/proof/provers/witness_calculator.d.ts +17 -0
  195. package/dist/types/proof/provers/witness_calculator.d.ts.map +1 -0
  196. package/dist/types/proof/verifiers/index.d.ts +4 -0
  197. package/dist/types/proof/verifiers/index.d.ts.map +1 -0
  198. package/dist/types/proof/verifiers/pub-signals-verifier.d.ts +60 -0
  199. package/dist/types/proof/verifiers/pub-signals-verifier.d.ts.map +1 -0
  200. package/dist/types/proof/verifiers/query-hash.d.ts +4 -0
  201. package/dist/types/proof/verifiers/query-hash.d.ts.map +1 -0
  202. package/dist/types/proof/verifiers/query.d.ts +43 -0
  203. package/dist/types/proof/verifiers/query.d.ts.map +1 -0
  204. package/dist/types/schema-processor/index.d.ts +4 -0
  205. package/dist/types/schema-processor/index.d.ts.map +1 -0
  206. package/dist/types/schema-processor/json/index.d.ts +3 -0
  207. package/dist/types/schema-processor/json/index.d.ts.map +1 -0
  208. package/dist/types/schema-processor/json/parser.d.ts +141 -0
  209. package/dist/types/schema-processor/json/parser.d.ts.map +1 -0
  210. package/dist/types/schema-processor/json/validator.d.ts +26 -0
  211. package/dist/types/schema-processor/json/validator.d.ts.map +1 -0
  212. package/dist/types/schema-processor/jsonld/cache.d.ts +3 -0
  213. package/dist/types/schema-processor/jsonld/cache.d.ts.map +1 -0
  214. package/dist/types/schema-processor/jsonld/index.d.ts +3 -0
  215. package/dist/types/schema-processor/jsonld/index.d.ts.map +1 -0
  216. package/dist/types/schema-processor/jsonld/parser.d.ts +30 -0
  217. package/dist/types/schema-processor/jsonld/parser.d.ts.map +1 -0
  218. package/dist/types/schema-processor/utils.d.ts +54 -0
  219. package/dist/types/schema-processor/utils.d.ts.map +1 -0
  220. package/dist/types/storage/blockchain/common.d.ts +8 -0
  221. package/dist/types/storage/blockchain/common.d.ts.map +1 -0
  222. package/dist/types/storage/blockchain/did-resolver-readonly-storage.d.ts +17 -0
  223. package/dist/types/storage/blockchain/did-resolver-readonly-storage.d.ts.map +1 -0
  224. package/dist/types/storage/blockchain/erc20-helper.d.ts +20 -0
  225. package/dist/types/storage/blockchain/erc20-helper.d.ts.map +1 -0
  226. package/dist/types/storage/blockchain/errors.d.ts +4 -0
  227. package/dist/types/storage/blockchain/errors.d.ts.map +1 -0
  228. package/dist/types/storage/blockchain/index.d.ts +8 -0
  229. package/dist/types/storage/blockchain/index.d.ts.map +1 -0
  230. package/dist/types/storage/blockchain/onchain-issuer-adapter/non-merklized/version/v0.0.1/onchain-non-merklized-issuer-adapter.d.ts +67 -0
  231. package/dist/types/storage/blockchain/onchain-issuer-adapter/non-merklized/version/v0.0.1/onchain-non-merklized-issuer-adapter.d.ts.map +1 -0
  232. package/dist/types/storage/blockchain/onchain-issuer.d.ts +41 -0
  233. package/dist/types/storage/blockchain/onchain-issuer.d.ts.map +1 -0
  234. package/dist/types/storage/blockchain/onchain-revocation.d.ts +41 -0
  235. package/dist/types/storage/blockchain/onchain-revocation.d.ts.map +1 -0
  236. package/dist/types/storage/blockchain/onchain-zkp-verifier.d.ts +116 -0
  237. package/dist/types/storage/blockchain/onchain-zkp-verifier.d.ts.map +1 -0
  238. package/dist/types/storage/blockchain/state.d.ts +127 -0
  239. package/dist/types/storage/blockchain/state.d.ts.map +1 -0
  240. package/dist/types/storage/entities/circuitData.d.ts +8 -0
  241. package/dist/types/storage/entities/circuitData.d.ts.map +1 -0
  242. package/dist/types/storage/entities/identity.d.ts +17 -0
  243. package/dist/types/storage/entities/identity.d.ts.map +1 -0
  244. package/dist/types/storage/entities/index.d.ts +5 -0
  245. package/dist/types/storage/entities/index.d.ts.map +1 -0
  246. package/dist/types/storage/entities/mt.d.ts +22 -0
  247. package/dist/types/storage/entities/mt.d.ts.map +1 -0
  248. package/dist/types/storage/entities/state.d.ts +92 -0
  249. package/dist/types/storage/entities/state.d.ts.map +1 -0
  250. package/dist/types/storage/errors.d.ts +9 -0
  251. package/dist/types/storage/errors.d.ts.map +1 -0
  252. package/dist/types/storage/filters/index.d.ts +2 -0
  253. package/dist/types/storage/filters/index.d.ts.map +1 -0
  254. package/dist/types/storage/filters/jsonQuery.d.ts +83 -0
  255. package/dist/types/storage/filters/jsonQuery.d.ts.map +1 -0
  256. package/dist/types/storage/fs/circuits-storage.d.ts +64 -0
  257. package/dist/types/storage/fs/circuits-storage.d.ts.map +1 -0
  258. package/dist/types/storage/fs/index.d.ts +2 -0
  259. package/dist/types/storage/fs/index.d.ts.map +1 -0
  260. package/dist/types/storage/index.d.ts +10 -0
  261. package/dist/types/storage/index.d.ts.map +1 -0
  262. package/dist/types/storage/indexed-db/data-source.d.ts +44 -0
  263. package/dist/types/storage/indexed-db/data-source.d.ts.map +1 -0
  264. package/dist/types/storage/indexed-db/index.d.ts +3 -0
  265. package/dist/types/storage/indexed-db/index.d.ts.map +1 -0
  266. package/dist/types/storage/indexed-db/merkletree.d.ts +43 -0
  267. package/dist/types/storage/indexed-db/merkletree.d.ts.map +1 -0
  268. package/dist/types/storage/interfaces/circuits.d.ts +26 -0
  269. package/dist/types/storage/interfaces/circuits.d.ts.map +1 -0
  270. package/dist/types/storage/interfaces/credentials.d.ts +53 -0
  271. package/dist/types/storage/interfaces/credentials.d.ts.map +1 -0
  272. package/dist/types/storage/interfaces/data-source.d.ts +39 -0
  273. package/dist/types/storage/interfaces/data-source.d.ts.map +1 -0
  274. package/dist/types/storage/interfaces/data-storage.d.ts +17 -0
  275. package/dist/types/storage/interfaces/data-storage.d.ts.map +1 -0
  276. package/dist/types/storage/interfaces/identity.d.ts +70 -0
  277. package/dist/types/storage/interfaces/identity.d.ts.map +1 -0
  278. package/dist/types/storage/interfaces/index.d.ts +11 -0
  279. package/dist/types/storage/interfaces/index.d.ts.map +1 -0
  280. package/dist/types/storage/interfaces/merkletree.d.ts +44 -0
  281. package/dist/types/storage/interfaces/merkletree.d.ts.map +1 -0
  282. package/dist/types/storage/interfaces/onchain-issuer.d.ts +13 -0
  283. package/dist/types/storage/interfaces/onchain-issuer.d.ts.map +1 -0
  284. package/dist/types/storage/interfaces/onchain-revocation.d.ts +19 -0
  285. package/dist/types/storage/interfaces/onchain-revocation.d.ts.map +1 -0
  286. package/dist/types/storage/interfaces/onchain-zkp-verifier.d.ts +63 -0
  287. package/dist/types/storage/interfaces/onchain-zkp-verifier.d.ts.map +1 -0
  288. package/dist/types/storage/interfaces/state.d.ts +74 -0
  289. package/dist/types/storage/interfaces/state.d.ts.map +1 -0
  290. package/dist/types/storage/local-storage/data-source.d.ts +41 -0
  291. package/dist/types/storage/local-storage/data-source.d.ts.map +1 -0
  292. package/dist/types/storage/local-storage/index.d.ts +3 -0
  293. package/dist/types/storage/local-storage/index.d.ts.map +1 -0
  294. package/dist/types/storage/local-storage/merkletree.d.ts +41 -0
  295. package/dist/types/storage/local-storage/merkletree.d.ts.map +1 -0
  296. package/dist/types/storage/memory/cache-lru.d.ts +11 -0
  297. package/dist/types/storage/memory/cache-lru.d.ts.map +1 -0
  298. package/dist/types/storage/memory/data-source.d.ts +20 -0
  299. package/dist/types/storage/memory/data-source.d.ts.map +1 -0
  300. package/dist/types/storage/memory/index.d.ts +4 -0
  301. package/dist/types/storage/memory/index.d.ts.map +1 -0
  302. package/dist/types/storage/memory/merkletree.d.ts +48 -0
  303. package/dist/types/storage/memory/merkletree.d.ts.map +1 -0
  304. package/dist/types/storage/shared/circuit-storage.d.ts +39 -0
  305. package/dist/types/storage/shared/circuit-storage.d.ts.map +1 -0
  306. package/dist/types/storage/shared/credential-storage.d.ts +39 -0
  307. package/dist/types/storage/shared/credential-storage.d.ts.map +1 -0
  308. package/dist/types/storage/shared/identity-storage.d.ts +45 -0
  309. package/dist/types/storage/shared/identity-storage.d.ts.map +1 -0
  310. package/dist/types/storage/shared/index.d.ts +4 -0
  311. package/dist/types/storage/shared/index.d.ts.map +1 -0
  312. package/dist/types/storage/utils.d.ts +4 -0
  313. package/dist/types/storage/utils.d.ts.map +1 -0
  314. package/dist/types/utils/compare-func.d.ts +2 -0
  315. package/dist/types/utils/compare-func.d.ts.map +1 -0
  316. package/dist/types/utils/did-helper.d.ts +38 -0
  317. package/dist/types/utils/did-helper.d.ts.map +1 -0
  318. package/dist/types/utils/encoding.d.ts +25 -0
  319. package/dist/types/utils/encoding.d.ts.map +1 -0
  320. package/dist/types/utils/index.d.ts +8 -0
  321. package/dist/types/utils/index.d.ts.map +1 -0
  322. package/dist/types/utils/message-bus.d.ts +63 -0
  323. package/dist/types/utils/message-bus.d.ts.map +1 -0
  324. package/dist/types/utils/object.d.ts +10 -0
  325. package/dist/types/utils/object.d.ts.map +1 -0
  326. package/dist/types/utils/payments/evm.d.ts +19 -0
  327. package/dist/types/utils/payments/evm.d.ts.map +1 -0
  328. package/dist/types/utils/payments/solana.d.ts +88 -0
  329. package/dist/types/utils/payments/solana.d.ts.map +1 -0
  330. package/dist/types/verifiable/constants.d.ts +188 -0
  331. package/dist/types/verifiable/constants.d.ts.map +1 -0
  332. package/dist/types/verifiable/core-utils.d.ts +87 -0
  333. package/dist/types/verifiable/core-utils.d.ts.map +1 -0
  334. package/dist/types/verifiable/credential.d.ts +150 -0
  335. package/dist/types/verifiable/credential.d.ts.map +1 -0
  336. package/dist/types/verifiable/index.d.ts +7 -0
  337. package/dist/types/verifiable/index.d.ts.map +1 -0
  338. package/dist/types/verifiable/presentation.d.ts +11 -0
  339. package/dist/types/verifiable/presentation.d.ts.map +1 -0
  340. package/dist/types/verifiable/proof.d.ts +211 -0
  341. package/dist/types/verifiable/proof.d.ts.map +1 -0
  342. package/dist/types/verifiable/schema.d.ts +3 -0
  343. package/dist/types/verifiable/schema.d.ts.map +1 -0
  344. package/package.json +104 -0
  345. package/src/blockchain/index.ts +1 -0
  346. package/src/blockchain/transaction-service.ts +121 -0
  347. package/src/circuits/atomic-query-mtp-v2-on-chain.ts +338 -0
  348. package/src/circuits/atomic-query-mtp-v2.ts +283 -0
  349. package/src/circuits/atomic-query-sig-v2-on-chain.ts +411 -0
  350. package/src/circuits/atomic-query-sig-v2.ts +340 -0
  351. package/src/circuits/atomic-query-v3-on-chain.ts +531 -0
  352. package/src/circuits/atomic-query-v3.ts +461 -0
  353. package/src/circuits/auth-v2.ts +159 -0
  354. package/src/circuits/common.ts +261 -0
  355. package/src/circuits/comparer.ts +227 -0
  356. package/src/circuits/index.ts +12 -0
  357. package/src/circuits/linked-multi-query.ts +180 -0
  358. package/src/circuits/models.ts +263 -0
  359. package/src/circuits/state-transition.ts +139 -0
  360. package/src/credentials/credential-wallet.ts +353 -0
  361. package/src/credentials/index.ts +11 -0
  362. package/src/credentials/models.ts +93 -0
  363. package/src/credentials/rhs.ts +176 -0
  364. package/src/credentials/status/agent-revocation.ts +69 -0
  365. package/src/credentials/status/credential-status-publisher.ts +143 -0
  366. package/src/credentials/status/did-resolver-revocation.ts +24 -0
  367. package/src/credentials/status/on-chain-revocation.ts +174 -0
  368. package/src/credentials/status/resolver.ts +81 -0
  369. package/src/credentials/status/reverse-sparse-merkle-tree.ts +366 -0
  370. package/src/credentials/status/sparse-merkle-tree.ts +50 -0
  371. package/src/credentials/utils.ts +36 -0
  372. package/src/iden3comm/constants.ts +119 -0
  373. package/src/iden3comm/errors.ts +14 -0
  374. package/src/iden3comm/handlers/auth.ts +520 -0
  375. package/src/iden3comm/handlers/common.ts +324 -0
  376. package/src/iden3comm/handlers/contract-request.ts +367 -0
  377. package/src/iden3comm/handlers/credential-proposal.ts +371 -0
  378. package/src/iden3comm/handlers/discovery-protocol.ts +277 -0
  379. package/src/iden3comm/handlers/fetch.ts +450 -0
  380. package/src/iden3comm/handlers/index.ts +11 -0
  381. package/src/iden3comm/handlers/message-handler.ts +165 -0
  382. package/src/iden3comm/handlers/payment.ts +698 -0
  383. package/src/iden3comm/handlers/problem-report.ts +41 -0
  384. package/src/iden3comm/handlers/refresh.ts +138 -0
  385. package/src/iden3comm/handlers/revocation-status.ts +228 -0
  386. package/src/iden3comm/index.ts +9 -0
  387. package/src/iden3comm/packageManager.ts +143 -0
  388. package/src/iden3comm/packers/index.ts +3 -0
  389. package/src/iden3comm/packers/jws.ts +225 -0
  390. package/src/iden3comm/packers/plain.ts +86 -0
  391. package/src/iden3comm/packers/zkp.ts +243 -0
  392. package/src/iden3comm/types/index.ts +17 -0
  393. package/src/iden3comm/types/models.ts +7 -0
  394. package/src/iden3comm/types/packageManager.ts +112 -0
  395. package/src/iden3comm/types/packer.ts +190 -0
  396. package/src/iden3comm/types/protocol/accept-profile.ts +14 -0
  397. package/src/iden3comm/types/protocol/attachment.ts +12 -0
  398. package/src/iden3comm/types/protocol/auth.ts +104 -0
  399. package/src/iden3comm/types/protocol/common.ts +10 -0
  400. package/src/iden3comm/types/protocol/contract-request.ts +76 -0
  401. package/src/iden3comm/types/protocol/credentials.ts +96 -0
  402. package/src/iden3comm/types/protocol/discovery-protocol.ts +49 -0
  403. package/src/iden3comm/types/protocol/messages.ts +13 -0
  404. package/src/iden3comm/types/protocol/payment.ts +231 -0
  405. package/src/iden3comm/types/protocol/problem-report.ts +18 -0
  406. package/src/iden3comm/types/protocol/proof.ts +25 -0
  407. package/src/iden3comm/types/protocol/proposal-request.ts +38 -0
  408. package/src/iden3comm/types/protocol/revocation.ts +23 -0
  409. package/src/iden3comm/utils/accept-profile.ts +121 -0
  410. package/src/iden3comm/utils/did.ts +71 -0
  411. package/src/iden3comm/utils/envelope.ts +101 -0
  412. package/src/iden3comm/utils/index.ts +4 -0
  413. package/src/iden3comm/utils/message.ts +41 -0
  414. package/src/identity/common.ts +69 -0
  415. package/src/identity/identity-wallet.ts +1592 -0
  416. package/src/identity/index.ts +2 -0
  417. package/src/index.ts +16 -0
  418. package/src/kms/index.ts +4 -0
  419. package/src/kms/key-providers/bjj-provider.ts +118 -0
  420. package/src/kms/key-providers/ed25519-provider.ts +105 -0
  421. package/src/kms/key-providers/index.ts +3 -0
  422. package/src/kms/key-providers/secp256k1-provider.ts +125 -0
  423. package/src/kms/kms.ts +173 -0
  424. package/src/kms/provider-helpers.ts +13 -0
  425. package/src/kms/store/abstract-key-store.ts +34 -0
  426. package/src/kms/store/index.ts +5 -0
  427. package/src/kms/store/indexed-db-key-store.ts +60 -0
  428. package/src/kms/store/local-storage-key-store.ts +69 -0
  429. package/src/kms/store/memory-key-store.ts +29 -0
  430. package/src/kms/store/types.ts +21 -0
  431. package/src/proof/common.ts +273 -0
  432. package/src/proof/index.ts +4 -0
  433. package/src/proof/proof-service.ts +623 -0
  434. package/src/proof/provers/index.ts +3 -0
  435. package/src/proof/provers/inputs-generator.ts +627 -0
  436. package/src/proof/provers/prover.ts +104 -0
  437. package/src/proof/provers/witness_calculator.ts +315 -0
  438. package/src/proof/verifiers/index.ts +3 -0
  439. package/src/proof/verifiers/pub-signals-verifier.ts +730 -0
  440. package/src/proof/verifiers/query-hash.ts +57 -0
  441. package/src/proof/verifiers/query.ts +340 -0
  442. package/src/schema-processor/index.ts +3 -0
  443. package/src/schema-processor/json/index.ts +2 -0
  444. package/src/schema-processor/json/parser.ts +256 -0
  445. package/src/schema-processor/json/validator.ts +67 -0
  446. package/src/schema-processor/jsonld/cache.ts +49 -0
  447. package/src/schema-processor/jsonld/index.ts +2 -0
  448. package/src/schema-processor/jsonld/parser.ts +93 -0
  449. package/src/schema-processor/utils.ts +84 -0
  450. package/src/storage/blockchain/abi/CredentialStatusResolver.json +1 -0
  451. package/src/storage/blockchain/abi/ERC20.json +1 -0
  452. package/src/storage/blockchain/abi/ERC20Permit.json +1 -0
  453. package/src/storage/blockchain/abi/IdentityBase.json +1 -0
  454. package/src/storage/blockchain/abi/State.json +1 -0
  455. package/src/storage/blockchain/abi/ZkpVerifier.json +789 -0
  456. package/src/storage/blockchain/common.ts +20 -0
  457. package/src/storage/blockchain/did-resolver-readonly-storage.ts +90 -0
  458. package/src/storage/blockchain/erc20-helper.ts +66 -0
  459. package/src/storage/blockchain/errors.ts +46 -0
  460. package/src/storage/blockchain/index.ts +7 -0
  461. package/src/storage/blockchain/onchain-issuer-adapter/non-merklized/version/v0.0.1/onchain-non-merklized-issuer-adapter.ts +327 -0
  462. package/src/storage/blockchain/onchain-issuer.ts +104 -0
  463. package/src/storage/blockchain/onchain-revocation.ts +143 -0
  464. package/src/storage/blockchain/onchain-zkp-verifier.ts +704 -0
  465. package/src/storage/blockchain/state.ts +471 -0
  466. package/src/storage/entities/circuitData.ts +7 -0
  467. package/src/storage/entities/identity.ts +18 -0
  468. package/src/storage/entities/index.ts +4 -0
  469. package/src/storage/entities/mt.ts +25 -0
  470. package/src/storage/entities/state.ts +97 -0
  471. package/src/storage/errors.ts +8 -0
  472. package/src/storage/filters/index.ts +1 -0
  473. package/src/storage/filters/jsonQuery.ts +368 -0
  474. package/src/storage/fs/circuits-storage.ts +149 -0
  475. package/src/storage/fs/index.ts +1 -0
  476. package/src/storage/index.ts +9 -0
  477. package/src/storage/indexed-db/data-source.ts +58 -0
  478. package/src/storage/indexed-db/index.ts +2 -0
  479. package/src/storage/indexed-db/merkletree.ts +140 -0
  480. package/src/storage/interfaces/circuits.ts +27 -0
  481. package/src/storage/interfaces/credentials.ts +53 -0
  482. package/src/storage/interfaces/data-source.ts +41 -0
  483. package/src/storage/interfaces/data-storage.ts +17 -0
  484. package/src/storage/interfaces/identity.ts +73 -0
  485. package/src/storage/interfaces/index.ts +10 -0
  486. package/src/storage/interfaces/merkletree.ts +52 -0
  487. package/src/storage/interfaces/onchain-issuer.ts +13 -0
  488. package/src/storage/interfaces/onchain-revocation.ts +22 -0
  489. package/src/storage/interfaces/onchain-zkp-verifier.ts +94 -0
  490. package/src/storage/interfaces/state.ts +81 -0
  491. package/src/storage/local-storage/data-source.ts +87 -0
  492. package/src/storage/local-storage/index.ts +2 -0
  493. package/src/storage/local-storage/merkletree.ts +137 -0
  494. package/src/storage/memory/cache-lru.ts +30 -0
  495. package/src/storage/memory/data-source.ts +45 -0
  496. package/src/storage/memory/index.ts +3 -0
  497. package/src/storage/memory/merkletree.ts +116 -0
  498. package/src/storage/shared/circuit-storage.ts +49 -0
  499. package/src/storage/shared/credential-storage.ts +70 -0
  500. package/src/storage/shared/identity-storage.ts +82 -0
  501. package/src/storage/shared/index.ts +3 -0
  502. package/src/storage/utils.ts +19 -0
  503. package/src/utils/compare-func.ts +5 -0
  504. package/src/utils/did-helper.ts +157 -0
  505. package/src/utils/encoding.ts +47 -0
  506. package/src/utils/index.ts +7 -0
  507. package/src/utils/message-bus.ts +88 -0
  508. package/src/utils/object.ts +52 -0
  509. package/src/utils/payments/evm.ts +152 -0
  510. package/src/utils/payments/solana.ts +360 -0
  511. package/src/verifiable/constants.ts +239 -0
  512. package/src/verifiable/core-utils.ts +307 -0
  513. package/src/verifiable/credential.ts +649 -0
  514. package/src/verifiable/index.ts +6 -0
  515. package/src/verifiable/presentation.ts +97 -0
  516. package/src/verifiable/proof.ts +277 -0
  517. package/src/verifiable/schema.ts +241 -0
@@ -0,0 +1,338 @@
1
+ import { Id, Claim } from '@mocanetwork/moca-iden3';
2
+ import { Signature } from '@iden3/js-crypto';
3
+ import { Query, ValueProof, CircuitError, TreeState, GISTProof, ClaimWithMTPProof } from './models';
4
+ import { Hash, Proof } from '@iden3/js-merkletree';
5
+ import {
6
+ BaseConfig,
7
+ bigIntArrayToStringArray,
8
+ existenceToInt,
9
+ getNodeAuxValue,
10
+ IStateInfoPubSignals,
11
+ StatesInfo,
12
+ prepareCircuitArrayValues,
13
+ prepareSiblingsStr
14
+ } from './common';
15
+ import { byteDecoder, byteEncoder } from '../utils';
16
+
17
+ /**
18
+ * AtomicQueryMTPV2OnChainInputs ZK private inputs for credentialAtomicQueryMTPV2OnChain.circom
19
+ *
20
+ * @public
21
+ * @class AtomicQuerySigV2OnChainInputs
22
+ * @extends {BaseConfig}
23
+ */
24
+ export class AtomicQueryMTPV2OnChainInputs extends BaseConfig {
25
+ // auth
26
+ id!: Id;
27
+ profileNonce!: bigint;
28
+ claimSubjectProfileNonce!: bigint;
29
+ // claim issued for user
30
+ claim!: ClaimWithMTPProof;
31
+ skipClaimRevocationCheck!: boolean;
32
+ requestID!: bigint;
33
+
34
+ currentTimeStamp!: number;
35
+
36
+ authClaim!: Claim;
37
+ authClaimIncMtp!: Proof;
38
+ authClaimNonRevMtp!: Proof;
39
+ treeState!: TreeState;
40
+
41
+ gistProof!: GISTProof;
42
+
43
+ signature!: Signature;
44
+ challenge!: bigint;
45
+
46
+ // query
47
+ query!: Query;
48
+
49
+ /**
50
+ * Validate inputs
51
+ *
52
+ */
53
+ validate(): void {
54
+ if (!this.requestID) {
55
+ throw new Error(CircuitError.EmptyRequestID);
56
+ }
57
+ if (!this.authClaimIncMtp) {
58
+ throw new Error(CircuitError.EmptyAuthClaimProof);
59
+ }
60
+ if (!this.authClaimNonRevMtp) {
61
+ throw new Error(CircuitError.EmptyAuthClaimNonRevProof);
62
+ }
63
+ if (!this.gistProof.proof) {
64
+ throw new Error(CircuitError.EmptyGISTProof);
65
+ }
66
+ if (!this.signature) {
67
+ throw new Error(CircuitError.EmptyChallengeSignature);
68
+ }
69
+ if (this.challenge === null || this.challenge === undefined) {
70
+ throw new Error(CircuitError.EmptyChallenge);
71
+ }
72
+ }
73
+
74
+ /**
75
+ * marshal inputs
76
+ *
77
+ * @returns Uint8Array
78
+ */
79
+ inputsMarshal(): Uint8Array {
80
+ this.validate();
81
+ if (this.query.valueProof) {
82
+ this.query.validate();
83
+ this.query.valueProof.validate();
84
+ }
85
+
86
+ const valueProof = this.query.valueProof ?? new ValueProof();
87
+ const s: Partial<atomicQueryMTPV2OnChainCircuitInputs> = {
88
+ requestID: this.requestID.toString(),
89
+ userGenesisID: this.id.bigInt().toString(),
90
+ profileNonce: this.profileNonce.toString(),
91
+ claimSubjectProfileNonce: this.claimSubjectProfileNonce?.toString(),
92
+ issuerID: this.claim.issuerID?.bigInt().toString(),
93
+ issuerClaim: this.claim.claim?.marshalJson(),
94
+ issuerClaimMtp:
95
+ this.claim.incProof?.proof &&
96
+ prepareSiblingsStr(this.claim.incProof.proof, this.getMTLevel()),
97
+ issuerClaimClaimsTreeRoot: this.claim.incProof?.treeState?.claimsRoot?.string(),
98
+ issuerClaimRevTreeRoot: this.claim.incProof?.treeState?.revocationRoot?.string(),
99
+ issuerClaimRootsTreeRoot: this.claim.incProof?.treeState?.rootOfRoots?.string(),
100
+ issuerClaimIdenState: this.claim.incProof?.treeState?.state?.string(),
101
+ issuerClaimNonRevMtp:
102
+ this.claim.nonRevProof?.proof &&
103
+ prepareSiblingsStr(this.claim.nonRevProof?.proof, this.getMTLevel()),
104
+ issuerClaimNonRevClaimsTreeRoot: this.claim.nonRevProof?.treeState?.claimsRoot?.string(),
105
+ issuerClaimNonRevRevTreeRoot: this.claim.nonRevProof?.treeState?.revocationRoot?.string(),
106
+ issuerClaimNonRevRootsTreeRoot: this.claim.nonRevProof?.treeState?.rootOfRoots?.string(),
107
+ issuerClaimNonRevState: this.claim.nonRevProof?.treeState?.state?.string(),
108
+ claimSchema: this.claim.claim?.getSchemaHash().bigInt().toString(),
109
+ claimPathMtp: prepareSiblingsStr(valueProof.mtp, this.getMTLevelsClaim()),
110
+ claimPathValue: valueProof.value.toString(),
111
+ operator: this.query.operator,
112
+ slotIndex: this.query.slotIndex,
113
+ timestamp: this.currentTimeStamp ?? undefined,
114
+ isRevocationChecked: 1,
115
+ authClaim: this.authClaim.marshalJson(),
116
+ authClaimIncMtp:
117
+ this.authClaimIncMtp && prepareSiblingsStr(this.authClaimIncMtp, this.getMTLevel()),
118
+ authClaimNonRevMtp:
119
+ this.authClaimNonRevMtp && prepareSiblingsStr(this.authClaimNonRevMtp, this.getMTLevel()),
120
+ challenge: this.challenge.toString(),
121
+ challengeSignatureR8x: this.signature.R8[0].toString(),
122
+ challengeSignatureR8y: this.signature.R8[1].toString(),
123
+ challengeSignatureS: this.signature.S.toString(),
124
+ userClaimsTreeRoot: this.treeState.claimsRoot?.string(),
125
+ userRevTreeRoot: this.treeState.revocationRoot?.string(),
126
+ userRootsTreeRoot: this.treeState.rootOfRoots?.string(),
127
+ userState: this.treeState.state?.string(),
128
+ gistRoot: this.gistProof.root?.string(),
129
+ gistMtp: this.gistProof && prepareSiblingsStr(this.gistProof.proof, this.getMTLevelOnChain())
130
+ };
131
+
132
+ if (this.skipClaimRevocationCheck) {
133
+ s.isRevocationChecked = 0;
134
+ }
135
+
136
+ const nodeAuxNonRev =
137
+ this.claim.nonRevProof?.proof && getNodeAuxValue(this.claim.nonRevProof.proof);
138
+ s.issuerClaimNonRevMtpAuxHi = nodeAuxNonRev?.key.bigInt().toString();
139
+ s.issuerClaimNonRevMtpAuxHv = nodeAuxNonRev?.value.bigInt().toString();
140
+ s.issuerClaimNonRevMtpNoAux = nodeAuxNonRev?.noAux;
141
+
142
+ s.claimPathNotExists = existenceToInt(valueProof.mtp.existence);
143
+ const nodAuxJSONLD = getNodeAuxValue(valueProof.mtp);
144
+ s.claimPathMtpNoAux = nodAuxJSONLD.noAux;
145
+ s.claimPathMtpAuxHi = nodAuxJSONLD.key.bigInt().toString();
146
+ s.claimPathMtpAuxHv = nodAuxJSONLD.value.bigInt().toString();
147
+
148
+ s.claimPathKey = valueProof.path.toString();
149
+ const values =
150
+ this.query.values && prepareCircuitArrayValues(this.query.values, this.getValueArrSize());
151
+ s.value = values && bigIntArrayToStringArray(values);
152
+
153
+ const nodeAuxAuth = this.authClaimNonRevMtp && getNodeAuxValue(this.authClaimNonRevMtp);
154
+ s.authClaimNonRevMtpAuxHi = nodeAuxAuth.key.string();
155
+ s.authClaimNonRevMtpAuxHv = nodeAuxAuth.value.string();
156
+ s.authClaimNonRevMtpNoAux = nodeAuxAuth.noAux;
157
+
158
+ const globalNodeAux = this.gistProof && getNodeAuxValue(this.gistProof.proof);
159
+ s.gistMtpAuxHi = globalNodeAux.key.string();
160
+ s.gistMtpAuxHv = globalNodeAux.value.string();
161
+ s.gistMtpNoAux = globalNodeAux.noAux;
162
+
163
+ return byteEncoder.encode(JSON.stringify(s));
164
+ }
165
+ }
166
+
167
+ // atomicQueryMTPV2OnChainCircuitInputs type represents credentialAtomicQueryMTP.circom private inputs required by prover
168
+ interface atomicQueryMTPV2OnChainCircuitInputs {
169
+ requestID: string;
170
+ userGenesisID: string;
171
+ profileNonce: string;
172
+ claimSubjectProfileNonce: string;
173
+ issuerID: string;
174
+ issuerClaim: string[];
175
+
176
+ issuerClaimMtp: string[];
177
+ issuerClaimClaimsTreeRoot: string;
178
+ issuerClaimRevTreeRoot: string;
179
+ issuerClaimRootsTreeRoot: string;
180
+ issuerClaimIdenState: string;
181
+
182
+ issuerClaimNonRevClaimsTreeRoot: string;
183
+ issuerClaimNonRevRevTreeRoot: string;
184
+ issuerClaimNonRevRootsTreeRoot: string;
185
+ issuerClaimNonRevState: string;
186
+ issuerClaimNonRevMtp: string[];
187
+ issuerClaimNonRevMtpAuxHi?: string;
188
+ issuerClaimNonRevMtpAuxHv?: string;
189
+ issuerClaimNonRevMtpNoAux: string;
190
+
191
+ isRevocationChecked: number;
192
+ claimSchema: string;
193
+ // Query
194
+ // JSON path
195
+ claimPathNotExists: number; // 0 for inclusion, 1 for non-inclusion
196
+ claimPathMtp: string[];
197
+ claimPathMtpNoAux: string; // 1 if aux node is empty,
198
+ // 0 if non-empty or for inclusion proofs
199
+ claimPathMtpAuxHi: string; // 0 for inclusion proof
200
+ claimPathMtpAuxHv: string; // 0 for inclusion proof
201
+ claimPathKey: string; // hash of path in merklized json-ld document
202
+ claimPathValue: string; // value in this path in merklized json-ld document
203
+
204
+ operator: number;
205
+ slotIndex: number;
206
+ timestamp: number;
207
+ value: string[];
208
+
209
+ // AuthClaim proof of inclusion
210
+ authClaim: string[];
211
+ authClaimIncMtp: string[];
212
+
213
+ // AuthClaim non revocation proof
214
+ authClaimNonRevMtp: string[];
215
+ authClaimNonRevMtpAuxHi: string;
216
+ authClaimNonRevMtpAuxHv: string;
217
+ authClaimNonRevMtpNoAux: string;
218
+
219
+ challenge: string;
220
+ challengeSignatureR8x: string;
221
+ challengeSignatureR8y: string;
222
+ challengeSignatureS: string;
223
+
224
+ // User State
225
+ userClaimsTreeRoot: string;
226
+ userRevTreeRoot: string;
227
+ userRootsTreeRoot: string;
228
+ userState: string;
229
+
230
+ // Global on-cain state
231
+ gistRoot: string;
232
+ gistMtp: string[];
233
+ gistMtpAuxHi: string;
234
+ gistMtpAuxHv: string;
235
+ gistMtpNoAux: string;
236
+ }
237
+
238
+ /**
239
+ *
240
+ * public signals
241
+ * @public
242
+ * @class AtomicQueryMTPV2OnChainPubSignals
243
+ * @extends {BaseConfig}
244
+ */
245
+ export class AtomicQueryMTPV2OnChainPubSignals extends BaseConfig implements IStateInfoPubSignals {
246
+ requestID!: bigint;
247
+ userID!: Id;
248
+ issuerID!: Id;
249
+ issuerClaimIdenState!: Hash;
250
+ issuerClaimNonRevState!: Hash;
251
+ timestamp!: number;
252
+ merklized!: number;
253
+ isRevocationChecked!: number; // 0 revocation not check, // 1 for check revocation
254
+ circuitQueryHash!: bigint;
255
+ challenge!: bigint;
256
+ gistRoot!: Hash;
257
+
258
+ /**
259
+ *
260
+ * // PubSignalsUnmarshal unmarshal credentialAtomicQueryMTPV2OnChain.circom public signals array to AtomicQueryMTPPubSignals
261
+ * @param {Uint8Array} data
262
+ * @returns AtomicQuerySigV2PubSignals
263
+ */
264
+ pubSignalsUnmarshal(data: Uint8Array): AtomicQueryMTPV2OnChainPubSignals {
265
+ // expected order:
266
+ // merklized
267
+ // userID
268
+ // circuitQueryHash
269
+ // requestID
270
+ // challenge
271
+ // gistRoot
272
+ // issuerID
273
+ // issuerClaimIdenState
274
+ // isRevocationChecked
275
+ // issuerClaimNonRevState
276
+ // timestamp
277
+
278
+ const sVals: string[] = JSON.parse(byteDecoder.decode(data));
279
+ let fieldIdx = 0;
280
+
281
+ // -- merklized
282
+ this.merklized = parseInt(sVals[fieldIdx]);
283
+ fieldIdx++;
284
+
285
+ // - userID
286
+ this.userID = Id.fromBigInt(BigInt(sVals[fieldIdx]));
287
+ fieldIdx++;
288
+
289
+ // - circuitQueryHash
290
+ this.circuitQueryHash = BigInt(sVals[fieldIdx]);
291
+ fieldIdx++;
292
+
293
+ // - requestID
294
+ this.requestID = BigInt(sVals[fieldIdx]);
295
+ fieldIdx++;
296
+
297
+ // - challenge
298
+ this.challenge = BigInt(sVals[fieldIdx]);
299
+ fieldIdx++;
300
+
301
+ // - gistRoot
302
+ this.gistRoot = Hash.fromString(sVals[fieldIdx]);
303
+ fieldIdx++;
304
+
305
+ // - issuerID
306
+ this.issuerID = Id.fromBigInt(BigInt(sVals[fieldIdx]));
307
+ fieldIdx++;
308
+
309
+ // - issuerClaimIdenState
310
+ this.issuerClaimIdenState = Hash.fromString(sVals[fieldIdx]);
311
+ fieldIdx++;
312
+
313
+ // - isRevocationChecked
314
+ this.isRevocationChecked = parseInt(sVals[fieldIdx]);
315
+ fieldIdx++;
316
+
317
+ // - issuerClaimNonRevState
318
+ this.issuerClaimNonRevState = Hash.fromString(sVals[fieldIdx]);
319
+ fieldIdx++;
320
+
321
+ // - timestamp
322
+ this.timestamp = parseInt(sVals[fieldIdx]);
323
+ fieldIdx++;
324
+
325
+ return this;
326
+ }
327
+
328
+ /** {@inheritDoc IStateInfoPubSignals.getStatesInfo} */
329
+ getStatesInfo(): StatesInfo {
330
+ return {
331
+ states: [
332
+ { id: this.issuerID, state: this.issuerClaimIdenState },
333
+ { id: this.issuerID, state: this.issuerClaimNonRevState }
334
+ ],
335
+ gists: [{ id: this.userID, root: this.gistRoot }]
336
+ };
337
+ }
338
+ }
@@ -0,0 +1,283 @@
1
+ import { Id, SchemaHash } from '@mocanetwork/moca-iden3';
2
+ import { Query, ClaimWithMTPProof, ValueProof, CircuitError } from './models';
3
+ import { Hash } from '@iden3/js-merkletree';
4
+ import {
5
+ BaseConfig,
6
+ bigIntArrayToStringArray,
7
+ existenceToInt,
8
+ getNodeAuxValue,
9
+ prepareCircuitArrayValues,
10
+ prepareSiblingsStr
11
+ } from './common';
12
+ import { byteDecoder, byteEncoder } from '../utils';
13
+
14
+ /**
15
+ * AtomicQueryMTPInputs ZK private inputs for credentialAtomicQueryMTP.circom
16
+ *
17
+ * @public
18
+ * @class AtomicQueryMTPV2Inputs
19
+ * @extends {BaseConfig}
20
+ */
21
+ export class AtomicQueryMTPV2Inputs extends BaseConfig {
22
+ // auth
23
+ id!: Id;
24
+ profileNonce!: bigint;
25
+ claimSubjectProfileNonce!: bigint;
26
+ // claim issued for user
27
+ claim!: ClaimWithMTPProof;
28
+ skipClaimRevocationCheck!: boolean;
29
+ requestID!: bigint;
30
+
31
+ currentTimeStamp!: number;
32
+
33
+ // query
34
+ query!: Query;
35
+
36
+ /**
37
+ * Validate AtomicQueryMTPV2 inputs
38
+ *
39
+ */
40
+ validate(): void {
41
+ if (!this.requestID) {
42
+ throw new Error(CircuitError.EmptyRequestID);
43
+ }
44
+ }
45
+
46
+ /**
47
+ *
48
+ * Inputs marshalling
49
+ * @returns {Uint8Array}
50
+ */
51
+ inputsMarshal(): Uint8Array {
52
+ this.validate();
53
+ if (this.query.valueProof) {
54
+ this.query.validate();
55
+ this.query.valueProof.validate();
56
+ }
57
+
58
+ const valueProof = this.query.valueProof ?? new ValueProof();
59
+
60
+ const s: Partial<AtomicQueryMTPV2CircuitInputs> = {
61
+ requestID: this.requestID.toString(),
62
+ userGenesisID: this.id.bigInt().toString(),
63
+ profileNonce: this.profileNonce?.toString(),
64
+ claimSubjectProfileNonce: this.claimSubjectProfileNonce?.toString(),
65
+ issuerID: this.claim.issuerID?.bigInt().toString(),
66
+ issuerClaim: this.claim.claim?.marshalJson(),
67
+ issuerClaimMtp:
68
+ this.claim.incProof?.proof &&
69
+ prepareSiblingsStr(this.claim.incProof.proof, this.getMTLevel()),
70
+ issuerClaimClaimsTreeRoot: this.claim.incProof?.treeState?.claimsRoot?.bigInt().toString(),
71
+ issuerClaimRevTreeRoot: this.claim.incProof?.treeState?.revocationRoot?.bigInt().toString(),
72
+ issuerClaimRootsTreeRoot: this.claim.incProof?.treeState?.rootOfRoots?.bigInt().toString(),
73
+ issuerClaimIdenState: this.claim.incProof?.treeState?.state?.bigInt().toString(),
74
+ issuerClaimNonRevMtp:
75
+ this.claim.nonRevProof?.proof &&
76
+ prepareSiblingsStr(this.claim.nonRevProof.proof, this.getMTLevel()),
77
+ issuerClaimNonRevClaimsTreeRoot: this.claim.nonRevProof?.treeState?.claimsRoot
78
+ ?.bigInt()
79
+ .toString(),
80
+ issuerClaimNonRevRevTreeRoot: this.claim.nonRevProof?.treeState?.revocationRoot
81
+ ?.bigInt()
82
+ .toString(),
83
+ issuerClaimNonRevRootsTreeRoot: this.claim.nonRevProof?.treeState?.rootOfRoots
84
+ ?.bigInt()
85
+ .toString(),
86
+ issuerClaimNonRevState: this.claim.nonRevProof?.treeState?.state?.bigInt().toString(),
87
+ claimSchema: this.claim.claim?.getSchemaHash().bigInt().toString(),
88
+ claimPathMtp: prepareSiblingsStr(valueProof.mtp, this.getMTLevelsClaim()),
89
+ claimPathValue: valueProof.value.toString(),
90
+ operator: this.query.operator,
91
+ slotIndex: this.query.slotIndex,
92
+ timestamp: this.currentTimeStamp
93
+ };
94
+
95
+ const nodeAux = getNodeAuxValue(this.claim.nonRevProof?.proof);
96
+ s.issuerClaimNonRevMtpAuxHi = nodeAux?.key.bigInt().toString();
97
+ s.issuerClaimNonRevMtpAuxHv = nodeAux?.value.bigInt().toString();
98
+ s.issuerClaimNonRevMtpNoAux = nodeAux?.noAux;
99
+
100
+ s.claimPathNotExists = existenceToInt(valueProof.mtp.existence);
101
+ const nodAuxJSONLD = getNodeAuxValue(valueProof.mtp);
102
+ s.claimPathMtpNoAux = nodAuxJSONLD.noAux;
103
+ s.claimPathMtpAuxHi = nodAuxJSONLD.key.bigInt().toString();
104
+ s.claimPathMtpAuxHv = nodAuxJSONLD.value.bigInt().toString();
105
+
106
+ s.claimPathKey = valueProof.path.toString();
107
+
108
+ if (this.skipClaimRevocationCheck) {
109
+ s.isRevocationChecked = 0;
110
+ } else {
111
+ s.isRevocationChecked = 1;
112
+ }
113
+
114
+ const values =
115
+ this.query.values && prepareCircuitArrayValues(this.query.values, this.getValueArrSize());
116
+
117
+ s.value = bigIntArrayToStringArray(values);
118
+
119
+ return byteEncoder.encode(JSON.stringify(s));
120
+ }
121
+ }
122
+
123
+ // stateTransitionInputsInternal type represents credentialAtomicQueryMTP.circom private inputs required by prover
124
+ interface AtomicQueryMTPV2CircuitInputs {
125
+ requestID: string;
126
+ userGenesisID: string;
127
+ profileNonce: string;
128
+ claimSubjectProfileNonce: string;
129
+ issuerID: string;
130
+ issuerClaim?: string[];
131
+ issuerClaimMtp: string[];
132
+ issuerClaimClaimsTreeRoot?: string;
133
+ issuerClaimRevTreeRoot?: string;
134
+ issuerClaimRootsTreeRoot?: string;
135
+ issuerClaimIdenState?: string;
136
+ issuerClaimNonRevClaimsTreeRoot?: string;
137
+ issuerClaimNonRevRevTreeRoot?: string;
138
+ issuerClaimNonRevRootsTreeRoot?: string;
139
+ issuerClaimNonRevState?: string;
140
+ issuerClaimNonRevMtp: string[];
141
+ issuerClaimNonRevMtpAuxHi?: string;
142
+ issuerClaimNonRevMtpAuxHv?: string;
143
+ issuerClaimNonRevMtpNoAux: string;
144
+ isRevocationChecked: number;
145
+ claimSchema: string;
146
+ claimPathNotExists: number;
147
+ claimPathMtp: string[];
148
+ claimPathMtpNoAux: string;
149
+ claimPathMtpAuxHi?: string;
150
+ claimPathMtpAuxHv?: string;
151
+ claimPathKey: string;
152
+ claimPathValue: string;
153
+ operator: number;
154
+ slotIndex: number;
155
+ timestamp: number;
156
+ value: string[];
157
+ }
158
+
159
+ /**
160
+ * Public signals
161
+ *
162
+ * @public
163
+ * @class AtomicQueryMTPV2PubSignals
164
+ * @extends {BaseConfig}
165
+ */
166
+ export class AtomicQueryMTPV2PubSignals extends BaseConfig {
167
+ requestID!: bigint;
168
+ userID!: Id;
169
+ issuerID!: Id;
170
+ issuerClaimIdenState!: Hash;
171
+ issuerClaimNonRevState!: Hash;
172
+ claimSchema!: SchemaHash;
173
+ slotIndex!: number;
174
+ operator!: number;
175
+ value: bigint[] = [];
176
+ timestamp!: number;
177
+ merklized!: number;
178
+ claimPathKey!: bigint;
179
+ // 0 for inclusion, 1 for non-inclusion
180
+ claimPathNotExists!: number;
181
+ // 0 revocation not check, // 1 for check revocation
182
+ isRevocationChecked!: number;
183
+
184
+ /**
185
+ * PubSignalsUnmarshal unmarshal credentialAtomicQueryMTP.circom public signals array to AtomicQueryMTPPubSignals
186
+ *
187
+ * @param {Uint8Array} data
188
+ * @returns AtomicQueryMTPV2PubSignals
189
+ */
190
+ pubSignalsUnmarshal(data: Uint8Array): AtomicQueryMTPV2PubSignals {
191
+ // expected order:
192
+ // merklized
193
+ // userID
194
+ // requestID
195
+ // issuerID
196
+ // issuerClaimIdenState
197
+ // issuerClaimNonRevState
198
+ // timestamp
199
+ // claimSchema
200
+ // claimPathNotExists
201
+ // claimPathKey
202
+ // slotIndex
203
+ // operator
204
+ // value
205
+
206
+ // 12 is a number of fields in AtomicQueryMTPV2PubSignals before values, values is last element in the proof and
207
+ // it is length could be different base on the circuit configuration. The length could be modified by set value
208
+ // in ValueArraySize
209
+ const fieldLength = 13;
210
+
211
+ const sVals: string[] = JSON.parse(byteDecoder.decode(data));
212
+
213
+ if (sVals.length !== fieldLength + this.getValueArrSize()) {
214
+ throw new Error(
215
+ `invalid number of Output values expected ${fieldLength + this.getValueArrSize()} got ${
216
+ sVals.length
217
+ }`
218
+ );
219
+ }
220
+
221
+ let fieldIdx = 0;
222
+
223
+ // -- merklized
224
+ this.merklized = parseInt(sVals[fieldIdx]);
225
+ fieldIdx++;
226
+
227
+ // - userID
228
+ this.userID = Id.fromBigInt(BigInt(sVals[fieldIdx]));
229
+ fieldIdx++;
230
+
231
+ // - requestID
232
+ this.requestID = BigInt(sVals[fieldIdx]);
233
+ fieldIdx++;
234
+
235
+ // - issuerID
236
+ this.issuerID = Id.fromBigInt(BigInt(sVals[fieldIdx]));
237
+ fieldIdx++;
238
+
239
+ // - issuerClaimIdenState
240
+ this.issuerClaimIdenState = Hash.fromString(sVals[fieldIdx]);
241
+ fieldIdx++;
242
+
243
+ // - isRevocationChecked
244
+ this.isRevocationChecked = parseInt(sVals[fieldIdx]);
245
+ fieldIdx++;
246
+
247
+ // - issuerClaimNonRevState
248
+ this.issuerClaimNonRevState = Hash.fromString(sVals[fieldIdx]);
249
+ fieldIdx++;
250
+
251
+ // - timestamp
252
+ this.timestamp = parseInt(sVals[fieldIdx]);
253
+ fieldIdx++;
254
+
255
+ // - claimSchema
256
+ this.claimSchema = SchemaHash.newSchemaHashFromInt(BigInt(sVals[fieldIdx]));
257
+ fieldIdx++;
258
+
259
+ // - ClaimPathNotExists
260
+ this.claimPathNotExists = parseInt(sVals[fieldIdx]);
261
+ fieldIdx++;
262
+
263
+ // - ClaimPathKey
264
+ this.claimPathKey = BigInt(sVals[fieldIdx]);
265
+ fieldIdx++;
266
+
267
+ // - slotIndex
268
+ this.slotIndex = parseInt(sVals[fieldIdx]);
269
+ fieldIdx++;
270
+
271
+ // - operator
272
+ this.operator = parseInt(sVals[fieldIdx]);
273
+ fieldIdx++;
274
+
275
+ // - values
276
+ for (let index = 0; index < this.getValueArrSize(); index++) {
277
+ this.value.push(BigInt(sVals[fieldIdx]));
278
+ fieldIdx++;
279
+ }
280
+
281
+ return this;
282
+ }
283
+ }