@openzeppelin/miden-multisig-client 0.16.0 → 0.16.1
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.
- package/README.md +12 -0
- package/dist/client.d.ts +8 -0
- package/dist/client.d.ts.map +1 -1
- package/dist/client.js +9 -2
- package/dist/client.js.map +1 -1
- package/dist/index.d.ts +5 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +4 -0
- package/dist/index.js.map +1 -1
- package/dist/multisig.d.ts +63 -2
- package/dist/multisig.d.ts.map +1 -1
- package/dist/multisig.js +131 -7
- package/dist/multisig.js.map +1 -1
- package/dist/multisig.test.js +216 -13
- package/dist/multisig.test.js.map +1 -1
- package/dist/proposal/factory.d.ts.map +1 -1
- package/dist/proposal/factory.js +10 -0
- package/dist/proposal/factory.js.map +1 -1
- package/dist/proposal/factory.test.d.ts +2 -0
- package/dist/proposal/factory.test.d.ts.map +1 -0
- package/dist/proposal/factory.test.js +32 -0
- package/dist/proposal/factory.test.js.map +1 -0
- package/dist/prover/config.d.ts +16 -0
- package/dist/prover/config.d.ts.map +1 -0
- package/dist/prover/config.js +54 -0
- package/dist/prover/config.js.map +1 -0
- package/dist/prover/config.test.d.ts +2 -0
- package/dist/prover/config.test.d.ts.map +1 -0
- package/dist/prover/config.test.js +54 -0
- package/dist/prover/config.test.js.map +1 -0
- package/dist/prover/errors.d.ts +2 -0
- package/dist/prover/errors.d.ts.map +1 -0
- package/dist/prover/errors.js +158 -0
- package/dist/prover/errors.js.map +1 -0
- package/dist/prover/errors.test.d.ts +2 -0
- package/dist/prover/errors.test.d.ts.map +1 -0
- package/dist/prover/errors.test.js +24 -0
- package/dist/prover/errors.test.js.map +1 -0
- package/dist/prover/retry.d.ts +10 -0
- package/dist/prover/retry.d.ts.map +1 -0
- package/dist/prover/retry.js +32 -0
- package/dist/prover/retry.js.map +1 -0
- package/dist/prover/retry.test.d.ts +2 -0
- package/dist/prover/retry.test.d.ts.map +1 -0
- package/dist/prover/retry.test.js +20 -0
- package/dist/prover/retry.test.js.map +1 -0
- package/dist/prover/workflow.d.ts +11 -0
- package/dist/prover/workflow.d.ts.map +1 -0
- package/dist/prover/workflow.js +18 -0
- package/dist/prover/workflow.js.map +1 -0
- package/dist/prover/workflow.test.d.ts +2 -0
- package/dist/prover/workflow.test.d.ts.map +1 -0
- package/dist/prover/workflow.test.js +80 -0
- package/dist/prover/workflow.test.js.map +1 -0
- package/dist/transaction/p2id.d.ts +8 -1
- package/dist/transaction/p2id.d.ts.map +1 -1
- package/dist/transaction/p2id.js +12 -3
- package/dist/transaction/p2id.js.map +1 -1
- package/dist/transaction.d.ts +1 -1
- package/dist/transaction.d.ts.map +1 -1
- package/dist/transaction.js +1 -1
- package/dist/transaction.js.map +1 -1
- package/package.json +2 -2
- package/src/client.ts +17 -2
- package/src/index.ts +5 -0
- package/src/multisig.test.ts +262 -17
- package/src/multisig.ts +162 -6
- package/src/proposal/factory.test.ts +40 -0
- package/src/proposal/factory.ts +11 -1
- package/src/prover/config.test.ts +90 -0
- package/src/prover/config.ts +78 -0
- package/src/prover/errors.test.ts +53 -0
- package/src/prover/errors.ts +178 -0
- package/src/prover/retry.test.ts +38 -0
- package/src/prover/retry.ts +46 -0
- package/src/prover/test-node.d.ts +6 -0
- package/src/prover/workflow.test.ts +109 -0
- package/src/prover/workflow.ts +19 -0
- package/src/transaction/p2id.ts +29 -10
- package/src/transaction.ts +1 -0
package/dist/proposal/factory.js
CHANGED
|
@@ -83,6 +83,10 @@ export class ProposalFactory {
|
|
|
83
83
|
};
|
|
84
84
|
}
|
|
85
85
|
toStatus(status, proposalType, signatures) {
|
|
86
|
+
// The explicit widening keeps this compiling against published
|
|
87
|
+
// @openzeppelin/guardian-client types that predate the `retained`
|
|
88
|
+
// status (issue #345); it becomes redundant — but stays correct —
|
|
89
|
+
// once the lockfile picks up a release that includes it.
|
|
86
90
|
switch (status.status) {
|
|
87
91
|
case 'pending': {
|
|
88
92
|
const signaturesRequired = this.options.resolveRequiredSignatures(proposalType);
|
|
@@ -91,6 +95,12 @@ export class ProposalFactory {
|
|
|
91
95
|
case 'candidate':
|
|
92
96
|
return 'ready';
|
|
93
97
|
case 'canonical':
|
|
98
|
+
// A retained delta left the active candidate path (issue #345):
|
|
99
|
+
// no longer signable or submittable, so it is finalized from the
|
|
100
|
+
// proposal list's point of view. Whether its transaction landed is
|
|
101
|
+
// resolved by background reconciliation, surfaced via the delta
|
|
102
|
+
// status, not here.
|
|
103
|
+
case 'retained':
|
|
94
104
|
case 'discarded':
|
|
95
105
|
return 'finalized';
|
|
96
106
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"factory.js","sourceRoot":"","sources":["../../src/proposal/factory.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAQrD,MAAM,OAAO,eAAe;IACG;IAA7B,YAA6B,OAA+B;QAA/B,YAAO,GAAP,OAAO,CAAwB;IAAG,CAAC;IAEhE,eAAe,CAAC,SAAiB;QAC/B,IAAI,SAAS,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC;YACrE,OAAO;QACT,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,wCAAwC,SAAS,EAAE,CAAC,CAAC;IACvE,CAAC;IAED,gCAAgC,CAC9B,UAAkB,EAClB,eAAuB,EACvB,OAAe;QAEf,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,8BAA8B,CAAC,eAAe,CAAC,CAAC,CAAC;QAC7F,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAEtD,IAAI,gBAAgB,KAAK,kBAAkB,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACb,GAAG,OAAO,gBAAgB,gBAAgB,8BAA8B,kBAAkB,EAAE,CAC7F,CAAC;QACJ,CAAC;QAED,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED,SAAS,CACP,KAAkB,EAClB,UAAkB,EAClB,QAA2B,EAC3B,qBAA+C,EAAE;QAEjD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,oBAAoB,GAAG,IAAI,CAAC,gCAAgC,CAChE,UAAU,EACV,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EACjC,kBAAkB,CACnB,CAAC;QAEF,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,QAAQ,CACrD,QAAQ,IAAI,qBAAqB,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAC5E,CAAC;QAEF,MAAM,eAAe,GAAG,IAAI,kBAAkB,CAC5C,kBAAkB,EAClB,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,yCAAyC,oBAAoB,EAAE,CAChE,CAAC,OAAO,EAAE,CAAC;QAEZ,MAAM,gBAAgB,GACpB,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS;YAC/B,CAAC,CAAC,IAAI,kBAAkB,CACpB,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBAC5C,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;aAC/B,CAAC,CAAC,EACH,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,0CAA0C,oBAAoB,EAAE,CACjE,CAAC,OAAO,EAAE;YACb,CAAC,CAAC,EAAE,CAAC;QAET,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAExF,OAAO;YACL,EAAE,EAAE,oBAAoB;YACxB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC,YAAY,EAAE,UAAU,CAAC;YAC9E,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI;YAC5C,UAAU;YACV,QAAQ,EAAE,gBAAgB;SAC3B,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,QAA0B;QACrC,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YAClG,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC9D,CAAC;QAED,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEzC,MAAM,oBAAoB,GAAG,IAAI,CAAC,gCAAgC,CAChE,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,eAAe,EACxB,kBAAkB,CACnB,CAAC;QAEF,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,IAAI,kBAAkB,CACvC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;YACpC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,QAAQ,CAAC;YAC5C,IAAI,MAAM,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;gBAC/C,MAAM,IAAI,KAAK,CACb,6DAA6D,SAAS,CAAC,UAAU,uBAAuB,CACzG,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,QAAQ,EAAE,SAAS,CAAC,UAAU;gBAC9B,SAAS,EACP,MAAM,KAAK,OAAO;oBAChB,CAAC,CAAC;wBACE,MAAM;wBACN,SAAS,EAAE,SAAS,CAAC,YAAY;wBACjC,SAAS,EAAE,SAAS,CAAC,SAAS;qBAC/B;oBACH,CAAC,CAAC;wBACE,MAAM;wBACN,SAAS,EAAE,SAAS,CAAC,YAAY;qBAClC;gBACP,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aAC3D,CAAC;QACJ,CAAC,CAAC,EACF,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,sCAAsC,CACvC,CAAC,OAAO,EAAE,CAAC;QAEZ,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAEzF,OAAO;YACL,EAAE,EAAE,oBAAoB;YACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,MAAM,EAAE,UAAU,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACrE,SAAS,EAAE,QAAQ,CAAC,eAAe;YACnC,UAAU;YACV,QAAQ;SACT,CAAC;IACJ,CAAC;IAEO,QAAQ,CACd,MAAmB,EACnB,YAA0B,EAC1B,UAAoC;QAEpC,QAAQ,MAAM,CAAC,
|
|
1
|
+
{"version":3,"file":"factory.js","sourceRoot":"","sources":["../../src/proposal/factory.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAQrD,MAAM,OAAO,eAAe;IACG;IAA7B,YAA6B,OAA+B;QAA/B,YAAO,GAAP,OAAO,CAAwB;IAAG,CAAC;IAEhE,eAAe,CAAC,SAAiB;QAC/B,IAAI,SAAS,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC;YACrE,OAAO;QACT,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,wCAAwC,SAAS,EAAE,CAAC,CAAC;IACvE,CAAC;IAED,gCAAgC,CAC9B,UAAkB,EAClB,eAAuB,EACvB,OAAe;QAEf,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,8BAA8B,CAAC,eAAe,CAAC,CAAC,CAAC;QAC7F,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAEtD,IAAI,gBAAgB,KAAK,kBAAkB,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACb,GAAG,OAAO,gBAAgB,gBAAgB,8BAA8B,kBAAkB,EAAE,CAC7F,CAAC;QACJ,CAAC;QAED,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED,SAAS,CACP,KAAkB,EAClB,UAAkB,EAClB,QAA2B,EAC3B,qBAA+C,EAAE;QAEjD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,oBAAoB,GAAG,IAAI,CAAC,gCAAgC,CAChE,UAAU,EACV,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EACjC,kBAAkB,CACnB,CAAC;QAEF,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,QAAQ,CACrD,QAAQ,IAAI,qBAAqB,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAC5E,CAAC;QAEF,MAAM,eAAe,GAAG,IAAI,kBAAkB,CAC5C,kBAAkB,EAClB,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,yCAAyC,oBAAoB,EAAE,CAChE,CAAC,OAAO,EAAE,CAAC;QAEZ,MAAM,gBAAgB,GACpB,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS;YAC/B,CAAC,CAAC,IAAI,kBAAkB,CACpB,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBAC5C,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;aAC/B,CAAC,CAAC,EACH,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,0CAA0C,oBAAoB,EAAE,CACjE,CAAC,OAAO,EAAE;YACb,CAAC,CAAC,EAAE,CAAC;QAET,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAExF,OAAO;YACL,EAAE,EAAE,oBAAoB;YACxB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC,YAAY,EAAE,UAAU,CAAC;YAC9E,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI;YAC5C,UAAU;YACV,QAAQ,EAAE,gBAAgB;SAC3B,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,QAA0B;QACrC,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YAClG,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC9D,CAAC;QAED,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEzC,MAAM,oBAAoB,GAAG,IAAI,CAAC,gCAAgC,CAChE,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,eAAe,EACxB,kBAAkB,CACnB,CAAC;QAEF,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,IAAI,kBAAkB,CACvC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;YACpC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,QAAQ,CAAC;YAC5C,IAAI,MAAM,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;gBAC/C,MAAM,IAAI,KAAK,CACb,6DAA6D,SAAS,CAAC,UAAU,uBAAuB,CACzG,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,QAAQ,EAAE,SAAS,CAAC,UAAU;gBAC9B,SAAS,EACP,MAAM,KAAK,OAAO;oBAChB,CAAC,CAAC;wBACE,MAAM;wBACN,SAAS,EAAE,SAAS,CAAC,YAAY;wBACjC,SAAS,EAAE,SAAS,CAAC,SAAS;qBAC/B;oBACH,CAAC,CAAC;wBACE,MAAM;wBACN,SAAS,EAAE,SAAS,CAAC,YAAY;qBAClC;gBACP,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aAC3D,CAAC;QACJ,CAAC,CAAC,EACF,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAC9B,sCAAsC,CACvC,CAAC,OAAO,EAAE,CAAC;QAEZ,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAEzF,OAAO;YACL,EAAE,EAAE,oBAAoB;YACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,MAAM,EAAE,UAAU,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACrE,SAAS,EAAE,QAAQ,CAAC,eAAe;YACnC,UAAU;YACV,QAAQ;SACT,CAAC;IACJ,CAAC;IAEO,QAAQ,CACd,MAAmB,EACnB,YAA0B,EAC1B,UAAoC;QAEpC,+DAA+D;QAC/D,kEAAkE;QAClE,kEAAkE;QAClE,yDAAyD;QACzD,QAAQ,MAAM,CAAC,MAA4C,EAAE,CAAC;YAC5D,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,YAAY,CAAC,CAAC;gBAChF,OAAO,UAAU,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,CAAC;YACD,KAAK,WAAW;gBACd,OAAO,OAAO,CAAC;YACjB,KAAK,WAAW,CAAC;YACjB,gEAAgE;YAChE,iEAAiE;YACjE,mEAAmE;YACnE,gEAAgE;YAChE,oBAAoB;YACpB,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,OAAO,WAAW,CAAC;QACvB,CAAC;IACH,CAAC;CACF"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"factory.test.d.ts","sourceRoot":"","sources":["../../src/proposal/factory.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
import { describe, expect, it } from 'vitest';
|
|
2
|
+
import { ProposalFactory } from './factory.js';
|
|
3
|
+
describe('ProposalFactory.toStatus', () => {
|
|
4
|
+
const factory = new ProposalFactory({
|
|
5
|
+
accountId: '0x' + 'a'.repeat(30),
|
|
6
|
+
signerCommitments: [],
|
|
7
|
+
resolveRequiredSignatures: () => 2,
|
|
8
|
+
});
|
|
9
|
+
// TS `private` is compile-time only; the mapping is worth pinning
|
|
10
|
+
// without dragging a full tx summary through `fromDelta`.
|
|
11
|
+
const toStatus = (status) => factory
|
|
12
|
+
.toStatus(status, 'p2id', []);
|
|
13
|
+
it('maps every terminal delta status to finalized (issue #345)', () => {
|
|
14
|
+
// A retained delta left the active candidate path: no longer
|
|
15
|
+
// signable, so finalized here — whether it landed is resolved by
|
|
16
|
+
// background reconciliation via the delta status, not the proposal
|
|
17
|
+
// list.
|
|
18
|
+
expect(toStatus({ status: 'canonical', timestamp: 't' })).toBe('finalized');
|
|
19
|
+
// Cast until the published guardian-client types include `retained`.
|
|
20
|
+
expect(toStatus({
|
|
21
|
+
status: 'retained',
|
|
22
|
+
timestamp: 't',
|
|
23
|
+
reason: 'retry_exhausted',
|
|
24
|
+
})).toBe('finalized');
|
|
25
|
+
expect(toStatus({ status: 'discarded', timestamp: 't' })).toBe('finalized');
|
|
26
|
+
});
|
|
27
|
+
it('maps active statuses to pending/ready', () => {
|
|
28
|
+
expect(toStatus({ status: 'candidate', timestamp: 't' })).toBe('ready');
|
|
29
|
+
expect(toStatus({ status: 'pending', timestamp: 't', proposerId: 'p', cosignerSigs: [] })).toBe('pending');
|
|
30
|
+
});
|
|
31
|
+
});
|
|
32
|
+
//# sourceMappingURL=factory.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"factory.test.js","sourceRoot":"","sources":["../../src/proposal/factory.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,MAAM,OAAO,GAAG,IAAI,eAAe,CAAC;QAClC,SAAS,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,iBAAiB,EAAE,EAAE;QACrB,yBAAyB,EAAE,GAAG,EAAE,CAAC,CAAC;KACnC,CAAC,CAAC;IACH,kEAAkE;IAClE,0DAA0D;IAC1D,MAAM,QAAQ,GAAG,CAAC,MAAmB,EAAE,EAAE,CACtC,OAA2F;SACzF,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAElC,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,6DAA6D;QAC7D,iEAAiE;QACjE,mEAAmE;QACnE,QAAQ;QACR,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5E,qEAAqE;QACrE,MAAM,CACJ,QAAQ,CAAC;YACP,MAAM,EAAE,UAAU;YAClB,SAAS,EAAE,GAAG;YACd,MAAM,EAAE,iBAAiB;SACA,CAAC,CAC7B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpB,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxE,MAAM,CACJ,QAAQ,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CACnF,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
import { TransactionProver } from '@miden-sdk/miden-sdk';
|
|
2
|
+
export interface ProverRetryPolicy {
|
|
3
|
+
maxAttempts?: number;
|
|
4
|
+
}
|
|
5
|
+
export interface ProverConfig {
|
|
6
|
+
url?: string;
|
|
7
|
+
retry?: ProverRetryPolicy;
|
|
8
|
+
}
|
|
9
|
+
export interface ResolvedProverConfig {
|
|
10
|
+
readonly kind: 'injected' | 'remote';
|
|
11
|
+
readonly url?: string;
|
|
12
|
+
readonly maxAttempts: number;
|
|
13
|
+
createProver(): TransactionProver | undefined;
|
|
14
|
+
}
|
|
15
|
+
export declare function resolveProverConfig(config: ProverConfig | undefined, defaultProver: TransactionProver | null): ResolvedProverConfig;
|
|
16
|
+
//# sourceMappingURL=config.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/prover/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEzD,MAAM,WAAW,iBAAiB;IAChC,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,iBAAiB,CAAC;CAC3B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,CAAC;IACrC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,YAAY,IAAI,iBAAiB,GAAG,SAAS,CAAC;CAC/C;AA6BD,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,YAAY,GAAG,SAAS,EAChC,aAAa,EAAE,iBAAiB,GAAG,IAAI,GACtC,oBAAoB,CA6BtB"}
|
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
import { TransactionProver } from '@miden-sdk/miden-sdk';
|
|
2
|
+
const DEFAULT_MAX_ATTEMPTS = 2;
|
|
3
|
+
const MAX_U32 = 4_294_967_295;
|
|
4
|
+
function normalizeMaxAttempts(value) {
|
|
5
|
+
if (value === undefined) {
|
|
6
|
+
return DEFAULT_MAX_ATTEMPTS;
|
|
7
|
+
}
|
|
8
|
+
if (!Number.isFinite(value) || !Number.isInteger(value) || value < 0 || value > MAX_U32) {
|
|
9
|
+
throw new Error('prover.retry.maxAttempts must be an integer between 0 and 4294967295');
|
|
10
|
+
}
|
|
11
|
+
return Math.max(1, value);
|
|
12
|
+
}
|
|
13
|
+
function normalizeUrl(value) {
|
|
14
|
+
const trimmed = value.trim();
|
|
15
|
+
let parsed;
|
|
16
|
+
try {
|
|
17
|
+
parsed = new URL(trimmed);
|
|
18
|
+
}
|
|
19
|
+
catch {
|
|
20
|
+
throw new Error('prover.url must be an absolute HTTP(S) URL with a host');
|
|
21
|
+
}
|
|
22
|
+
if (!['http:', 'https:'].includes(parsed.protocol) || parsed.hostname === '') {
|
|
23
|
+
throw new Error('prover.url must be an absolute HTTP(S) URL with a host');
|
|
24
|
+
}
|
|
25
|
+
return parsed.href;
|
|
26
|
+
}
|
|
27
|
+
export function resolveProverConfig(config, defaultProver) {
|
|
28
|
+
const maxAttempts = normalizeMaxAttempts(config?.retry?.maxAttempts);
|
|
29
|
+
if (config?.url !== undefined) {
|
|
30
|
+
const url = normalizeUrl(config.url);
|
|
31
|
+
return {
|
|
32
|
+
kind: 'remote',
|
|
33
|
+
url,
|
|
34
|
+
maxAttempts,
|
|
35
|
+
createProver: () => TransactionProver.newRemoteProver(url),
|
|
36
|
+
};
|
|
37
|
+
}
|
|
38
|
+
const endpoint = defaultProver?.endpoint();
|
|
39
|
+
if (defaultProver === null || endpoint === undefined) {
|
|
40
|
+
return {
|
|
41
|
+
kind: 'injected',
|
|
42
|
+
maxAttempts: 1,
|
|
43
|
+
createProver: () => undefined,
|
|
44
|
+
};
|
|
45
|
+
}
|
|
46
|
+
const descriptor = defaultProver.serialize();
|
|
47
|
+
return {
|
|
48
|
+
kind: 'remote',
|
|
49
|
+
url: endpoint,
|
|
50
|
+
maxAttempts,
|
|
51
|
+
createProver: () => TransactionProver.deserialize(descriptor),
|
|
52
|
+
};
|
|
53
|
+
}
|
|
54
|
+
//# sourceMappingURL=config.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/prover/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAkBzD,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAC/B,MAAM,OAAO,GAAG,aAAa,CAAC;AAE9B,SAAS,oBAAoB,CAAC,KAAyB;IACrD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,OAAO,EAAE,CAAC;QACxF,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,MAAW,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,MAAgC,EAChC,aAAuC;IAEvC,MAAM,WAAW,GAAG,oBAAoB,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAErE,IAAI,MAAM,EAAE,GAAG,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,GAAG;YACH,WAAW;YACX,YAAY,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC;SAC3D,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,EAAE,QAAQ,EAAE,CAAC;IAC3C,IAAI,aAAa,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrD,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,CAAC;YACd,YAAY,EAAE,GAAG,EAAE,CAAC,SAAS;SAC9B,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,EAAE,CAAC;IAC7C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,GAAG,EAAE,QAAQ;QACb,WAAW;QACX,YAAY,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,UAAU,CAAC;KAC9D,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"config.test.d.ts","sourceRoot":"","sources":["../../src/prover/config.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
import { readFileSync } from 'node:fs';
|
|
2
|
+
import { describe, expect, it } from 'vitest';
|
|
3
|
+
import { resolveProverConfig } from './config.js';
|
|
4
|
+
function fixtures() {
|
|
5
|
+
return JSON.parse(readFileSync(new URL('../../../../fixtures/miden-multisig-client/prover-policy-fixtures.json', import.meta.url), 'utf8'));
|
|
6
|
+
}
|
|
7
|
+
describe('resolveProverConfig', () => {
|
|
8
|
+
it('matches shared URL vectors', () => {
|
|
9
|
+
for (const fixture of fixtures().endpoints) {
|
|
10
|
+
const resolve = () => resolveProverConfig({ url: fixture.input }, null);
|
|
11
|
+
if (fixture.valid) {
|
|
12
|
+
expect(resolve().url, fixture.input).toBe(fixture.canonical);
|
|
13
|
+
}
|
|
14
|
+
else {
|
|
15
|
+
expect(resolve, fixture.input).toThrow();
|
|
16
|
+
}
|
|
17
|
+
}
|
|
18
|
+
});
|
|
19
|
+
it('matches shared attempt-budget vectors for remote proving', () => {
|
|
20
|
+
for (const fixture of fixtures().attemptBudgets) {
|
|
21
|
+
const retry = fixture.input === null ? undefined : { maxAttempts: fixture.input };
|
|
22
|
+
const resolved = resolveProverConfig({ url: 'https://prover.example', retry }, null);
|
|
23
|
+
expect(resolved.maxAttempts).toBe(fixture.normalized);
|
|
24
|
+
}
|
|
25
|
+
});
|
|
26
|
+
it.each([-1, 1.5, Number.NaN, Number.POSITIVE_INFINITY, 4_294_967_296])('rejects invalid maxAttempts value %s', (maxAttempts) => {
|
|
27
|
+
expect(() => resolveProverConfig({ url: 'https://prover.example', retry: { maxAttempts } }, null)).toThrow('prover.retry.maxAttempts');
|
|
28
|
+
});
|
|
29
|
+
it('keeps an endpoint-less injected prover at one attempt without serializing it', () => {
|
|
30
|
+
const serialize = () => {
|
|
31
|
+
throw new Error('callback provers cannot be serialized');
|
|
32
|
+
};
|
|
33
|
+
const callback = {
|
|
34
|
+
endpoint: () => undefined,
|
|
35
|
+
serialize,
|
|
36
|
+
};
|
|
37
|
+
expect(resolveProverConfig({ retry: { maxAttempts: 5 } }, callback)).toMatchObject({
|
|
38
|
+
kind: 'injected',
|
|
39
|
+
maxAttempts: 1,
|
|
40
|
+
});
|
|
41
|
+
});
|
|
42
|
+
it('lets a custom remote URL override an injected local prover', () => {
|
|
43
|
+
const local = {
|
|
44
|
+
serialize: () => 'local',
|
|
45
|
+
endpoint: () => undefined,
|
|
46
|
+
};
|
|
47
|
+
expect(resolveProverConfig({ url: 'https://prover.example' }, local)).toMatchObject({
|
|
48
|
+
kind: 'remote',
|
|
49
|
+
url: 'https://prover.example/',
|
|
50
|
+
maxAttempts: 2,
|
|
51
|
+
});
|
|
52
|
+
});
|
|
53
|
+
});
|
|
54
|
+
//# sourceMappingURL=config.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"config.test.js","sourceRoot":"","sources":["../../src/prover/config.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEvC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAWlD,SAAS,QAAQ;IACf,OAAO,IAAI,CAAC,KAAK,CACf,YAAY,CACV,IAAI,GAAG,CACL,wEAAwE,EACxE,MAAM,CAAC,IAAI,CAAC,GAAG,CAChB,EACD,MAAM,CACP,CACU,CAAC;AAChB,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;YAC3C,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC;YACxE,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBAClB,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC/D,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC,cAAc,EAAE,CAAC;YAChD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;YAClF,MAAM,QAAQ,GAAG,mBAAmB,CAClC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,EACxC,IAAI,CACL,CAAC;YACF,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,iBAAiB,EAAE,aAAa,CAAC,CAAC,CACrE,sCAAsC,EACtC,CAAC,WAAW,EAAE,EAAE;QACd,MAAM,CAAC,GAAG,EAAE,CACV,mBAAmB,CACjB,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,EAAE,EACzD,IAAI,CACL,CACF,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACxC,CAAC,CACF,CAAC;IAEF,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,SAAS,GAAG,GAAG,EAAE;YACrB,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC,CAAC;QACF,MAAM,QAAQ,GAAG;YACf,QAAQ,EAAE,GAAG,EAAE,CAAC,SAAS;YACzB,SAAS;SACsB,CAAC;QAElC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC;YACjF,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,CAAC;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG;YACZ,SAAS,EAAE,GAAG,EAAE,CAAC,OAAO;YACxB,QAAQ,EAAE,GAAG,EAAE,CAAC,SAAS;SACM,CAAC;QAClC,MAAM,CACJ,mBAAmB,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,EAAE,KAAK,CAAC,CAC9D,CAAC,aAAa,CAAC;YACd,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,yBAAyB;YAC9B,WAAW,EAAE,CAAC;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/prover/errors.ts"],"names":[],"mappings":"AA4HA,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAqD9D"}
|
|
@@ -0,0 +1,158 @@
|
|
|
1
|
+
const TRANSIENT_GRPC = new Set([
|
|
2
|
+
'cancelled',
|
|
3
|
+
'canceled',
|
|
4
|
+
'deadlineexceeded',
|
|
5
|
+
'unavailable',
|
|
6
|
+
'resourceexhausted',
|
|
7
|
+
]);
|
|
8
|
+
const PERMANENT_GRPC = new Set([
|
|
9
|
+
'invalidargument',
|
|
10
|
+
'failedprecondition',
|
|
11
|
+
'permissiondenied',
|
|
12
|
+
'unauthenticated',
|
|
13
|
+
'notfound',
|
|
14
|
+
'alreadyexists',
|
|
15
|
+
'outofrange',
|
|
16
|
+
'unimplemented',
|
|
17
|
+
'aborted',
|
|
18
|
+
'internal',
|
|
19
|
+
'dataloss',
|
|
20
|
+
]);
|
|
21
|
+
const TRANSIENT_HTTP = new Set([408, 429, 502, 503, 504]);
|
|
22
|
+
const NUMERIC_GRPC_CODES = new Map([
|
|
23
|
+
[0, 'ok'],
|
|
24
|
+
[1, 'cancelled'],
|
|
25
|
+
[2, 'unknown'],
|
|
26
|
+
[3, 'invalidargument'],
|
|
27
|
+
[4, 'deadlineexceeded'],
|
|
28
|
+
[5, 'notfound'],
|
|
29
|
+
[6, 'alreadyexists'],
|
|
30
|
+
[7, 'permissiondenied'],
|
|
31
|
+
[8, 'resourceexhausted'],
|
|
32
|
+
[9, 'failedprecondition'],
|
|
33
|
+
[10, 'aborted'],
|
|
34
|
+
[11, 'outofrange'],
|
|
35
|
+
[12, 'unimplemented'],
|
|
36
|
+
[13, 'internal'],
|
|
37
|
+
[14, 'unavailable'],
|
|
38
|
+
[15, 'dataloss'],
|
|
39
|
+
[16, 'unauthenticated'],
|
|
40
|
+
]);
|
|
41
|
+
function normalizeCode(value) {
|
|
42
|
+
if (typeof value === 'number') {
|
|
43
|
+
return NUMERIC_GRPC_CODES.get(value);
|
|
44
|
+
}
|
|
45
|
+
return typeof value === 'string' ? value.replaceAll(/[\s_-]/g, '').toLowerCase() : undefined;
|
|
46
|
+
}
|
|
47
|
+
function grpcEvidence(value) {
|
|
48
|
+
const code = normalizeCode(value);
|
|
49
|
+
if (code === undefined) {
|
|
50
|
+
return undefined;
|
|
51
|
+
}
|
|
52
|
+
if (TRANSIENT_GRPC.has(code)) {
|
|
53
|
+
return 'transient';
|
|
54
|
+
}
|
|
55
|
+
if (PERMANENT_GRPC.has(code)) {
|
|
56
|
+
return 'permanent';
|
|
57
|
+
}
|
|
58
|
+
if (code === 'unknown' || code === 'ok') {
|
|
59
|
+
return 'indeterminate';
|
|
60
|
+
}
|
|
61
|
+
return undefined;
|
|
62
|
+
}
|
|
63
|
+
function httpEvidence(value) {
|
|
64
|
+
if (typeof value !== 'number' || !Number.isInteger(value) || value < 400 || value > 599) {
|
|
65
|
+
return undefined;
|
|
66
|
+
}
|
|
67
|
+
return TRANSIENT_HTTP.has(value) ? 'transient' : 'permanent';
|
|
68
|
+
}
|
|
69
|
+
function httpMessageEvidence(message) {
|
|
70
|
+
let hasTransient = false;
|
|
71
|
+
for (const match of message.matchAll(/(?:\bhttp(?:\s+status)?|\bstatus\s*:?)\s*(\d{3})\b/g)) {
|
|
72
|
+
const evidence = httpEvidence(Number(match[1]));
|
|
73
|
+
if (evidence === 'permanent') {
|
|
74
|
+
return 'permanent';
|
|
75
|
+
}
|
|
76
|
+
hasTransient ||= evidence === 'transient';
|
|
77
|
+
}
|
|
78
|
+
return hasTransient ? 'transient' : undefined;
|
|
79
|
+
}
|
|
80
|
+
function flattenedTransient(message) {
|
|
81
|
+
return [
|
|
82
|
+
'cancelled',
|
|
83
|
+
'canceled',
|
|
84
|
+
'deadline exceeded',
|
|
85
|
+
'timeout',
|
|
86
|
+
'unavailable',
|
|
87
|
+
'resource exhausted',
|
|
88
|
+
'request timeout',
|
|
89
|
+
'too many requests',
|
|
90
|
+
'rate limited',
|
|
91
|
+
'rate limit',
|
|
92
|
+
'bad gateway',
|
|
93
|
+
'service unavailable',
|
|
94
|
+
'gateway timeout',
|
|
95
|
+
'i/o timeout',
|
|
96
|
+
'io timeout',
|
|
97
|
+
'connection reset',
|
|
98
|
+
'broken pipe',
|
|
99
|
+
].some((signal) => message.includes(signal));
|
|
100
|
+
}
|
|
101
|
+
function asRecord(value) {
|
|
102
|
+
return typeof value === 'object' && value !== null ? value : undefined;
|
|
103
|
+
}
|
|
104
|
+
export function isTransientProverError(error) {
|
|
105
|
+
const seen = new Set();
|
|
106
|
+
const messages = [];
|
|
107
|
+
let hasTransient = false;
|
|
108
|
+
let hasPermanent = false;
|
|
109
|
+
let current = error;
|
|
110
|
+
while (current !== undefined && current !== null) {
|
|
111
|
+
const record = asRecord(current);
|
|
112
|
+
if (record !== undefined) {
|
|
113
|
+
if (seen.has(record)) {
|
|
114
|
+
break;
|
|
115
|
+
}
|
|
116
|
+
seen.add(record);
|
|
117
|
+
for (const evidence of [
|
|
118
|
+
grpcEvidence(record.code),
|
|
119
|
+
httpEvidence(record.status),
|
|
120
|
+
httpEvidence(record.statusCode),
|
|
121
|
+
]) {
|
|
122
|
+
hasTransient ||= evidence === 'transient';
|
|
123
|
+
hasPermanent ||= evidence === 'permanent';
|
|
124
|
+
}
|
|
125
|
+
if (typeof record.message === 'string') {
|
|
126
|
+
const message = record.message.toLowerCase();
|
|
127
|
+
messages.push(message);
|
|
128
|
+
const evidence = httpMessageEvidence(message);
|
|
129
|
+
hasTransient ||= evidence === 'transient';
|
|
130
|
+
hasPermanent ||= evidence === 'permanent';
|
|
131
|
+
}
|
|
132
|
+
else {
|
|
133
|
+
const message = String(current).toLowerCase();
|
|
134
|
+
messages.push(message);
|
|
135
|
+
const evidence = httpMessageEvidence(message);
|
|
136
|
+
hasTransient ||= evidence === 'transient';
|
|
137
|
+
hasPermanent ||= evidence === 'permanent';
|
|
138
|
+
}
|
|
139
|
+
current = record.cause;
|
|
140
|
+
}
|
|
141
|
+
else {
|
|
142
|
+
const message = String(current).toLowerCase();
|
|
143
|
+
messages.push(message);
|
|
144
|
+
const evidence = httpMessageEvidence(message);
|
|
145
|
+
hasTransient ||= evidence === 'transient';
|
|
146
|
+
hasPermanent ||= evidence === 'permanent';
|
|
147
|
+
break;
|
|
148
|
+
}
|
|
149
|
+
}
|
|
150
|
+
if (hasPermanent) {
|
|
151
|
+
return false;
|
|
152
|
+
}
|
|
153
|
+
if (hasTransient) {
|
|
154
|
+
return true;
|
|
155
|
+
}
|
|
156
|
+
return messages.some(flattenedTransient);
|
|
157
|
+
}
|
|
158
|
+
//# sourceMappingURL=errors.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/prover/errors.ts"],"names":[],"mappings":"AAUA,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,WAAW;IACX,UAAU;IACV,kBAAkB;IAClB,aAAa;IACb,mBAAmB;CACpB,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,iBAAiB;IACjB,oBAAoB;IACpB,kBAAkB;IAClB,iBAAiB;IACjB,UAAU;IACV,eAAe;IACf,YAAY;IACZ,eAAe;IACf,SAAS;IACT,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAiB;IACjD,CAAC,CAAC,EAAE,IAAI,CAAC;IACT,CAAC,CAAC,EAAE,WAAW,CAAC;IAChB,CAAC,CAAC,EAAE,SAAS,CAAC;IACd,CAAC,CAAC,EAAE,iBAAiB,CAAC;IACtB,CAAC,CAAC,EAAE,kBAAkB,CAAC;IACvB,CAAC,CAAC,EAAE,UAAU,CAAC;IACf,CAAC,CAAC,EAAE,eAAe,CAAC;IACpB,CAAC,CAAC,EAAE,kBAAkB,CAAC;IACvB,CAAC,CAAC,EAAE,mBAAmB,CAAC;IACxB,CAAC,CAAC,EAAE,oBAAoB,CAAC;IACzB,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,YAAY,CAAC;IAClB,CAAC,EAAE,EAAE,eAAe,CAAC;IACrB,CAAC,EAAE,EAAE,UAAU,CAAC;IAChB,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,UAAU,CAAC;IAChB,CAAC,EAAE,EAAE,iBAAiB,CAAC;CACxB,CAAC,CAAC;AAEH,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/F,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QACxF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC;AAC/D,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAe;IAC1C,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,CAClC,qDAAqD,CACtD,EAAE,CAAC;QACF,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;YAC7B,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;IAC5C,CAAC;IACD,OAAO,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAChD,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO;QACL,WAAW;QACX,UAAU;QACV,mBAAmB;QACnB,SAAS;QACT,aAAa;QACb,oBAAoB;QACpB,iBAAiB;QACjB,mBAAmB;QACnB,cAAc;QACd,YAAY;QACZ,aAAa;QACb,qBAAqB;QACrB,iBAAiB;QACjB,aAAa;QACb,YAAY;QACZ,kBAAkB;QAClB,aAAa;KACd,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAoB,CAAC,CAAC,CAAC,SAAS,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,OAAO,GAAY,KAAK,CAAC;IAE7B,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrB,MAAM;YACR,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjB,KAAK,MAAM,QAAQ,IAAI;gBACrB,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;gBACzB,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC3B,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;aAChC,EAAE,CAAC;gBACF,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;gBAC1C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;YAC5C,CAAC;YACD,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACvC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;gBAC7C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;gBAC9C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;gBAC1C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC9C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;gBAC9C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;gBAC1C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;YAC5C,CAAC;YACD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;YAC9C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAC9C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;YAC1C,YAAY,KAAK,QAAQ,KAAK,WAAW,CAAC;YAC1C,MAAM;QACR,CAAC;IACH,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;AAC3C,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"errors.test.d.ts","sourceRoot":"","sources":["../../src/prover/errors.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import { readFileSync } from 'node:fs';
|
|
2
|
+
import { describe, expect, it } from 'vitest';
|
|
3
|
+
import { isTransientProverError } from './errors.js';
|
|
4
|
+
function fixtures() {
|
|
5
|
+
return JSON.parse(readFileSync(new URL('../../../../fixtures/miden-multisig-client/prover-policy-fixtures.json', import.meta.url), 'utf8'));
|
|
6
|
+
}
|
|
7
|
+
describe('isTransientProverError', () => {
|
|
8
|
+
it('matches every shared classification vector', () => {
|
|
9
|
+
for (const fixture of fixtures().classifications) {
|
|
10
|
+
const error = fixture.chain.reduceRight((cause, item) => ({ ...item, cause }), undefined);
|
|
11
|
+
expect(isTransientProverError(error), fixture.name).toBe(fixture.transient);
|
|
12
|
+
}
|
|
13
|
+
});
|
|
14
|
+
it('stops safely on cyclic cause graphs', () => {
|
|
15
|
+
const error = { code: 'Unknown', message: 'not retryable' };
|
|
16
|
+
error.cause = error;
|
|
17
|
+
expect(isTransientProverError(error)).toBe(false);
|
|
18
|
+
});
|
|
19
|
+
it('recognizes numeric gRPC status codes', () => {
|
|
20
|
+
expect(isTransientProverError({ code: 14, message: 'unavailable' })).toBe(true);
|
|
21
|
+
expect(isTransientProverError({ code: 3, message: 'timeout text' })).toBe(false);
|
|
22
|
+
});
|
|
23
|
+
});
|
|
24
|
+
//# sourceMappingURL=errors.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"errors.test.js","sourceRoot":"","sources":["../../src/prover/errors.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAiBrD,SAAS,QAAQ;IACf,OAAO,IAAI,CAAC,KAAK,CACf,YAAY,CACV,IAAI,GAAG,CACL,wEAAwE,EACxE,MAAM,CAAC,IAAI,CAAC,GAAG,CAChB,EACD,MAAM,CACP,CACU,CAAC;AAChB,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC,eAAe,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CACrC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,EACrC,SAAS,CACV,CAAC;YACF,MAAM,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;QAC1E,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;QACpB,MAAM,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,MAAM,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
import type { TransactionExecution, TransactionProof } from '@miden-sdk/miden-sdk';
|
|
2
|
+
import type { ResolvedProverConfig } from './config.js';
|
|
3
|
+
export interface RetryRuntime {
|
|
4
|
+
sleep(delayMs: number): Promise<void>;
|
|
5
|
+
unitRandom(): number;
|
|
6
|
+
}
|
|
7
|
+
export declare const productionRetryRuntime: RetryRuntime;
|
|
8
|
+
export declare function retryDelay(retryIndex: number, unitRandom: number): number;
|
|
9
|
+
export declare function proveWithRetry(execution: TransactionExecution, config: ResolvedProverConfig, runtime?: RetryRuntime): Promise<TransactionProof>;
|
|
10
|
+
//# sourceMappingURL=retry.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"retry.d.ts","sourceRoot":"","sources":["../../src/prover/retry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAMxD,MAAM,WAAW,YAAY;IAC3B,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,UAAU,IAAI,MAAM,CAAC;CACtB;AAED,eAAO,MAAM,sBAAsB,EAAE,YAGpC,CAAC;AAEF,wBAAgB,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAMzE;AAED,wBAAsB,cAAc,CAClC,SAAS,EAAE,oBAAoB,EAC/B,MAAM,EAAE,oBAAoB,EAC5B,OAAO,GAAE,YAAqC,GAC7C,OAAO,CAAC,gBAAgB,CAAC,CAgB3B"}
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
import { isTransientProverError } from './errors.js';
|
|
2
|
+
const BASE_DELAY_MS = 500;
|
|
3
|
+
const MAX_DELAY_MS = 8_000;
|
|
4
|
+
export const productionRetryRuntime = {
|
|
5
|
+
sleep: (delayMs) => new Promise((resolve) => setTimeout(resolve, delayMs)),
|
|
6
|
+
unitRandom: () => Math.random(),
|
|
7
|
+
};
|
|
8
|
+
export function retryDelay(retryIndex, unitRandom) {
|
|
9
|
+
const exponent = Math.min(retryIndex, 1023);
|
|
10
|
+
const raw = BASE_DELAY_MS * 2 ** exponent;
|
|
11
|
+
const finiteRandom = Number.isFinite(unitRandom) ? unitRandom : 0.5;
|
|
12
|
+
const boundedRandom = Math.min(Math.max(finiteRandom, 0), 1 - Number.EPSILON);
|
|
13
|
+
return Math.min(Math.floor(raw * (0.75 + boundedRandom * 0.5)), MAX_DELAY_MS);
|
|
14
|
+
}
|
|
15
|
+
export async function proveWithRetry(execution, config, runtime = productionRetryRuntime) {
|
|
16
|
+
for (let attempt = 0; attempt < config.maxAttempts; attempt += 1) {
|
|
17
|
+
try {
|
|
18
|
+
const prover = config.createProver();
|
|
19
|
+
return prover === undefined
|
|
20
|
+
? await execution.prove()
|
|
21
|
+
: await execution.prove({ prover });
|
|
22
|
+
}
|
|
23
|
+
catch (error) {
|
|
24
|
+
if (!isTransientProverError(error) || attempt + 1 >= config.maxAttempts) {
|
|
25
|
+
throw error;
|
|
26
|
+
}
|
|
27
|
+
await runtime.sleep(retryDelay(attempt, runtime.unitRandom()));
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
throw new Error('unreachable prover retry state');
|
|
31
|
+
}
|
|
32
|
+
//# sourceMappingURL=retry.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"retry.js","sourceRoot":"","sources":["../../src/prover/retry.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAErD,MAAM,aAAa,GAAG,GAAG,CAAC;AAC1B,MAAM,YAAY,GAAG,KAAK,CAAC;AAO3B,MAAM,CAAC,MAAM,sBAAsB,GAAiB;IAClD,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1E,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE;CAChC,CAAC;AAEF,MAAM,UAAU,UAAU,CAAC,UAAkB,EAAE,UAAkB;IAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,aAAa,GAAG,CAAC,IAAI,QAAQ,CAAC;IAC1C,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC;IACpE,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9E,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,GAAG,aAAa,GAAG,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,SAA+B,EAC/B,MAA4B,EAC5B,UAAwB,sBAAsB;IAE9C,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC,WAAW,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;YACrC,OAAO,MAAM,KAAK,SAAS;gBACzB,CAAC,CAAC,MAAM,SAAS,CAAC,KAAK,EAAE;gBACzB,CAAC,CAAC,MAAM,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACxC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACxE,MAAM,KAAK,CAAC;YACd,CAAC;YACD,MAAM,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;AACpD,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"retry.test.d.ts","sourceRoot":"","sources":["../../src/prover/retry.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
import { readFileSync } from 'node:fs';
|
|
2
|
+
import { describe, expect, it } from 'vitest';
|
|
3
|
+
import { retryDelay } from './retry.js';
|
|
4
|
+
function fixtures() {
|
|
5
|
+
return JSON.parse(readFileSync(new URL('../../../../fixtures/miden-multisig-client/prover-policy-fixtures.json', import.meta.url), 'utf8'));
|
|
6
|
+
}
|
|
7
|
+
describe('retryDelay', () => {
|
|
8
|
+
it('matches every shared delay vector', () => {
|
|
9
|
+
for (const fixture of fixtures().delays) {
|
|
10
|
+
expect(retryDelay(fixture.retryIndex, fixture.unitRandom)).toBe(fixture.delayMs);
|
|
11
|
+
}
|
|
12
|
+
});
|
|
13
|
+
it('remains capped after numeric overflow', () => {
|
|
14
|
+
expect(retryDelay(Number.MAX_SAFE_INTEGER, 0.5)).toBe(8_000);
|
|
15
|
+
});
|
|
16
|
+
it.each([Number.NaN, Number.POSITIVE_INFINITY, Number.NEGATIVE_INFINITY])('uses neutral jitter for non-finite randomness', (unitRandom) => {
|
|
17
|
+
expect(retryDelay(0, unitRandom)).toBe(500);
|
|
18
|
+
});
|
|
19
|
+
});
|
|
20
|
+
//# sourceMappingURL=retry.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"retry.test.js","sourceRoot":"","sources":["../../src/prover/retry.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAMxC,SAAS,QAAQ;IACf,OAAO,IAAI,CAAC,KAAK,CACf,YAAY,CACV,IAAI,GAAG,CACL,wEAAwE,EACxE,MAAM,CAAC,IAAI,CAAC,GAAG,CAChB,EACD,MAAM,CACP,CACU,CAAC;AAChB,CAAC;AAED,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC;YACxC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC,CACvE,+CAA+C,EAC/C,CAAC,UAAU,EAAE,EAAE;QACb,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,CACF,CAAC;AACJ,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import type { AccountId, MidenClient, TransactionRequest } from '@miden-sdk/miden-sdk';
|
|
2
|
+
import type { ResolvedProverConfig } from './config.js';
|
|
3
|
+
import type { RetryRuntime } from './retry.js';
|
|
4
|
+
export declare class ProverWorkflow {
|
|
5
|
+
private readonly client;
|
|
6
|
+
private readonly config;
|
|
7
|
+
private readonly runtime?;
|
|
8
|
+
constructor(client: MidenClient, config: ResolvedProverConfig, runtime?: RetryRuntime | undefined);
|
|
9
|
+
submit(accountId: AccountId, request: TransactionRequest): Promise<void>;
|
|
10
|
+
}
|
|
11
|
+
//# sourceMappingURL=workflow.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["../../src/prover/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AACvF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG/C,qBAAa,cAAc;IAEvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAFR,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,oBAAoB,EAC5B,OAAO,CAAC,EAAE,YAAY,YAAA;IAGnC,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC;CAM/E"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
import { proveWithRetry } from './retry.js';
|
|
2
|
+
export class ProverWorkflow {
|
|
3
|
+
client;
|
|
4
|
+
config;
|
|
5
|
+
runtime;
|
|
6
|
+
constructor(client, config, runtime) {
|
|
7
|
+
this.client = client;
|
|
8
|
+
this.config = config;
|
|
9
|
+
this.runtime = runtime;
|
|
10
|
+
}
|
|
11
|
+
async submit(accountId, request) {
|
|
12
|
+
const execution = await this.client.transactions.executeRequest(accountId, request);
|
|
13
|
+
const proof = await proveWithRetry(execution, this.config, this.runtime);
|
|
14
|
+
const submission = await proof.submit();
|
|
15
|
+
await submission.apply();
|
|
16
|
+
}
|
|
17
|
+
}
|
|
18
|
+
//# sourceMappingURL=workflow.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../../src/prover/workflow.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,MAAM,OAAO,cAAc;IAEN;IACA;IACA;IAHnB,YACmB,MAAmB,EACnB,MAA4B,EAC5B,OAAsB;QAFtB,WAAM,GAAN,MAAM,CAAa;QACnB,WAAM,GAAN,MAAM,CAAsB;QAC5B,YAAO,GAAP,OAAO,CAAe;IACtC,CAAC;IAEJ,KAAK,CAAC,MAAM,CAAC,SAAoB,EAAE,OAA2B;QAC5D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACpF,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;QACxC,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;CACF"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"workflow.test.d.ts","sourceRoot":"","sources":["../../src/prover/workflow.test.ts"],"names":[],"mappings":""}
|