@openzeppelin/miden-multisig-client 0.14.9 → 0.15.0-rc.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.
- package/dist/account/builder.d.ts.map +1 -1
- package/dist/account/builder.js +4 -3
- package/dist/account/builder.js.map +1 -1
- package/dist/account/builder.test.js +0 -3
- package/dist/account/builder.test.js.map +1 -1
- package/dist/account/masm/auth.d.ts +2 -2
- package/dist/account/masm/auth.d.ts.map +1 -1
- package/dist/account/masm/auth.js +22 -10
- package/dist/account/masm/auth.js.map +1 -1
- package/dist/account/masm/authLibraries.d.ts +6 -0
- package/dist/account/masm/authLibraries.d.ts.map +1 -0
- package/dist/account/masm/authLibraries.js +17 -0
- package/dist/account/masm/authLibraries.js.map +1 -0
- package/dist/lookupAuth.d.ts +4 -3
- package/dist/lookupAuth.d.ts.map +1 -1
- package/dist/lookupAuth.js +8 -7
- package/dist/lookupAuth.js.map +1 -1
- package/dist/lookupAuth.test.js +3 -2
- package/dist/lookupAuth.test.js.map +1 -1
- package/dist/multisig.d.ts.map +1 -1
- package/dist/multisig.js +34 -13
- package/dist/multisig.js.map +1 -1
- package/dist/multisig.test.js +118 -4
- package/dist/multisig.test.js.map +1 -1
- package/dist/procedures.d.ts +7 -7
- package/dist/procedures.js +7 -7
- package/dist/raw-client.d.ts.map +1 -1
- package/dist/raw-client.js +4 -4
- package/dist/raw-client.js.map +1 -1
- package/dist/transaction/updateProcedureThreshold.d.ts.map +1 -1
- package/dist/transaction/updateProcedureThreshold.js +10 -4
- package/dist/transaction/updateProcedureThreshold.js.map +1 -1
- package/dist/transaction/updateSigners.d.ts.map +1 -1
- package/dist/transaction/updateSigners.js +9 -3
- package/dist/transaction/updateSigners.js.map +1 -1
- package/dist/utils/digest.d.ts.map +1 -1
- package/dist/utils/digest.js +4 -3
- package/dist/utils/digest.js.map +1 -1
- package/dist/utils/felt.d.ts +12 -0
- package/dist/utils/felt.d.ts.map +1 -0
- package/dist/utils/felt.js +19 -0
- package/dist/utils/felt.js.map +1 -0
- package/dist/utils/index.d.ts +1 -0
- package/dist/utils/index.d.ts.map +1 -1
- package/dist/utils/index.js +1 -0
- package/dist/utils/index.js.map +1 -1
- package/dist/utils/word.d.ts.map +1 -1
- package/dist/utils/word.js +7 -2
- package/dist/utils/word.js.map +1 -1
- package/masm/auth/multisig.masm +11 -5
- package/masm/auth/multisig_ecdsa.masm +11 -5
- package/package.json +3 -3
- package/src/account/builder.test.ts +0 -3
- package/src/account/builder.ts +3 -3
- package/src/account/masm/auth.ts +22 -10
- package/src/lookupAuth.test.ts +3 -2
- package/src/lookupAuth.ts +7 -6
- package/src/multisig.test.ts +123 -4
- package/src/multisig.ts +38 -14
- package/src/procedures.ts +7 -7
- package/src/raw-client.ts +4 -4
- package/src/transaction/updateProcedureThreshold.ts +16 -7
- package/src/transaction/updateSigners.ts +15 -6
- package/src/utils/digest.ts +4 -3
- package/src/utils/felt.ts +20 -0
- package/src/utils/index.ts +1 -0
- package/src/utils/word.ts +8 -2
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../src/account/builder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,
|
|
1
|
+
{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../src/account/builder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAIL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAevE;;;;;;GAMG;AACH,wBAAsB,qBAAqB,CACzC,WAAW,EAAE,WAAW,EACxB,MAAM,EAAE,cAAc,EACtB,gBAAgB,CAAC,EAAE,MAAM,GACxB,OAAO,CAAC,mBAAmB,CAAC,CAqD9B;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI,CA6CnE"}
|
package/dist/account/builder.js
CHANGED
|
@@ -3,7 +3,7 @@
|
|
|
3
3
|
*
|
|
4
4
|
* This module provides functionality to create multisig accounts.
|
|
5
5
|
*/
|
|
6
|
-
import { AccountBuilder, AccountComponent,
|
|
6
|
+
import { AccountBuilder, AccountComponent, AccountStorageMode, } from '@miden-sdk/miden-sdk';
|
|
7
7
|
import { getRawMidenClient } from '../raw-client.js';
|
|
8
8
|
import { buildMultisigStorageSlots, buildGuardianStorageSlots } from './storage.js';
|
|
9
9
|
import { MULTISIG_ECDSA_MASM, MULTISIG_MASM, GUARDIAN_ECDSA_MASM, GUARDIAN_MASM, } from './masm/auth.js';
|
|
@@ -35,7 +35,7 @@ export async function createMultisigAccount(midenClient, config, midenRpcEndpoin
|
|
|
35
35
|
const multisigLibraryPath = signatureScheme === 'ecdsa'
|
|
36
36
|
? 'openzeppelin::auth::multisig_ecdsa'
|
|
37
37
|
: 'openzeppelin::auth::multisig';
|
|
38
|
-
const authBuilder = rawClient.createCodeBuilder();
|
|
38
|
+
const authBuilder = await rawClient.createCodeBuilder();
|
|
39
39
|
authBuilder.linkModule(guardianLibraryPath, guardianMasm);
|
|
40
40
|
authBuilder.linkModule(multisigLibraryPath, multisigMasm);
|
|
41
41
|
const authComponentCode = authBuilder.compileAccountComponentCode(authComponentMasm);
|
|
@@ -50,8 +50,9 @@ export async function createMultisigAccount(midenClient, config, midenRpcEndpoin
|
|
|
50
50
|
const storageMode = config.storageMode === 'public'
|
|
51
51
|
? AccountStorageMode.public()
|
|
52
52
|
: AccountStorageMode.private();
|
|
53
|
+
// Miden 0.15: the account-ID no longer encodes account type; visibility is set
|
|
54
|
+
// via `storageMode()`, so the former `.accountType(...)` call is gone.
|
|
53
55
|
const accountBuilder = new AccountBuilder(seed)
|
|
54
|
-
.accountType(AccountType.RegularAccountUpdatableCode)
|
|
55
56
|
.storageMode(storageMode)
|
|
56
57
|
.withAuthComponent(authComponent)
|
|
57
58
|
.withBasicWalletComponent();
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"builder.js","sourceRoot":"","sources":["../../src/account/builder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,
|
|
1
|
+
{"version":3,"file":"builder.js","sourceRoot":"","sources":["../../src/account/builder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,kBAAkB,GAEnB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,yBAAyB,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACpF,OAAO,EACL,mBAAmB,EACnB,aAAa,EACb,mBAAmB,EACnB,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,wCAAwC,EACxC,8CAA8C,GAC/C,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAElE;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,WAAwB,EACxB,MAAsB,EACtB,gBAAyB;IAEzB,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,IAAI,QAAQ,CAAC;IAC3D,MAAM,SAAS,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG;QAChB,GAAG,yBAAyB,CAAC,MAAM,CAAC;QACpC,GAAG,yBAAyB,CAAC,MAAM,CAAC;KACrC,CAAC;IACF,MAAM,YAAY,GAAG,eAAe,KAAK,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,aAAa,CAAC;IACvF,MAAM,YAAY,GAAG,eAAe,KAAK,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,aAAa,CAAC;IACvF,MAAM,iBAAiB,GAAG,eAAe,KAAK,OAAO;QACnD,CAAC,CAAC,8CAA8C;QAChD,CAAC,CAAC,wCAAwC,CAAC;IAC7C,MAAM,mBAAmB,GAAG,eAAe,KAAK,OAAO;QACrD,CAAC,CAAC,oCAAoC;QACtC,CAAC,CAAC,8BAA8B,CAAC;IACnC,MAAM,mBAAmB,GAAG,eAAe,KAAK,OAAO;QACrD,CAAC,CAAC,oCAAoC;QACtC,CAAC,CAAC,8BAA8B,CAAC;IAEnC,MAAM,WAAW,GAAG,MAAM,SAAS,CAAC,iBAAiB,EAAE,CAAC;IACxD,WAAW,CAAC,UAAU,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAAC;IAC1D,WAAW,CAAC,UAAU,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAAC;IAC1D,MAAM,iBAAiB,GAAG,WAAW,CAAC,2BAA2B,CAAC,iBAAiB,CAAC,CAAC;IACrF,MAAM,aAAa,GAAG,gBAAgB;SACnC,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC;SACrC,oBAAoB,EAAE,CAAC;IAE1B,IAAI,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACvB,uCAAuC;IACvC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,KAAK,QAAQ;QACjD,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;QAC7B,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,CAAC;IAEjC,+EAA+E;IAC/E,uEAAuE;IACvE,MAAM,cAAc,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC;SAC5C,WAAW,CAAC,WAAW,CAAC;SACxB,iBAAiB,CAAC,aAAa,CAAC;SAChC,wBAAwB,EAAE,CAAC;IAE9B,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,CAAC;IAEtC,MAAM,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAEjF,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,IAAI;KACL,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC3D,IAAI,MAAM,CAAC,SAAS,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,KAAK,MAAM,gBAAgB,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACxD,MAAM,oBAAoB,GAAG,yBAAyB,CAAC,gBAAgB,CAAC,CAAC;QACzE,IAAI,iBAAiB,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,gCAAgC,oBAAoB,EAAE,CAAC,CAAC;QAC1E,CAAC;QACD,iBAAiB,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAC9C,CAAC;IAED,IAAI,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC;QACvD,MAAM,IAAI,KAAK,CACb,cAAc,MAAM,CAAC,SAAS,sCAAsC,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CACvG,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IAED,4CAA4C;IAC5C,IAAI,MAAM,CAAC,mBAAmB,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,mBAAmB,EAAE,CAAC;YAC5C,IAAI,EAAE,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAC5D,CAAC;YACD,IAAI,EAAE,CAAC,SAAS,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC;gBACnD,MAAM,IAAI,KAAK,CACb,wBAAwB,EAAE,CAAC,SAAS,sCAAsC,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAC7G,CAAC;YACJ,CAAC;YAED,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CAAC,sCAAsC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;YACxE,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;AACH,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"builder.test.js","sourceRoot":"","sources":["../../src/account/builder.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EACL,mBAAmB,EACnB,aAAa,EACb,mBAAmB,EACnB,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,wCAAwC,EACxC,8CAA8C,GAC/C,MAAM,mCAAmC,CAAC;AAE3C,MAAM,EACJ,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,gBAAgB,EAChB,kBAAkB,GACnB,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE;IAClB,MAAM,yBAAyB,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAClE,MAAM,yBAAyB,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAClE,MAAM,oBAAoB,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7D,MAAM,gBAAgB,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/C,IAAI;QACJ,KAAK;QACL,oBAAoB,EAAE,GAAG,EAAE,CAAC,oBAAoB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;KAClE,CAAC,CAAC,CAAC;IAEJ,MAAM,kBAAkB;QACtB,WAAW;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QAED,WAAW;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QAED,iBAAiB;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QAED,aAAa;YACX,OAAO,IAAI,CAAC;QACd,CAAC;QAED,wBAAwB;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK;YACH,OAAO;gBACL,OAAO,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;aACnE,CAAC;QACJ,CAAC;KACF;IAED,OAAO;QACL,yBAAyB;QACzB,yBAAyB;QACzB,oBAAoB;QACpB,gBAAgB;QAChB,kBAAkB;KACnB,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7B,yBAAyB;IACzB,yBAAyB;CAC1B,CAAC,CAAC,CAAC;AAEJ,EAAE,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC;IACrC,cAAc,EAAE,kBAAkB;IAClC,gBAAgB,EAAE;QAChB,OAAO,EAAE,gBAAgB;KAC1B;IACD,
|
|
1
|
+
{"version":3,"file":"builder.test.js","sourceRoot":"","sources":["../../src/account/builder.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EACL,mBAAmB,EACnB,aAAa,EACb,mBAAmB,EACnB,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,wCAAwC,EACxC,8CAA8C,GAC/C,MAAM,mCAAmC,CAAC;AAE3C,MAAM,EACJ,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,gBAAgB,EAChB,kBAAkB,GACnB,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE;IAClB,MAAM,yBAAyB,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAClE,MAAM,yBAAyB,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAClE,MAAM,oBAAoB,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7D,MAAM,gBAAgB,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/C,IAAI;QACJ,KAAK;QACL,oBAAoB,EAAE,GAAG,EAAE,CAAC,oBAAoB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;KAClE,CAAC,CAAC,CAAC;IAEJ,MAAM,kBAAkB;QACtB,WAAW;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QAED,WAAW;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QAED,iBAAiB;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QAED,aAAa;YACX,OAAO,IAAI,CAAC;QACd,CAAC;QAED,wBAAwB;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK;YACH,OAAO;gBACL,OAAO,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;aACnE,CAAC;QACJ,CAAC;KACF;IAED,OAAO;QACL,yBAAyB;QACzB,yBAAyB;QACzB,oBAAoB;QACpB,gBAAgB;QAChB,kBAAkB;KACnB,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7B,yBAAyB;IACzB,yBAAyB;CAC1B,CAAC,CAAC,CAAC;AAEJ,EAAE,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC;IACrC,cAAc,EAAE,kBAAkB;IAClC,gBAAgB,EAAE;QAChB,OAAO,EAAE,gBAAgB;KAC1B;IACD,kBAAkB,EAAE;QAClB,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ;QACtB,OAAO,EAAE,GAAG,EAAE,CAAC,SAAS;KACzB;CACF,CAAC,CAAC,CAAC;AAEJ,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,UAAU,CAAC,GAAG,EAAE;QACd,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE;YACtB,eAAe,CAAC,MAAkB;gBAChC,OAAO,MAAM,CAAC;YAChB,CAAC;SACF,CAAC,CAAC;QACH,yBAAyB,CAAC,SAAS,EAAE,CAAC;QACtC,yBAAyB,CAAC,SAAS,EAAE,CAAC;QACtC,oBAAoB,CAAC,SAAS,EAAE,CAAC;QACjC,gBAAgB,CAAC,SAAS,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,KAAK,IAAI,EAAE;QAC3C,MAAM,WAAW,GAAG;YAClB,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE;YACnB,2BAA2B,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;SAC7D,CAAC;QACF,MAAM,SAAS,GAAG;YAChB,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;YACvD,QAAQ,EAAE;gBACR,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;aAC7C;SACF,CAAC;QAEF,MAAM,qBAAqB,CAAC,SAAkB,EAAE;YAC9C,SAAS,EAAE,CAAC;YACZ,iBAAiB,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC1C,kBAAkB,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;SAC1C,CAAC,CAAC;QAEH,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,uBAAuB,CACpD,CAAC,EACD,8BAA8B,EAC9B,aAAa,CACd,CAAC;QACF,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,uBAAuB,CACpD,CAAC,EACD,8BAA8B,EAC9B,aAAa,CACd,CAAC;QACF,MAAM,CAAC,WAAW,CAAC,2BAA2B,CAAC,CAAC,oBAAoB,CAClE,wCAAwC,CACzC,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,KAAK,IAAI,EAAE;QAC9C,MAAM,WAAW,GAAG;YAClB,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE;YACnB,2BAA2B,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;SAC7D,CAAC;QACF,MAAM,SAAS,GAAG;YAChB,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;YACvD,QAAQ,EAAE;gBACR,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;aAC7C;SACF,CAAC;QAEF,MAAM,qBAAqB,CAAC,SAAkB,EAAE;YAC9C,SAAS,EAAE,CAAC;YACZ,iBAAiB,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC1C,kBAAkB,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzC,eAAe,EAAE,OAAO;SACzB,CAAC,CAAC;QAEH,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,uBAAuB,CACpD,CAAC,EACD,oCAAoC,EACpC,mBAAmB,CACpB,CAAC;QACF,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,uBAAuB,CACpD,CAAC,EACD,oCAAoC,EACpC,mBAAmB,CACpB,CAAC;QACF,MAAM,CAAC,WAAW,CAAC,2BAA2B,CAAC,CAAC,oBAAoB,CAClE,8CAA8C,CAC/C,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
export declare const MULTISIG_MASM = "# Multi-Signature RPO Falcon 512 Authentication Core Library\n#\n# This library provides the reusable multisig procedures used by account wrappers.\n\nuse miden::protocol::active_account\nuse miden::protocol::auth::AUTH_UNAUTHORIZED_EVENT\nuse miden::protocol::native_account\nuse miden::standards::auth\n\n# CONSTANTS\n# =================================================================================================\n\n# Auth Request Constants\n\n# Storage Layout Constants\n#\n# +-------------------------------+----------+------------+--------------+-------------------+\n# | THRESHOLD & APPROVERS CONFIG | PUB KEYS | SCHEME IDS | EXECUTED TXS | PROC THRESHOLDS |\n# | (slot) | (map) | (map) | (map) | (map) |\n# +-------------------------------+----------+------------+--------------+-------------------+\n# | 0 | 1 | 2 | 3 | 4 |\n# +-------------------------------+----------+------------+--------------+-------------------+\n\n# The slot in this component's storage layout where the default signature threshold and\n# number of approvers are stored as:\n# [default_threshold, num_approvers, 0, 0].\n# The threshold is guaranteed to be less than or equal to num_approvers.\nconst THRESHOLD_CONFIG_SLOT=word(\"openzeppelin::multisig::threshold_config\")\n\n# The slot in this component's storage layout where the public keys map is stored.\n# Map entries: [key_index, 0, 0, 0] => APPROVER_PUBLIC_KEY\nconst PUBLIC_KEYS_MAP_SLOT=word(\"openzeppelin::multisig::signer_public_keys\")\n\n# The slot in this component's storage layout where signer scheme IDs are stored.\n# Map entries: [key_index, 0, 0, 0] => [scheme_id, 0, 0, 0]\nconst APPROVER_SCHEME_ID_SLOT=word(\"openzeppelin::multisig::signer_scheme_ids\")\n\n# The slot in this component's storage layout where executed transactions are stored.\n# Map entries: transaction_message => [is_executed, 0, 0, 0]\nconst EXECUTED_TXS_SLOT=word(\"openzeppelin::multisig::executed_transactions\")\n\n# The slot in this component's storage layout where procedure thresholds are stored.\n# Map entries: PROC_ROOT => [proc_threshold, 0, 0, 0]\nconst PROC_THRESHOLD_ROOTS_SLOT=word(\"openzeppelin::multisig::procedure_thresholds\")\n\n# Executed Transaction Flag Constant\nconst IS_EXECUTED_FLAG=[1, 0, 0, 0]\nconst FALCON_512_POSEIDON2_SCHEME_WORD=[2, 0, 0, 0]\n\n# ERRORS\nconst ERR_TX_ALREADY_EXECUTED=\"failed to approve multisig transaction as it was already executed\"\n\nconst ERR_MALFORMED_MULTISIG_CONFIG=\"number of approvers must be equal to or greater than threshold\"\n\nconst ERR_ZERO_IN_MULTISIG_CONFIG=\"number of approvers or threshold must not be zero\"\n\nconst ERR_PROC_THRESHOLD_NOT_U32=\"procedure threshold must be a u32 value\"\n\nconst ERR_NUM_APPROVERS_OR_PROC_THRESHOLD_NOT_U32=\"number of approvers and procedure threshold must be u32\"\n\nconst ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS=\"procedure threshold exceeds number of approvers\"\n\n# MULTISIG PROCEDURES\n# =================================================================================================\n\n#! Check if transaction has already been executed and add it to executed transactions for replay protection.\n#!\n#! Inputs: [MSG]\n#! Outputs: []\n#!\n#! Panics if:\n#! - the same transaction has already been executed\npub proc assert_new_tx(msg: word)\n push.IS_EXECUTED_FLAG\n # => [[0, 0, 0, is_executed], MSG]\n\n swapw\n # => [MSG, IS_EXECUTED_FLAG]\n\n push.EXECUTED_TXS_SLOT[0..2]\n # => [txs_slot_prefix, txs_slot_suffix, MSG, IS_EXECUTED_FLAG]\n\n # Set the key value pair in the map to mark transaction as executed\n exec.native_account::set_map_item\n # => [[0, 0, 0, is_executed]]\n\n drop drop drop\n # => [is_executed]\n\n assertz.err=ERR_TX_ALREADY_EXECUTED\n # => []\nend\n\n#! Remove old approver public keys from the approver public key mapping.\n#!\n#! This procedure cleans up the storage by removing public keys of approvers that are no longer\n#! part of the multisig configuration. This procedure assumes that init_num_of_approvers and\n#! new_num_of_approvers are u32 values.\n#!\n#! Inputs: [init_num_of_approvers, new_num_of_approvers]\n#! Outputs: []\n#!\n#! Where:\n#! - init_num_of_approvers is the original number of approvers before the update\n#! - new_num_of_approvers is the new number of approvers after the update\nproc cleanup_pubkey_mapping(init_num_of_approvers: u32, new_num_of_approvers: u32)\n dup.1 dup.1\n u32assert2 u32lt\n # => [should_loop, i = init_num_of_approvers, new_num_of_approvers]\n\n while.true\n # => [i, new_num_of_approvers]\n\n sub.1\n # => [i-1, new_num_of_approvers]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, new_num_of_approvers]\n\n padw swapw\n # => [APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE, i-1, new_num_of_approvers]\n\n dropw\n # => [i-1, new_num_of_approvers]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, new_num_of_approvers]\n\n padw swapw\n # => [APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_slot_prefix, scheme_slot_suffix, APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE, i-1, new_num_of_approvers]\n\n dropw\n # => [i-1, new_num_of_approvers]\n\n dup.1 dup.1\n u32lt\n # => [should_loop, i-1, new_num_of_approvers]\n end\n\n drop drop\n # => []\nend\n\nproc create_approver_map_key\n push.0.0.0 movup.3\n # => [APPROVER_MAP_KEY]\nend\n\nproc get_threshold_and_num_approvers\n push.THRESHOLD_CONFIG_SLOT[0..2]\n exec.active_account::get_initial_item\n # => [threshold, num_approvers]\n\n movup.2 drop movup.2 drop\n # => [threshold, num_approvers]\nend\n\nproc assert_proc_thresholds_lte_num_approvers(num_approvers: u32)\n exec.active_account::get_num_procedures\n # => [num_procedures, num_approvers]\n\n dup neq.0\n # => [should_continue, num_procedures, num_approvers]\n while.true\n sub.1 dup\n # => [proc_index, proc_index, num_approvers]\n\n exec.active_account::get_procedure_root\n # => [PROC_ROOT, proc_index, num_approvers]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [proc_roots_slot_prefix, proc_roots_slot_suffix, PROC_ROOT, proc_index, num_approvers]\n\n exec.active_account::get_map_item\n # => [[proc_threshold, 0, 0, 0], proc_index, num_approvers]\n\n movdn.3 drop drop drop\n # => [proc_threshold, proc_index, num_approvers]\n\n dup.2\n # => [num_approvers, proc_threshold, proc_index, num_approvers]\n\n u32assert2.err=ERR_PROC_THRESHOLD_NOT_U32\n u32gt assertz.err=ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS\n # => [proc_index, num_approvers]\n\n dup neq.0\n # => [should_continue, proc_index, num_approvers]\n end\n\n drop drop\n # => []\nend\n\n# Internal storage helper used by the public `update_procedure_threshold`\n# entrypoint after it receives direct stack arguments.\nproc set_procedure_threshold(proc_threshold: u32, proc_root: word)\n exec.get_threshold_and_num_approvers\n # => [threshold, num_approvers, proc_threshold, PROC_ROOT]\n\n drop\n # => [num_approvers, proc_threshold, PROC_ROOT]\n\n dup.1 swap\n # => [num_approvers, proc_threshold, proc_threshold, PROC_ROOT]\n\n u32assert2.err=ERR_NUM_APPROVERS_OR_PROC_THRESHOLD_NOT_U32\n u32gt assertz.err=ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS\n # => [proc_threshold, PROC_ROOT]\n\n push.0.0.0\n movup.3\n swapw\n # => [PROC_ROOT, PROC_THRESHOLD_WORD]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [proc_roots_slot_prefix, proc_roots_slot_suffix, PROC_ROOT, PROC_THRESHOLD_WORD]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE]\n\n dropw\n # => []\nend\n\n#! Update threshold config and add / remove approvers\n#!\n#! Inputs:\n#! Operand stack: [MULTISIG_CONFIG_HASH, pad(12)]\n#! Advice map: {\n#! MULTISIG_CONFIG_HASH => [CONFIG, PUB_KEY_N, PUB_KEY_N-1, ..., PUB_KEY_0]\n#! }\n#! Outputs:\n#! Operand stack: [TX_SUMMARY_COMMITMENT]\n#!\n#! Where:\n#! - MULTISIG_CONFIG_HASH is the hash of the threshold and new public key vector\n#! - MULTISIG_CONFIG is [threshold, num_approvers, 0, 0]\n#! - PUB_KEY_i is the public key of the i-th signer\n#!\n#! Locals:\n#! 0: new_num_of_approvers\n#! 1: init_num_of_approvers\n@locals(2)\npub proc update_signers_and_threshold(multisig_config_hash: word)\n adv.push_mapval\n # => [MULTISIG_CONFIG_HASH, pad(12)]\n\n adv_loadw\n # => [MULTISIG_CONFIG, pad(12)]\n\n # store new_num_of_approvers for later\n dup.1 loc_store.0\n # => [MULTISIG_CONFIG, pad(12)]\n\n dup dup.2\n # => [num_approvers, threshold, MULTISIG_CONFIG, pad(12)]\n\n # make sure that the threshold is smaller than the number of approvers\n u32assert2.err=ERR_MALFORMED_MULTISIG_CONFIG\n u32gt assertz.err=ERR_MALFORMED_MULTISIG_CONFIG\n # => [MULTISIG_CONFIG, pad(12)]\n\n dup dup.2\n # => [num_approvers, threshold, MULTISIG_CONFIG, pad(12)]\n\n # make sure that threshold or num_approvers are not zero\n eq.0 assertz.err=ERR_ZERO_IN_MULTISIG_CONFIG\n eq.0 assertz.err=ERR_ZERO_IN_MULTISIG_CONFIG\n # => [MULTISIG_CONFIG, pad(12)]\n\n loc_load.0\n # => [num_approvers, MULTISIG_CONFIG, pad(12)]\n\n exec.assert_proc_thresholds_lte_num_approvers\n # => [MULTISIG_CONFIG, pad(12)]\n\n push.THRESHOLD_CONFIG_SLOT[0..2]\n # => [config_slot_prefix, config_slot_suffix, MULTISIG_CONFIG, pad(12)]\n\n exec.native_account::set_item\n # => [OLD_THRESHOLD_CONFIG, pad(12)]\n\n # store init_num_of_approvers for later\n drop loc_store.1 drop drop\n # => [pad(12)]\n\n loc_load.0\n # => [num_approvers]\n\n dup neq.0\n while.true\n sub.1\n # => [i-1, pad(12)]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, pad(12)]\n\n padw adv_loadw\n # => [PUB_KEY, APPROVER_MAP_KEY, i-1, pad(12)]\n\n swapw\n # => [APPROVER_MAP_KEY, PUB_KEY, i-1, pad(12)]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, APPROVER_MAP_KEY, PUB_KEY, i-1, pad(12)]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE, i-1, pad(12)]\n\n dropw\n # => [i-1, pad(12)]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, pad(12)]\n\n push.FALCON_512_POSEIDON2_SCHEME_WORD\n # => [SCHEME_ID_WORD, APPROVER_MAP_KEY, i-1, pad(12)]\n\n swapw\n # => [APPROVER_MAP_KEY, [2, 0, 0, 0], i-1, pad(12)]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_slot_prefix, scheme_slot_suffix, APPROVER_MAP_KEY, [2, 0, 0, 0], i-1, pad(12)]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE, i-1, pad(12)]\n\n dropw\n # => [i-1, pad(12)]\n\n dup neq.0\n # => [is_non_zero, i-1, pad(12)]\n end\n # => [pad(13)]\n\n drop\n # => [pad(12)]\n\n # compare initial vs current multisig config\n\n # load init_num_of_approvers & new_num_of_approvers\n loc_load.0 loc_load.1\n # => [init_num_of_approvers, new_num_of_approvers, pad(12)]\n\n exec.cleanup_pubkey_mapping\n # => [pad(12)]\nend\n\n#! Update or clear the threshold override for a specific procedure.\n#!\n#! Inputs:\n#! Operand stack: [proc_threshold, PROC_ROOT]\n#! Outputs:\n#! Operand stack: []\n#! Invocation: call\npub proc update_procedure_threshold(proc_threshold: u32, proc_root: word)\n exec.set_procedure_threshold\nend\n\n# Computes the effective transaction threshold based on called procedures and per-procedure\n# overrides stored in PROC_THRESHOLD_ROOTS_SLOT. Falls back to default_threshold if no\n# overrides apply.\n#\n#! Inputs: [default_threshold]\n#! Outputs: [transaction_threshold]\n@locals(1)\nproc compute_transaction_threshold(default_threshold: u32) -> u32\n # 1. initialize transaction_threshold = 0\n # 2. iterate through all account procedures\n # a. check if the procedure was called during the transaction\n # b. if called, get the override threshold of that procedure from the config map\n # c. if proc_threshold > transaction_threshold, set transaction_threshold = proc_threshold\n # 3. if transaction_threshold == 0 at the end, revert to using default_threshold\n\n # store default_threshold for later\n loc_store.0\n # => []\n\n # 1. initialize transaction_threshold = 0\n push.0\n # => [transaction_threshold]\n\n # get the number of account procedures\n exec.active_account::get_num_procedures\n # => [num_procedures, transaction_threshold]\n\n # 2. iterate through all account procedures\n dup neq.0\n # => [should_continue, num_procedures, transaction_threshold]\n while.true\n sub.1 dup\n # => [num_procedures-1, num_procedures-1, transaction_threshold]\n\n # get procedure root of the procedure with index i\n exec.active_account::get_procedure_root dupw\n # => [PROC_ROOT, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # 2a. check if this procedure has been called in the transaction\n exec.native_account::was_procedure_called\n # => [was_called, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # if it has been called, get the override threshold of that procedure\n if.true\n # => [PROC_ROOT, num_procedures-1, transaction_threshold]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [PROC_THRESHOLD_ROOTS_SLOT_prefix, PROC_THRESHOLD_ROOTS_SLOT_suffix, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # 2b. get the override proc_threshold of that procedure\n # if the procedure has no override threshold, the returned map item will be [0, 0, 0, 0]\n exec.active_account::get_initial_map_item\n # => [[proc_threshold, 0, 0, 0], num_procedures-1, transaction_threshold]\n\n movdn.3 drop drop drop dup dup.3\n # => [transaction_threshold, proc_threshold, proc_threshold, num_procedures-1, transaction_threshold]\n\n u32assert2.err=\"transaction threshold or procedure threshold are not u32\"\n u32gt\n # => [is_gt, proc_threshold, num_procedures-1, transaction_threshold]\n # 2c. if proc_threshold > transaction_threshold, update transaction_threshold\n movup.2 movdn.3\n # => [is_gt, proc_threshold, transaction_threshold, num_procedures-1]\n cdrop\n # => [updated_transaction_threshold, num_procedures-1]\n swap\n # => [num_procedures-1, updated_transaction_threshold]\n # if it has not been called during this transaction, nothing to do, move to the next procedure\n else\n dropw\n # => [num_procedures-1, transaction_threshold]\n end\n\n dup neq.0\n # => [should_continue, num_procedures-1, transaction_threshold]\n end\n\n drop\n # => [transaction_threshold]\n\n loc_load.0\n # => [default_threshold, transaction_threshold]\n\n # 3. if transaction_threshold == 0 at the end, revert to using default_threshold\n dup.1 eq.0\n # => [is_zero, default_threshold, transaction_threshold]\n\n cdrop\n # => [effective_transaction_threshold]\nend\n\n#! Authenticate a transaction using the Falcon signature scheme with multi-signature support.\n#!\n#! This procedure implements multi-signature authentication by:\n#! 1. Computing the transaction summary message that needs to be signed\n#! 2. Verifying signatures from multiple required signers against their public keys\n#! 3. Ensuring the minimum threshold of valid signatures is met\n#! 4. Returning the transaction summary commitment for higher-level wrappers.\n#!\n#! Inputs:\n#! Operand stack: [SALT]\n#! Advice map: {\n#! h(SIG_0, MSG): SIG_0,\n#! h(SIG_1, MSG): SIG_1,\n#! h(SIG_n, MSG): SIG_n\n#! }\n#! Outputs:\n#! Operand stack: []\n#!\n#! Where:\n#! - SALT is a cryptographically random nonce that enables multiple concurrent\n#! multisig transactions while maintaining replay protection. Each transaction\n#! must use a unique SALT value to ensure transaction uniqueness.\n#! - SIG_i is the signature from the i-th signer.\n#! - MSG is the transaction message being signed.\n#! - h(SIG_i, MSG) is the hash of the signature and message used as the advice map key.\n#!\n#! Panics if:\n#! - insufficient number of valid signatures (below threshold).\n#! - insufficient number of valid signatures (below threshold).\n#!\n#! Invocation: exec\n@locals(1)\npub proc auth_tx(salt: word)\n exec.native_account::incr_nonce drop\n # => [SALT]\n\n # ------ Computing transaction summary ------\n\n exec.auth::create_tx_summary\n # => [ACCOUNT_DELTA_COMMITMENT, INPUT_NOTES_COMMITMENT, OUTPUT_NOTES_COMMITMENT, SALT]\n\n # to build a tx_summary in the host, we need these four words in the advice provider\n adv.insert_hqword\n # => [ACCOUNT_DELTA_COMMITMENT, INPUT_NOTES_COMMITMENT, OUTPUT_NOTES_COMMITMENT, SALT]\n\n # the commitment to the tx summary is the message that is signed\n exec.auth::hash_tx_summary\n # => [TX_SUMMARY_COMMITMENT]\n\n # ------ Verifying approver signatures ------\n\n exec.get_threshold_and_num_approvers\n # => [default_threshold, num_of_approvers, TX_SUMMARY_COMMITMENT]\n\n movdn.5\n # => [num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_id_slot_prefix, scheme_id_slot_suffix, pub_key_slot_prefix, pub_key_slot_suffix, num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n exec.::miden::standards::auth::signature::verify_signatures\n # => [num_verified_signatures, TX_SUMMARY_COMMITMENT, default_threshold]\n\n # ------ Checking threshold is >= num_verified_signatures ------\n\n movup.5\n # => [default_threshold, num_verified_signatures, TX_SUMMARY_COMMITMENT]\n\n exec.compute_transaction_threshold\n # => [transaction_threshold, num_verified_signatures, TX_SUMMARY_COMMITMENT]\n\n u32assert2 u32lt\n # => [is_unauthorized, TX_SUMMARY_COMMITMENT]\n\n # If signatures are non-existent the tx will fail here.\n if.true\n emit.AUTH_UNAUTHORIZED_EVENT\n push.0 assert.err=\"insufficient number of signatures\"\n end\n\n # => [TX_SUMMARY_COMMITMENT]\nend\n";
|
|
2
|
-
export declare const MULTISIG_ECDSA_MASM = "# Multi-Signature ECDSA secp256k1 Authentication Core Library\n#\n# This library provides the reusable multisig procedures used by account wrappers.\n\nuse miden::protocol::active_account\nuse miden::protocol::auth::AUTH_UNAUTHORIZED_EVENT\nuse miden::protocol::native_account\nuse miden::standards::auth\n\n# CONSTANTS\n# =================================================================================================\n\n# Auth Request Constants\n\n# Storage Layout Constants\n#\n# +-------------------------------+----------+------------+--------------+-------------------+\n# | THRESHOLD & APPROVERS CONFIG | PUB KEYS | SCHEME IDS | EXECUTED TXS | PROC THRESHOLDS |\n# | (slot) | (map) | (map) | (map) | (map) |\n# +-------------------------------+----------+------------+--------------+-------------------+\n# | 0 | 1 | 2 | 3 | 4 |\n# +-------------------------------+----------+------------+--------------+-------------------+\n\n# The slot in this component's storage layout where the default signature threshold and\n# number of approvers are stored as:\n# [default_threshold, num_approvers, 0, 0].\n# The threshold is guaranteed to be less than or equal to num_approvers.\nconst THRESHOLD_CONFIG_SLOT=word(\"openzeppelin::multisig::threshold_config\")\n\n# The slot in this component's storage layout where the public keys map is stored.\n# Map entries: [key_index, 0, 0, 0] => APPROVER_PUBLIC_KEY\nconst PUBLIC_KEYS_MAP_SLOT=word(\"openzeppelin::multisig::signer_public_keys\")\n\n# The slot in this component's storage layout where signer scheme IDs are stored.\n# Map entries: [key_index, 0, 0, 0] => [scheme_id, 0, 0, 0]\nconst APPROVER_SCHEME_ID_SLOT=word(\"openzeppelin::multisig::signer_scheme_ids\")\n\n# The slot in this component's storage layout where executed transactions are stored.\n# Map entries: transaction_message => [is_executed, 0, 0, 0]\nconst EXECUTED_TXS_SLOT=word(\"openzeppelin::multisig::executed_transactions\")\n\n# The slot in this component's storage layout where procedure thresholds are stored.\n# Map entries: PROC_ROOT => [proc_threshold, 0, 0, 0]\nconst PROC_THRESHOLD_ROOTS_SLOT=word(\"openzeppelin::multisig::procedure_thresholds\")\n\n# Executed Transaction Flag Constant\nconst IS_EXECUTED_FLAG=[1, 0, 0, 0]\nconst ECDSA_K256_KECCAK_SCHEME_WORD=[1, 0, 0, 0]\n\n# ERRORS\nconst ERR_TX_ALREADY_EXECUTED=\"failed to approve multisig transaction as it was already executed\"\n\nconst ERR_MALFORMED_MULTISIG_CONFIG=\"number of approvers must be equal to or greater than threshold\"\n\nconst ERR_ZERO_IN_MULTISIG_CONFIG=\"number of approvers or threshold must not be zero\"\n\nconst ERR_PROC_THRESHOLD_NOT_U32=\"procedure threshold must be a u32 value\"\n\nconst ERR_NUM_APPROVERS_OR_PROC_THRESHOLD_NOT_U32=\"number of approvers and procedure threshold must be u32\"\n\nconst ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS=\"procedure threshold exceeds number of approvers\"\n\n# MULTISIG PROCEDURES\n# =================================================================================================\n\n#! Check if transaction has already been executed and add it to executed transactions for replay protection.\n#!\n#! Inputs: [MSG]\n#! Outputs: []\n#!\n#! Panics if:\n#! - the same transaction has already been executed\npub proc assert_new_tx(msg: word)\n push.IS_EXECUTED_FLAG\n # => [[0, 0, 0, is_executed], MSG]\n\n swapw\n # => [MSG, IS_EXECUTED_FLAG]\n\n push.EXECUTED_TXS_SLOT[0..2]\n # => [txs_slot_prefix, txs_slot_suffix, MSG, IS_EXECUTED_FLAG]\n\n # Set the key value pair in the map to mark transaction as executed\n exec.native_account::set_map_item\n # => [[0, 0, 0, is_executed]]\n\n drop drop drop\n # => [is_executed]\n\n assertz.err=ERR_TX_ALREADY_EXECUTED\n # => []\nend\n\n#! Remove old approver public keys from the approver public key mapping.\n#!\n#! This procedure cleans up the storage by removing public keys of approvers that are no longer\n#! part of the multisig configuration. This procedure assumes that init_num_of_approvers and\n#! new_num_of_approvers are u32 values.\n#!\n#! Inputs: [init_num_of_approvers, new_num_of_approvers]\n#! Outputs: []\n#!\n#! Where:\n#! - init_num_of_approvers is the original number of approvers before the update\n#! - new_num_of_approvers is the new number of approvers after the update\nproc cleanup_pubkey_mapping(init_num_of_approvers: u32, new_num_of_approvers: u32)\n dup.1 dup.1\n u32assert2 u32lt\n # => [should_loop, i = init_num_of_approvers, new_num_of_approvers]\n\n while.true\n # => [i, new_num_of_approvers]\n\n sub.1\n # => [i-1, new_num_of_approvers]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, new_num_of_approvers]\n\n padw swapw\n # => [APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE, i-1, new_num_of_approvers]\n\n dropw\n # => [i-1, new_num_of_approvers]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, new_num_of_approvers]\n\n padw swapw\n # => [APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_slot_prefix, scheme_slot_suffix, APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE, i-1, new_num_of_approvers]\n\n dropw\n # => [i-1, new_num_of_approvers]\n\n dup.1 dup.1\n u32lt\n # => [should_loop, i-1, new_num_of_approvers]\n end\n\n drop drop\n # => []\nend\n\nproc create_approver_map_key\n push.0.0.0 movup.3\n # => [APPROVER_MAP_KEY]\nend\n\nproc get_threshold_and_num_approvers\n push.THRESHOLD_CONFIG_SLOT[0..2]\n exec.active_account::get_initial_item\n # => [threshold, num_approvers]\n\n movup.2 drop movup.2 drop\n # => [threshold, num_approvers]\nend\n\nproc assert_proc_thresholds_lte_num_approvers(num_approvers: u32)\n exec.active_account::get_num_procedures\n # => [num_procedures, num_approvers]\n\n dup neq.0\n # => [should_continue, num_procedures, num_approvers]\n while.true\n sub.1 dup\n # => [proc_index, proc_index, num_approvers]\n\n exec.active_account::get_procedure_root\n # => [PROC_ROOT, proc_index, num_approvers]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [proc_roots_slot_prefix, proc_roots_slot_suffix, PROC_ROOT, proc_index, num_approvers]\n\n exec.active_account::get_map_item\n # => [[proc_threshold, 0, 0, 0], proc_index, num_approvers]\n\n movdn.3 drop drop drop\n # => [proc_threshold, proc_index, num_approvers]\n\n dup.2\n # => [num_approvers, proc_threshold, proc_index, num_approvers]\n\n u32assert2.err=ERR_PROC_THRESHOLD_NOT_U32\n u32gt assertz.err=ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS\n # => [proc_index, num_approvers]\n\n dup neq.0\n # => [should_continue, proc_index, num_approvers]\n end\n\n drop drop\n # => []\nend\n\n# Internal storage helper used by the public `update_procedure_threshold`\n# entrypoint after it receives direct stack arguments.\nproc set_procedure_threshold(proc_threshold: u32, proc_root: word)\n exec.get_threshold_and_num_approvers\n # => [threshold, num_approvers, proc_threshold, PROC_ROOT]\n\n drop\n # => [num_approvers, proc_threshold, PROC_ROOT]\n\n dup.1 swap\n # => [num_approvers, proc_threshold, proc_threshold, PROC_ROOT]\n\n u32assert2.err=ERR_NUM_APPROVERS_OR_PROC_THRESHOLD_NOT_U32\n u32gt assertz.err=ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS\n # => [proc_threshold, PROC_ROOT]\n\n push.0.0.0\n movup.3\n swapw\n # => [PROC_ROOT, PROC_THRESHOLD_WORD]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [proc_roots_slot_prefix, proc_roots_slot_suffix, PROC_ROOT, PROC_THRESHOLD_WORD]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE]\n\n dropw\n # => []\nend\n\n#! Update threshold config and add / remove approvers\n#!\n#! Inputs:\n#! Operand stack: [MULTISIG_CONFIG_HASH, pad(12)]\n#! Advice map: {\n#! MULTISIG_CONFIG_HASH => [CONFIG, PUB_KEY_N, PUB_KEY_N-1, ..., PUB_KEY_0]\n#! }\n#! Outputs:\n#! Operand stack: []\n#!\n#! Where:\n#! - MULTISIG_CONFIG_HASH is the hash of the threshold and new public key vector\n#! - MULTISIG_CONFIG is [threshold, num_approvers, 0, 0]\n#! - PUB_KEY_i is the public key of the i-th signer\n#!\n#! Locals:\n#! 0: new_num_of_approvers\n#! 1: init_num_of_approvers\n@locals(2)\npub proc update_signers_and_threshold(multisig_config_hash: word)\n adv.push_mapval\n # => [MULTISIG_CONFIG_HASH, pad(12)]\n\n adv_loadw\n # => [MULTISIG_CONFIG, pad(12)]\n\n # store new_num_of_approvers for later\n dup.1 loc_store.0\n # => [MULTISIG_CONFIG, pad(12)]\n\n dup dup.2\n # => [num_approvers, threshold, MULTISIG_CONFIG, pad(12)]\n\n # make sure that the threshold is smaller than the number of approvers\n u32assert2.err=ERR_MALFORMED_MULTISIG_CONFIG\n u32gt assertz.err=ERR_MALFORMED_MULTISIG_CONFIG\n # => [MULTISIG_CONFIG, pad(12)]\n\n dup dup.2\n # => [num_approvers, threshold, MULTISIG_CONFIG, pad(12)]\n\n # make sure that threshold or num_approvers are not zero\n eq.0 assertz.err=ERR_ZERO_IN_MULTISIG_CONFIG\n eq.0 assertz.err=ERR_ZERO_IN_MULTISIG_CONFIG\n # => [MULTISIG_CONFIG, pad(12)]\n\n loc_load.0\n # => [num_approvers, MULTISIG_CONFIG, pad(12)]\n\n exec.assert_proc_thresholds_lte_num_approvers\n # => [MULTISIG_CONFIG, pad(12)]\n\n push.THRESHOLD_CONFIG_SLOT[0..2]\n # => [config_slot_prefix, config_slot_suffix, MULTISIG_CONFIG, pad(12)]\n\n exec.native_account::set_item\n # => [OLD_THRESHOLD_CONFIG, pad(12)]\n\n # store init_num_of_approvers for later\n drop loc_store.1 drop drop\n # => [pad(12)]\n\n loc_load.0\n # => [num_approvers]\n\n dup neq.0\n while.true\n sub.1\n # => [i-1, pad(12)]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, pad(12)]\n\n padw adv_loadw\n # => [PUB_KEY, APPROVER_MAP_KEY, i-1, pad(12)]\n\n swapw\n # => [APPROVER_MAP_KEY, PUB_KEY, i-1, pad(12)]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, APPROVER_MAP_KEY, PUB_KEY, i-1, pad(12)]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE, i-1, pad(12)]\n\n dropw\n # => [i-1, pad(12)]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, pad(12)]\n\n push.ECDSA_K256_KECCAK_SCHEME_WORD\n # => [SCHEME_ID_WORD, APPROVER_MAP_KEY, i-1, pad(12)]\n\n swapw\n # => [APPROVER_MAP_KEY, [1, 0, 0, 0], i-1, pad(12)]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_slot_prefix, scheme_slot_suffix, APPROVER_MAP_KEY, [1, 0, 0, 0], i-1, pad(12)]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE, i-1, pad(12)]\n\n dropw\n # => [i-1, pad(12)]\n\n dup neq.0\n # => [is_non_zero, i-1, pad(12)]\n end\n # => [pad(13)]\n\n drop\n # => [pad(12)]\n\n # compare initial vs current multisig config\n\n # load init_num_of_approvers & new_num_of_approvers\n loc_load.0 loc_load.1\n # => [init_num_of_approvers, new_num_of_approvers, pad(12)]\n\n exec.cleanup_pubkey_mapping\n # => [pad(12)]\nend\n\n#! Update or clear the threshold override for a specific procedure.\n#!\n#! Inputs:\n#! Operand stack: [proc_threshold, PROC_ROOT]\n#! Outputs:\n#! Operand stack: []\n#! Invocation: call\npub proc update_procedure_threshold(proc_threshold: u32, proc_root: word)\n exec.set_procedure_threshold\nend\n\n# Computes the effective transaction threshold based on called procedures and per-procedure\n# overrides stored in PROC_THRESHOLD_ROOTS_SLOT. Falls back to default_threshold if no\n# overrides apply.\n#\n#! Inputs: [default_threshold]\n#! Outputs: [transaction_threshold]\n@locals(1)\nproc compute_transaction_threshold(default_threshold: u32) -> u32\n # 1. initialize transaction_threshold = 0\n # 2. iterate through all account procedures\n # a. check if the procedure was called during the transaction\n # b. if called, get the override threshold of that procedure from the config map\n # c. if proc_threshold > transaction_threshold, set transaction_threshold = proc_threshold\n # 3. if transaction_threshold == 0 at the end, revert to using default_threshold\n\n # store default_threshold for later\n loc_store.0\n # => []\n\n # 1. initialize transaction_threshold = 0\n push.0\n # => [transaction_threshold]\n\n # get the number of account procedures\n exec.active_account::get_num_procedures\n # => [num_procedures, transaction_threshold]\n\n # 2. iterate through all account procedures\n dup neq.0\n # => [should_continue, num_procedures, transaction_threshold]\n while.true\n sub.1 dup\n # => [num_procedures-1, num_procedures-1, transaction_threshold]\n\n # get procedure root of the procedure with index i\n exec.active_account::get_procedure_root dupw\n # => [PROC_ROOT, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # 2a. check if this procedure has been called in the transaction\n exec.native_account::was_procedure_called\n # => [was_called, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # if it has been called, get the override threshold of that procedure\n if.true\n # => [PROC_ROOT, num_procedures-1, transaction_threshold]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [PROC_THRESHOLD_ROOTS_SLOT_prefix, PROC_THRESHOLD_ROOTS_SLOT_suffix, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # 2b. get the override proc_threshold of that procedure\n # if the procedure has no override threshold, the returned map item will be [0, 0, 0, 0]\n exec.active_account::get_initial_map_item\n # => [[proc_threshold, 0, 0, 0], num_procedures-1, transaction_threshold]\n\n movdn.3 drop drop drop dup dup.3\n # => [transaction_threshold, proc_threshold, proc_threshold, num_procedures-1, transaction_threshold]\n\n u32assert2.err=\"transaction threshold or procedure threshold are not u32\"\n u32gt\n # => [is_gt, proc_threshold, num_procedures-1, transaction_threshold]\n # 2c. if proc_threshold > transaction_threshold, update transaction_threshold\n movup.2 movdn.3\n # => [is_gt, proc_threshold, transaction_threshold, num_procedures-1]\n cdrop\n # => [updated_transaction_threshold, num_procedures-1]\n swap\n # => [num_procedures-1, updated_transaction_threshold]\n # if it has not been called during this transaction, nothing to do, move to the next procedure\n else\n dropw\n # => [num_procedures-1, transaction_threshold]\n end\n\n dup neq.0\n # => [should_continue, num_procedures-1, transaction_threshold]\n end\n\n drop\n # => [transaction_threshold]\n\n loc_load.0\n # => [default_threshold, transaction_threshold]\n\n # 3. if transaction_threshold == 0 at the end, revert to using default_threshold\n dup.1 eq.0\n # => [is_zero, default_threshold, transaction_threshold]\n\n cdrop\n # => [effective_transaction_threshold]\nend\n\n#! Authenticate a transaction using ECDSA secp256k1 with multi-signature support.\n#!\n#! This procedure implements multi-signature authentication by:\n#! 1. Computing the transaction summary message that needs to be signed\n#! 2. Verifying ECDSA signatures from multiple required signers against their public keys\n#! 3. Ensuring the minimum threshold of valid signatures is met\n#! 4. Returning the transaction summary commitment for higher-level wrappers.\n#!\n#! Inputs:\n#! Operand stack: [SALT]\n#! Advice map: {\n#! h(PUB_KEY_0, MSG): SIG_0,\n#! h(PUB_KEY_1, MSG): SIG_1,\n#! h(PUB_KEY_n, MSG): SIG_n\n#! }\n#! Outputs:\n#! Operand stack: [TX_SUMMARY_COMMITMENT]\n#!\n#! Where:\n#! - SALT is a cryptographically random nonce that enables multiple concurrent\n#! multisig transactions while maintaining replay protection. Each transaction\n#! must use a unique SALT value to ensure transaction uniqueness.\n#! - SIG_i is the ECDSA signature from the i-th signer.\n#! - MSG is the transaction message being signed.\n#! - h(PUB_KEY_i, MSG) is the hash of the public key and message used as the advice map key.\n#!\n#! Panics if:\n#! - insufficient number of valid signatures (below threshold).\n#! - insufficient number of valid signatures (below threshold).\n#!\n#! Invocation: exec\n@locals(1)\npub proc auth_tx(salt: word)\n exec.native_account::incr_nonce drop\n # => [SALT]\n\n # ------ Computing transaction summary ------\n\n exec.auth::create_tx_summary\n # => [ACCOUNT_DELTA_COMMITMENT, INPUT_NOTES_COMMITMENT, OUTPUT_NOTES_COMMITMENT, SALT]\n\n # to build a tx_summary in the host, we need these four words in the advice provider\n adv.insert_hqword\n # => [ACCOUNT_DELTA_COMMITMENT, INPUT_NOTES_COMMITMENT, OUTPUT_NOTES_COMMITMENT, SALT]\n\n # the commitment to the tx summary is the message that is signed\n exec.auth::hash_tx_summary\n # => [TX_SUMMARY_COMMITMENT]\n\n # ------ Verifying approver signatures ------\n\n exec.get_threshold_and_num_approvers\n # => [default_threshold, num_of_approvers, TX_SUMMARY_COMMITMENT]\n\n movdn.5\n # => [num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_id_slot_prefix, scheme_id_slot_suffix, pub_key_slot_prefix, pub_key_slot_suffix, num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n exec.::miden::standards::auth::signature::verify_signatures\n # => [num_verified_signatures, TX_SUMMARY_COMMITMENT, default_threshold]\n\n # ------ Checking threshold is >= num_verified_signatures ------\n\n movup.5\n # => [default_threshold, num_verified_signatures, TX_SUMMARY_COMMITMENT]\n\n exec.compute_transaction_threshold\n # => [transaction_threshold, num_verified_signatures, TX_SUMMARY_COMMITMENT]\n\n u32assert2 u32lt\n # => [is_unauthorized, TX_SUMMARY_COMMITMENT]\n\n # If signatures are non-existent the tx will fail here.\n if.true\n emit.AUTH_UNAUTHORIZED_EVENT\n push.0 assert.err=\"insufficient number of signatures\"\n end\n\n # => [TX_SUMMARY_COMMITMENT]\nend\n";
|
|
1
|
+
export declare const MULTISIG_MASM = "# Multi-Signature RPO Falcon 512 Authentication Core Library\n#\n# This library provides the reusable multisig procedures used by account wrappers.\n\nuse miden::protocol::active_account\nuse miden::protocol::auth::AUTH_UNAUTHORIZED_EVENT\nuse miden::protocol::native_account\nuse miden::standards::auth\n\n# CONSTANTS\n# =================================================================================================\n\n# Auth Request Constants\n\n# Storage Layout Constants\n#\n# +-------------------------------+----------+------------+--------------+-------------------+\n# | THRESHOLD & APPROVERS CONFIG | PUB KEYS | SCHEME IDS | EXECUTED TXS | PROC THRESHOLDS |\n# | (slot) | (map) | (map) | (map) | (map) |\n# +-------------------------------+----------+------------+--------------+-------------------+\n# | 0 | 1 | 2 | 3 | 4 |\n# +-------------------------------+----------+------------+--------------+-------------------+\n\n# The slot in this component's storage layout where the default signature threshold and\n# number of approvers are stored as:\n# [default_threshold, num_approvers, 0, 0].\n# The threshold is guaranteed to be less than or equal to num_approvers.\nconst THRESHOLD_CONFIG_SLOT=word(\"openzeppelin::multisig::threshold_config\")\n\n# The slot in this component's storage layout where the public keys map is stored.\n# Map entries: [key_index, 0, 0, 0] => APPROVER_PUBLIC_KEY\nconst PUBLIC_KEYS_MAP_SLOT=word(\"openzeppelin::multisig::signer_public_keys\")\n\n# The slot in this component's storage layout where signer scheme IDs are stored.\n# Map entries: [key_index, 0, 0, 0] => [scheme_id, 0, 0, 0]\nconst APPROVER_SCHEME_ID_SLOT=word(\"openzeppelin::multisig::signer_scheme_ids\")\n\n# The slot in this component's storage layout where executed transactions are stored.\n# Map entries: transaction_message => [is_executed, 0, 0, 0]\nconst EXECUTED_TXS_SLOT=word(\"openzeppelin::multisig::executed_transactions\")\n\n# The slot in this component's storage layout where procedure thresholds are stored.\n# Map entries: PROC_ROOT => [proc_threshold, 0, 0, 0]\nconst PROC_THRESHOLD_ROOTS_SLOT=word(\"openzeppelin::multisig::procedure_thresholds\")\n\n# Executed Transaction Flag Constant\nconst IS_EXECUTED_FLAG=[1, 0, 0, 0]\nconst FALCON_512_POSEIDON2_SCHEME_WORD=[2, 0, 0, 0]\n\n# ERRORS\nconst ERR_TX_ALREADY_EXECUTED=\"failed to approve multisig transaction as it was already executed\"\n\nconst ERR_MALFORMED_MULTISIG_CONFIG=\"number of approvers must be equal to or greater than threshold\"\n\nconst ERR_ZERO_IN_MULTISIG_CONFIG=\"number of approvers or threshold must not be zero\"\n\nconst ERR_PROC_THRESHOLD_NOT_U32=\"procedure threshold must be a u32 value\"\n\nconst ERR_NUM_APPROVERS_OR_PROC_THRESHOLD_NOT_U32=\"number of approvers and procedure threshold must be u32\"\n\nconst ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS=\"procedure threshold exceeds number of approvers\"\n\n# MULTISIG PROCEDURES\n# =================================================================================================\n\n#! Check if transaction has already been executed and add it to executed transactions for replay protection.\n#!\n#! Inputs: [MSG]\n#! Outputs: []\n#!\n#! Panics if:\n#! - the same transaction has already been executed\npub proc assert_new_tx(msg: word)\n push.IS_EXECUTED_FLAG\n # => [[0, 0, 0, is_executed], MSG]\n\n swapw\n # => [MSG, IS_EXECUTED_FLAG]\n\n push.EXECUTED_TXS_SLOT[0..2]\n # => [txs_slot_prefix, txs_slot_suffix, MSG, IS_EXECUTED_FLAG]\n\n # Set the key value pair in the map to mark transaction as executed\n exec.native_account::set_map_item\n # => [[0, 0, 0, is_executed]]\n\n drop drop drop\n # => [is_executed]\n\n assertz.err=ERR_TX_ALREADY_EXECUTED\n # => []\nend\n\n#! Remove old approver public keys from the approver public key mapping.\n#!\n#! This procedure cleans up the storage by removing public keys of approvers that are no longer\n#! part of the multisig configuration. This procedure assumes that init_num_of_approvers and\n#! new_num_of_approvers are u32 values.\n#!\n#! Inputs: [init_num_of_approvers, new_num_of_approvers]\n#! Outputs: []\n#!\n#! Where:\n#! - init_num_of_approvers is the original number of approvers before the update\n#! - new_num_of_approvers is the new number of approvers after the update\nproc cleanup_pubkey_mapping(init_num_of_approvers: u32, new_num_of_approvers: u32)\n dup.1 dup.1\n u32assert2 u32lt\n # => [should_loop, i = init_num_of_approvers, new_num_of_approvers]\n\n while.true\n # => [i, new_num_of_approvers]\n\n sub.1\n # => [i-1, new_num_of_approvers]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, new_num_of_approvers]\n\n padw swapw\n # => [APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE, i-1, new_num_of_approvers]\n\n dropw\n # => [i-1, new_num_of_approvers]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, new_num_of_approvers]\n\n padw swapw\n # => [APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_slot_prefix, scheme_slot_suffix, APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE, i-1, new_num_of_approvers]\n\n dropw\n # => [i-1, new_num_of_approvers]\n\n dup.1 dup.1\n u32lt\n # => [should_loop, i-1, new_num_of_approvers]\n end\n\n drop drop\n # => []\nend\n\nproc create_approver_map_key\n push.0.0.0 movup.3\n # => [APPROVER_MAP_KEY]\nend\n\nproc get_threshold_and_num_approvers\n push.THRESHOLD_CONFIG_SLOT[0..2]\n exec.active_account::get_initial_item\n # => [threshold, num_approvers]\n\n movup.2 drop movup.2 drop\n # => [threshold, num_approvers]\nend\n\nproc assert_proc_thresholds_lte_num_approvers(num_approvers: u32)\n exec.active_account::get_num_procedures\n # => [num_procedures, num_approvers]\n\n dup neq.0\n # => [should_continue, num_procedures, num_approvers]\n while.true\n sub.1 dup\n # => [proc_index, proc_index, num_approvers]\n\n exec.active_account::get_procedure_root\n # => [PROC_ROOT, proc_index, num_approvers]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [proc_roots_slot_prefix, proc_roots_slot_suffix, PROC_ROOT, proc_index, num_approvers]\n\n exec.active_account::get_map_item\n # => [[proc_threshold, 0, 0, 0], proc_index, num_approvers]\n\n movdn.3 drop drop drop\n # => [proc_threshold, proc_index, num_approvers]\n\n dup.2\n # => [num_approvers, proc_threshold, proc_index, num_approvers]\n\n u32assert2.err=ERR_PROC_THRESHOLD_NOT_U32\n u32gt assertz.err=ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS\n # => [proc_index, num_approvers]\n\n dup neq.0\n # => [should_continue, proc_index, num_approvers]\n end\n\n drop drop\n # => []\nend\n\n# Internal storage helper used by the public `update_procedure_threshold`\n# entrypoint after it receives direct stack arguments.\nproc set_procedure_threshold(proc_threshold: u32, proc_root: word)\n exec.get_threshold_and_num_approvers\n # => [threshold, num_approvers, proc_threshold, PROC_ROOT]\n\n drop\n # => [num_approvers, proc_threshold, PROC_ROOT]\n\n dup.1 swap\n # => [num_approvers, proc_threshold, proc_threshold, PROC_ROOT]\n\n u32assert2.err=ERR_NUM_APPROVERS_OR_PROC_THRESHOLD_NOT_U32\n u32gt assertz.err=ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS\n # => [proc_threshold, PROC_ROOT]\n\n push.0.0.0\n movup.3\n swapw\n # => [PROC_ROOT, PROC_THRESHOLD_WORD]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [proc_roots_slot_prefix, proc_roots_slot_suffix, PROC_ROOT, PROC_THRESHOLD_WORD]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE]\n\n dropw\n # => []\nend\n\n#! Update threshold config and add / remove approvers\n#!\n#! Inputs:\n#! Operand stack: [MULTISIG_CONFIG_HASH, pad(12)]\n#! Advice map: {\n#! MULTISIG_CONFIG_HASH => [CONFIG, PUB_KEY_N, PUB_KEY_N-1, ..., PUB_KEY_0]\n#! }\n#! Outputs:\n#! Operand stack: [TX_SUMMARY_COMMITMENT]\n#!\n#! Where:\n#! - MULTISIG_CONFIG_HASH is the hash of the threshold and new public key vector\n#! - MULTISIG_CONFIG is [threshold, num_approvers, 0, 0]\n#! - PUB_KEY_i is the public key of the i-th signer\n#!\n#! Locals:\n#! 0: new_num_of_approvers\n#! 1: init_num_of_approvers\n@locals(2)\npub proc update_signers_and_threshold(multisig_config_hash: word)\n adv.push_mapval\n # => [MULTISIG_CONFIG_HASH, pad(12)]\n\n adv_loadw\n # => [MULTISIG_CONFIG, pad(12)]\n\n # store new_num_of_approvers for later\n dup.1 loc_store.0\n # => [MULTISIG_CONFIG, pad(12)]\n\n dup dup.2\n # => [num_approvers, threshold, MULTISIG_CONFIG, pad(12)]\n\n # make sure that the threshold is smaller than the number of approvers\n u32assert2.err=ERR_MALFORMED_MULTISIG_CONFIG\n u32gt assertz.err=ERR_MALFORMED_MULTISIG_CONFIG\n # => [MULTISIG_CONFIG, pad(12)]\n\n dup dup.2\n # => [num_approvers, threshold, MULTISIG_CONFIG, pad(12)]\n\n # make sure that threshold or num_approvers are not zero\n eq.0 assertz.err=ERR_ZERO_IN_MULTISIG_CONFIG\n eq.0 assertz.err=ERR_ZERO_IN_MULTISIG_CONFIG\n # => [MULTISIG_CONFIG, pad(12)]\n\n loc_load.0\n # => [num_approvers, MULTISIG_CONFIG, pad(12)]\n\n exec.assert_proc_thresholds_lte_num_approvers\n # => [MULTISIG_CONFIG, pad(12)]\n\n push.THRESHOLD_CONFIG_SLOT[0..2]\n # => [config_slot_prefix, config_slot_suffix, MULTISIG_CONFIG, pad(12)]\n\n exec.native_account::set_item\n # => [OLD_THRESHOLD_CONFIG, pad(12)]\n\n # store init_num_of_approvers for later\n drop loc_store.1 drop drop\n # => [pad(12)]\n\n loc_load.0\n # => [num_approvers]\n\n dup neq.0\n while.true\n sub.1\n # => [i-1, pad(12)]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, pad(12)]\n\n padw adv_loadw\n # => [PUB_KEY, APPROVER_MAP_KEY, i-1, pad(12)]\n\n swapw\n # => [APPROVER_MAP_KEY, PUB_KEY, i-1, pad(12)]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, APPROVER_MAP_KEY, PUB_KEY, i-1, pad(12)]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE, i-1, pad(12)]\n\n dropw\n # => [i-1, pad(12)]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, pad(12)]\n\n push.FALCON_512_POSEIDON2_SCHEME_WORD\n # => [SCHEME_ID_WORD, APPROVER_MAP_KEY, i-1, pad(12)]\n\n swapw\n # => [APPROVER_MAP_KEY, [2, 0, 0, 0], i-1, pad(12)]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_slot_prefix, scheme_slot_suffix, APPROVER_MAP_KEY, [2, 0, 0, 0], i-1, pad(12)]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE, i-1, pad(12)]\n\n dropw\n # => [i-1, pad(12)]\n\n dup neq.0\n # => [is_non_zero, i-1, pad(12)]\n end\n # => [pad(13)]\n\n drop\n # => [pad(12)]\n\n loc_load.0 loc_load.1\n # => [init_num_of_approvers, new_num_of_approvers, pad(12)]\n\n dup.1 dup.1\n u32assert2 u32lt\n # => [should_cleanup, init_num_of_approvers, new_num_of_approvers, pad(12)]\n\n if.true\n exec.cleanup_pubkey_mapping\n # => [pad(12)]\n else\n drop drop\n # => [pad(12)]\n end\nend\n\n#! Update or clear the threshold override for a specific procedure.\n#!\n#! Inputs:\n#! Operand stack: [proc_threshold, PROC_ROOT]\n#! Outputs:\n#! Operand stack: []\n#! Invocation: call\npub proc update_procedure_threshold(proc_threshold: u32, proc_root: word)\n exec.set_procedure_threshold\nend\n\n# Computes the effective transaction threshold based on called procedures and per-procedure\n# overrides stored in PROC_THRESHOLD_ROOTS_SLOT. Falls back to default_threshold if no\n# overrides apply.\n#\n#! Inputs: [default_threshold]\n#! Outputs: [transaction_threshold]\n@locals(1)\nproc compute_transaction_threshold(default_threshold: u32) -> u32\n # 1. initialize transaction_threshold = 0\n # 2. iterate through all account procedures\n # a. check if the procedure was called during the transaction\n # b. if called, get the override threshold of that procedure from the config map\n # c. if proc_threshold > transaction_threshold, set transaction_threshold = proc_threshold\n # 3. if transaction_threshold == 0 at the end, revert to using default_threshold\n\n # store default_threshold for later\n loc_store.0\n # => []\n\n # 1. initialize transaction_threshold = 0\n push.0\n # => [transaction_threshold]\n\n # get the number of account procedures\n exec.active_account::get_num_procedures\n # => [num_procedures, transaction_threshold]\n\n # 2. iterate through all account procedures\n dup neq.0\n # => [should_continue, num_procedures, transaction_threshold]\n while.true\n sub.1 dup\n # => [num_procedures-1, num_procedures-1, transaction_threshold]\n\n # get procedure root of the procedure with index i\n exec.active_account::get_procedure_root dupw\n # => [PROC_ROOT, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # 2a. check if this procedure has been called in the transaction\n exec.native_account::was_procedure_called\n # => [was_called, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # if it has been called, get the override threshold of that procedure\n if.true\n # => [PROC_ROOT, num_procedures-1, transaction_threshold]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [PROC_THRESHOLD_ROOTS_SLOT_prefix, PROC_THRESHOLD_ROOTS_SLOT_suffix, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # 2b. get the override proc_threshold of that procedure\n # if the procedure has no override threshold, the returned map item will be [0, 0, 0, 0]\n exec.active_account::get_initial_map_item\n # => [[proc_threshold, 0, 0, 0], num_procedures-1, transaction_threshold]\n\n movdn.3 drop drop drop dup dup.3\n # => [transaction_threshold, proc_threshold, proc_threshold, num_procedures-1, transaction_threshold]\n\n u32assert2.err=\"transaction threshold or procedure threshold are not u32\"\n u32gt\n # => [is_gt, proc_threshold, num_procedures-1, transaction_threshold]\n # 2c. if proc_threshold > transaction_threshold, update transaction_threshold\n movup.2 movdn.3\n # => [is_gt, proc_threshold, transaction_threshold, num_procedures-1]\n cdrop\n # => [updated_transaction_threshold, num_procedures-1]\n swap\n # => [num_procedures-1, updated_transaction_threshold]\n # if it has not been called during this transaction, nothing to do, move to the next procedure\n else\n dropw\n # => [num_procedures-1, transaction_threshold]\n end\n\n dup neq.0\n # => [should_continue, num_procedures-1, transaction_threshold]\n end\n\n drop\n # => [transaction_threshold]\n\n loc_load.0\n # => [default_threshold, transaction_threshold]\n\n # 3. if transaction_threshold == 0 at the end, revert to using default_threshold\n dup.1 eq.0\n # => [is_zero, default_threshold, transaction_threshold]\n\n cdrop\n # => [effective_transaction_threshold]\nend\n\n#! Authenticate a transaction using the Falcon signature scheme with multi-signature support.\n#!\n#! This procedure implements multi-signature authentication by:\n#! 1. Computing the transaction summary message that needs to be signed\n#! 2. Verifying signatures from multiple required signers against their public keys\n#! 3. Ensuring the minimum threshold of valid signatures is met\n#! 4. Returning the transaction summary commitment for higher-level wrappers.\n#!\n#! Inputs:\n#! Operand stack: [SALT]\n#! Advice map: {\n#! h(SIG_0, MSG): SIG_0,\n#! h(SIG_1, MSG): SIG_1,\n#! h(SIG_n, MSG): SIG_n\n#! }\n#! Outputs:\n#! Operand stack: []\n#!\n#! Where:\n#! - SALT is a cryptographically random nonce that enables multiple concurrent\n#! multisig transactions while maintaining replay protection. Each transaction\n#! must use a unique SALT value to ensure transaction uniqueness.\n#! - SIG_i is the signature from the i-th signer.\n#! - MSG is the transaction message being signed.\n#! - h(SIG_i, MSG) is the hash of the signature and message used as the advice map key.\n#!\n#! Panics if:\n#! - insufficient number of valid signatures (below threshold).\n#! - insufficient number of valid signatures (below threshold).\n#!\n#! Invocation: exec\n@locals(1)\npub proc auth_tx(salt: word)\n exec.native_account::incr_nonce drop\n # => [SALT]\n\n # ------ Computing transaction summary ------\n\n exec.auth::create_tx_summary\n # => [ACCOUNT_DELTA_COMMITMENT, INPUT_NOTES_COMMITMENT, OUTPUT_NOTES_COMMITMENT, SALT]\n\n # to build a tx_summary in the host, we need these four words in the advice provider\n adv.insert_hqword\n # => [ACCOUNT_DELTA_COMMITMENT, INPUT_NOTES_COMMITMENT, OUTPUT_NOTES_COMMITMENT, SALT]\n\n # the commitment to the tx summary is the message that is signed\n exec.auth::hash_tx_summary\n # => [TX_SUMMARY_COMMITMENT]\n\n # ------ Verifying approver signatures ------\n\n exec.get_threshold_and_num_approvers\n # => [default_threshold, num_of_approvers, TX_SUMMARY_COMMITMENT]\n\n movdn.5\n # => [num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_id_slot_prefix, scheme_id_slot_suffix, pub_key_slot_prefix, pub_key_slot_suffix, num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n exec.::miden::standards::auth::signature::verify_signatures\n # => [num_verified_signatures, TX_SUMMARY_COMMITMENT, default_threshold]\n\n # ------ Checking threshold is >= num_verified_signatures ------\n\n movup.5\n # => [default_threshold, num_verified_signatures, TX_SUMMARY_COMMITMENT]\n\n exec.compute_transaction_threshold\n # => [transaction_threshold, num_verified_signatures, TX_SUMMARY_COMMITMENT]\n\n u32assert2 u32lt\n # => [is_unauthorized, TX_SUMMARY_COMMITMENT]\n\n # If signatures are non-existent the tx will fail here.\n if.true\n emit.AUTH_UNAUTHORIZED_EVENT\n push.0 assert.err=\"insufficient number of signatures\"\n end\n\n # => [TX_SUMMARY_COMMITMENT]\nend\n";
|
|
2
|
+
export declare const MULTISIG_ECDSA_MASM = "# Multi-Signature ECDSA secp256k1 Authentication Core Library\n#\n# This library provides the reusable multisig procedures used by account wrappers.\n\nuse miden::protocol::active_account\nuse miden::protocol::auth::AUTH_UNAUTHORIZED_EVENT\nuse miden::protocol::native_account\nuse miden::standards::auth\n\n# CONSTANTS\n# =================================================================================================\n\n# Auth Request Constants\n\n# Storage Layout Constants\n#\n# +-------------------------------+----------+------------+--------------+-------------------+\n# | THRESHOLD & APPROVERS CONFIG | PUB KEYS | SCHEME IDS | EXECUTED TXS | PROC THRESHOLDS |\n# | (slot) | (map) | (map) | (map) | (map) |\n# +-------------------------------+----------+------------+--------------+-------------------+\n# | 0 | 1 | 2 | 3 | 4 |\n# +-------------------------------+----------+------------+--------------+-------------------+\n\n# The slot in this component's storage layout where the default signature threshold and\n# number of approvers are stored as:\n# [default_threshold, num_approvers, 0, 0].\n# The threshold is guaranteed to be less than or equal to num_approvers.\nconst THRESHOLD_CONFIG_SLOT=word(\"openzeppelin::multisig::threshold_config\")\n\n# The slot in this component's storage layout where the public keys map is stored.\n# Map entries: [key_index, 0, 0, 0] => APPROVER_PUBLIC_KEY\nconst PUBLIC_KEYS_MAP_SLOT=word(\"openzeppelin::multisig::signer_public_keys\")\n\n# The slot in this component's storage layout where signer scheme IDs are stored.\n# Map entries: [key_index, 0, 0, 0] => [scheme_id, 0, 0, 0]\nconst APPROVER_SCHEME_ID_SLOT=word(\"openzeppelin::multisig::signer_scheme_ids\")\n\n# The slot in this component's storage layout where executed transactions are stored.\n# Map entries: transaction_message => [is_executed, 0, 0, 0]\nconst EXECUTED_TXS_SLOT=word(\"openzeppelin::multisig::executed_transactions\")\n\n# The slot in this component's storage layout where procedure thresholds are stored.\n# Map entries: PROC_ROOT => [proc_threshold, 0, 0, 0]\nconst PROC_THRESHOLD_ROOTS_SLOT=word(\"openzeppelin::multisig::procedure_thresholds\")\n\n# Executed Transaction Flag Constant\nconst IS_EXECUTED_FLAG=[1, 0, 0, 0]\nconst ECDSA_K256_KECCAK_SCHEME_WORD=[1, 0, 0, 0]\n\n# ERRORS\nconst ERR_TX_ALREADY_EXECUTED=\"failed to approve multisig transaction as it was already executed\"\n\nconst ERR_MALFORMED_MULTISIG_CONFIG=\"number of approvers must be equal to or greater than threshold\"\n\nconst ERR_ZERO_IN_MULTISIG_CONFIG=\"number of approvers or threshold must not be zero\"\n\nconst ERR_PROC_THRESHOLD_NOT_U32=\"procedure threshold must be a u32 value\"\n\nconst ERR_NUM_APPROVERS_OR_PROC_THRESHOLD_NOT_U32=\"number of approvers and procedure threshold must be u32\"\n\nconst ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS=\"procedure threshold exceeds number of approvers\"\n\n# MULTISIG PROCEDURES\n# =================================================================================================\n\n#! Check if transaction has already been executed and add it to executed transactions for replay protection.\n#!\n#! Inputs: [MSG]\n#! Outputs: []\n#!\n#! Panics if:\n#! - the same transaction has already been executed\npub proc assert_new_tx(msg: word)\n push.IS_EXECUTED_FLAG\n # => [[0, 0, 0, is_executed], MSG]\n\n swapw\n # => [MSG, IS_EXECUTED_FLAG]\n\n push.EXECUTED_TXS_SLOT[0..2]\n # => [txs_slot_prefix, txs_slot_suffix, MSG, IS_EXECUTED_FLAG]\n\n # Set the key value pair in the map to mark transaction as executed\n exec.native_account::set_map_item\n # => [[0, 0, 0, is_executed]]\n\n drop drop drop\n # => [is_executed]\n\n assertz.err=ERR_TX_ALREADY_EXECUTED\n # => []\nend\n\n#! Remove old approver public keys from the approver public key mapping.\n#!\n#! This procedure cleans up the storage by removing public keys of approvers that are no longer\n#! part of the multisig configuration. This procedure assumes that init_num_of_approvers and\n#! new_num_of_approvers are u32 values.\n#!\n#! Inputs: [init_num_of_approvers, new_num_of_approvers]\n#! Outputs: []\n#!\n#! Where:\n#! - init_num_of_approvers is the original number of approvers before the update\n#! - new_num_of_approvers is the new number of approvers after the update\nproc cleanup_pubkey_mapping(init_num_of_approvers: u32, new_num_of_approvers: u32)\n dup.1 dup.1\n u32assert2 u32lt\n # => [should_loop, i = init_num_of_approvers, new_num_of_approvers]\n\n while.true\n # => [i, new_num_of_approvers]\n\n sub.1\n # => [i-1, new_num_of_approvers]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, new_num_of_approvers]\n\n padw swapw\n # => [APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE, i-1, new_num_of_approvers]\n\n dropw\n # => [i-1, new_num_of_approvers]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, new_num_of_approvers]\n\n padw swapw\n # => [APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_slot_prefix, scheme_slot_suffix, APPROVER_MAP_KEY, EMPTY_WORD, i-1, new_num_of_approvers]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE, i-1, new_num_of_approvers]\n\n dropw\n # => [i-1, new_num_of_approvers]\n\n dup.1 dup.1\n u32lt\n # => [should_loop, i-1, new_num_of_approvers]\n end\n\n drop drop\n # => []\nend\n\nproc create_approver_map_key\n push.0.0.0 movup.3\n # => [APPROVER_MAP_KEY]\nend\n\nproc get_threshold_and_num_approvers\n push.THRESHOLD_CONFIG_SLOT[0..2]\n exec.active_account::get_initial_item\n # => [threshold, num_approvers]\n\n movup.2 drop movup.2 drop\n # => [threshold, num_approvers]\nend\n\nproc assert_proc_thresholds_lte_num_approvers(num_approvers: u32)\n exec.active_account::get_num_procedures\n # => [num_procedures, num_approvers]\n\n dup neq.0\n # => [should_continue, num_procedures, num_approvers]\n while.true\n sub.1 dup\n # => [proc_index, proc_index, num_approvers]\n\n exec.active_account::get_procedure_root\n # => [PROC_ROOT, proc_index, num_approvers]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [proc_roots_slot_prefix, proc_roots_slot_suffix, PROC_ROOT, proc_index, num_approvers]\n\n exec.active_account::get_map_item\n # => [[proc_threshold, 0, 0, 0], proc_index, num_approvers]\n\n movdn.3 drop drop drop\n # => [proc_threshold, proc_index, num_approvers]\n\n dup.2\n # => [num_approvers, proc_threshold, proc_index, num_approvers]\n\n u32assert2.err=ERR_PROC_THRESHOLD_NOT_U32\n u32gt assertz.err=ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS\n # => [proc_index, num_approvers]\n\n dup neq.0\n # => [should_continue, proc_index, num_approvers]\n end\n\n drop drop\n # => []\nend\n\n# Internal storage helper used by the public `update_procedure_threshold`\n# entrypoint after it receives direct stack arguments.\nproc set_procedure_threshold(proc_threshold: u32, proc_root: word)\n exec.get_threshold_and_num_approvers\n # => [threshold, num_approvers, proc_threshold, PROC_ROOT]\n\n drop\n # => [num_approvers, proc_threshold, PROC_ROOT]\n\n dup.1 swap\n # => [num_approvers, proc_threshold, proc_threshold, PROC_ROOT]\n\n u32assert2.err=ERR_NUM_APPROVERS_OR_PROC_THRESHOLD_NOT_U32\n u32gt assertz.err=ERR_PROC_THRESHOLD_EXCEEDS_NUM_APPROVERS\n # => [proc_threshold, PROC_ROOT]\n\n push.0.0.0\n movup.3\n swapw\n # => [PROC_ROOT, PROC_THRESHOLD_WORD]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [proc_roots_slot_prefix, proc_roots_slot_suffix, PROC_ROOT, PROC_THRESHOLD_WORD]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE]\n\n dropw\n # => []\nend\n\n#! Update threshold config and add / remove approvers\n#!\n#! Inputs:\n#! Operand stack: [MULTISIG_CONFIG_HASH, pad(12)]\n#! Advice map: {\n#! MULTISIG_CONFIG_HASH => [CONFIG, PUB_KEY_N, PUB_KEY_N-1, ..., PUB_KEY_0]\n#! }\n#! Outputs:\n#! Operand stack: []\n#!\n#! Where:\n#! - MULTISIG_CONFIG_HASH is the hash of the threshold and new public key vector\n#! - MULTISIG_CONFIG is [threshold, num_approvers, 0, 0]\n#! - PUB_KEY_i is the public key of the i-th signer\n#!\n#! Locals:\n#! 0: new_num_of_approvers\n#! 1: init_num_of_approvers\n@locals(2)\npub proc update_signers_and_threshold(multisig_config_hash: word)\n adv.push_mapval\n # => [MULTISIG_CONFIG_HASH, pad(12)]\n\n adv_loadw\n # => [MULTISIG_CONFIG, pad(12)]\n\n # store new_num_of_approvers for later\n dup.1 loc_store.0\n # => [MULTISIG_CONFIG, pad(12)]\n\n dup dup.2\n # => [num_approvers, threshold, MULTISIG_CONFIG, pad(12)]\n\n # make sure that the threshold is smaller than the number of approvers\n u32assert2.err=ERR_MALFORMED_MULTISIG_CONFIG\n u32gt assertz.err=ERR_MALFORMED_MULTISIG_CONFIG\n # => [MULTISIG_CONFIG, pad(12)]\n\n dup dup.2\n # => [num_approvers, threshold, MULTISIG_CONFIG, pad(12)]\n\n # make sure that threshold or num_approvers are not zero\n eq.0 assertz.err=ERR_ZERO_IN_MULTISIG_CONFIG\n eq.0 assertz.err=ERR_ZERO_IN_MULTISIG_CONFIG\n # => [MULTISIG_CONFIG, pad(12)]\n\n loc_load.0\n # => [num_approvers, MULTISIG_CONFIG, pad(12)]\n\n exec.assert_proc_thresholds_lte_num_approvers\n # => [MULTISIG_CONFIG, pad(12)]\n\n push.THRESHOLD_CONFIG_SLOT[0..2]\n # => [config_slot_prefix, config_slot_suffix, MULTISIG_CONFIG, pad(12)]\n\n exec.native_account::set_item\n # => [OLD_THRESHOLD_CONFIG, pad(12)]\n\n # store init_num_of_approvers for later\n drop loc_store.1 drop drop\n # => [pad(12)]\n\n loc_load.0\n # => [num_approvers]\n\n dup neq.0\n while.true\n sub.1\n # => [i-1, pad(12)]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, pad(12)]\n\n padw adv_loadw\n # => [PUB_KEY, APPROVER_MAP_KEY, i-1, pad(12)]\n\n swapw\n # => [APPROVER_MAP_KEY, PUB_KEY, i-1, pad(12)]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, APPROVER_MAP_KEY, PUB_KEY, i-1, pad(12)]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE, i-1, pad(12)]\n\n dropw\n # => [i-1, pad(12)]\n\n dup exec.create_approver_map_key\n # => [APPROVER_MAP_KEY, i-1, pad(12)]\n\n push.ECDSA_K256_KECCAK_SCHEME_WORD\n # => [SCHEME_ID_WORD, APPROVER_MAP_KEY, i-1, pad(12)]\n\n swapw\n # => [APPROVER_MAP_KEY, [1, 0, 0, 0], i-1, pad(12)]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_slot_prefix, scheme_slot_suffix, APPROVER_MAP_KEY, [1, 0, 0, 0], i-1, pad(12)]\n\n exec.native_account::set_map_item\n # => [OLD_VALUE, i-1, pad(12)]\n\n dropw\n # => [i-1, pad(12)]\n\n dup neq.0\n # => [is_non_zero, i-1, pad(12)]\n end\n # => [pad(13)]\n\n drop\n # => [pad(12)]\n\n loc_load.0 loc_load.1\n # => [init_num_of_approvers, new_num_of_approvers, pad(12)]\n\n dup.1 dup.1\n u32assert2 u32lt\n # => [should_cleanup, init_num_of_approvers, new_num_of_approvers, pad(12)]\n\n if.true\n exec.cleanup_pubkey_mapping\n # => [pad(12)]\n else\n drop drop\n # => [pad(12)]\n end\nend\n\n#! Update or clear the threshold override for a specific procedure.\n#!\n#! Inputs:\n#! Operand stack: [proc_threshold, PROC_ROOT]\n#! Outputs:\n#! Operand stack: []\n#! Invocation: call\npub proc update_procedure_threshold(proc_threshold: u32, proc_root: word)\n exec.set_procedure_threshold\nend\n\n# Computes the effective transaction threshold based on called procedures and per-procedure\n# overrides stored in PROC_THRESHOLD_ROOTS_SLOT. Falls back to default_threshold if no\n# overrides apply.\n#\n#! Inputs: [default_threshold]\n#! Outputs: [transaction_threshold]\n@locals(1)\nproc compute_transaction_threshold(default_threshold: u32) -> u32\n # 1. initialize transaction_threshold = 0\n # 2. iterate through all account procedures\n # a. check if the procedure was called during the transaction\n # b. if called, get the override threshold of that procedure from the config map\n # c. if proc_threshold > transaction_threshold, set transaction_threshold = proc_threshold\n # 3. if transaction_threshold == 0 at the end, revert to using default_threshold\n\n # store default_threshold for later\n loc_store.0\n # => []\n\n # 1. initialize transaction_threshold = 0\n push.0\n # => [transaction_threshold]\n\n # get the number of account procedures\n exec.active_account::get_num_procedures\n # => [num_procedures, transaction_threshold]\n\n # 2. iterate through all account procedures\n dup neq.0\n # => [should_continue, num_procedures, transaction_threshold]\n while.true\n sub.1 dup\n # => [num_procedures-1, num_procedures-1, transaction_threshold]\n\n # get procedure root of the procedure with index i\n exec.active_account::get_procedure_root dupw\n # => [PROC_ROOT, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # 2a. check if this procedure has been called in the transaction\n exec.native_account::was_procedure_called\n # => [was_called, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # if it has been called, get the override threshold of that procedure\n if.true\n # => [PROC_ROOT, num_procedures-1, transaction_threshold]\n\n push.PROC_THRESHOLD_ROOTS_SLOT[0..2]\n # => [PROC_THRESHOLD_ROOTS_SLOT_prefix, PROC_THRESHOLD_ROOTS_SLOT_suffix, PROC_ROOT, num_procedures-1, transaction_threshold]\n\n # 2b. get the override proc_threshold of that procedure\n # if the procedure has no override threshold, the returned map item will be [0, 0, 0, 0]\n exec.active_account::get_initial_map_item\n # => [[proc_threshold, 0, 0, 0], num_procedures-1, transaction_threshold]\n\n movdn.3 drop drop drop dup dup.3\n # => [transaction_threshold, proc_threshold, proc_threshold, num_procedures-1, transaction_threshold]\n\n u32assert2.err=\"transaction threshold or procedure threshold are not u32\"\n u32gt\n # => [is_gt, proc_threshold, num_procedures-1, transaction_threshold]\n # 2c. if proc_threshold > transaction_threshold, update transaction_threshold\n movup.2 movdn.3\n # => [is_gt, proc_threshold, transaction_threshold, num_procedures-1]\n cdrop\n # => [updated_transaction_threshold, num_procedures-1]\n swap\n # => [num_procedures-1, updated_transaction_threshold]\n # if it has not been called during this transaction, nothing to do, move to the next procedure\n else\n dropw\n # => [num_procedures-1, transaction_threshold]\n end\n\n dup neq.0\n # => [should_continue, num_procedures-1, transaction_threshold]\n end\n\n drop\n # => [transaction_threshold]\n\n loc_load.0\n # => [default_threshold, transaction_threshold]\n\n # 3. if transaction_threshold == 0 at the end, revert to using default_threshold\n dup.1 eq.0\n # => [is_zero, default_threshold, transaction_threshold]\n\n cdrop\n # => [effective_transaction_threshold]\nend\n\n#! Authenticate a transaction using ECDSA secp256k1 with multi-signature support.\n#!\n#! This procedure implements multi-signature authentication by:\n#! 1. Computing the transaction summary message that needs to be signed\n#! 2. Verifying ECDSA signatures from multiple required signers against their public keys\n#! 3. Ensuring the minimum threshold of valid signatures is met\n#! 4. Returning the transaction summary commitment for higher-level wrappers.\n#!\n#! Inputs:\n#! Operand stack: [SALT]\n#! Advice map: {\n#! h(PUB_KEY_0, MSG): SIG_0,\n#! h(PUB_KEY_1, MSG): SIG_1,\n#! h(PUB_KEY_n, MSG): SIG_n\n#! }\n#! Outputs:\n#! Operand stack: [TX_SUMMARY_COMMITMENT]\n#!\n#! Where:\n#! - SALT is a cryptographically random nonce that enables multiple concurrent\n#! multisig transactions while maintaining replay protection. Each transaction\n#! must use a unique SALT value to ensure transaction uniqueness.\n#! - SIG_i is the ECDSA signature from the i-th signer.\n#! - MSG is the transaction message being signed.\n#! - h(PUB_KEY_i, MSG) is the hash of the public key and message used as the advice map key.\n#!\n#! Panics if:\n#! - insufficient number of valid signatures (below threshold).\n#! - insufficient number of valid signatures (below threshold).\n#!\n#! Invocation: exec\n@locals(1)\npub proc auth_tx(salt: word)\n exec.native_account::incr_nonce drop\n # => [SALT]\n\n # ------ Computing transaction summary ------\n\n exec.auth::create_tx_summary\n # => [ACCOUNT_DELTA_COMMITMENT, INPUT_NOTES_COMMITMENT, OUTPUT_NOTES_COMMITMENT, SALT]\n\n # to build a tx_summary in the host, we need these four words in the advice provider\n adv.insert_hqword\n # => [ACCOUNT_DELTA_COMMITMENT, INPUT_NOTES_COMMITMENT, OUTPUT_NOTES_COMMITMENT, SALT]\n\n # the commitment to the tx summary is the message that is signed\n exec.auth::hash_tx_summary\n # => [TX_SUMMARY_COMMITMENT]\n\n # ------ Verifying approver signatures ------\n\n exec.get_threshold_and_num_approvers\n # => [default_threshold, num_of_approvers, TX_SUMMARY_COMMITMENT]\n\n movdn.5\n # => [num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n push.PUBLIC_KEYS_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n push.APPROVER_SCHEME_ID_SLOT[0..2]\n # => [scheme_id_slot_prefix, scheme_id_slot_suffix, pub_key_slot_prefix, pub_key_slot_suffix, num_of_approvers, TX_SUMMARY_COMMITMENT, default_threshold]\n\n exec.::miden::standards::auth::signature::verify_signatures\n # => [num_verified_signatures, TX_SUMMARY_COMMITMENT, default_threshold]\n\n # ------ Checking threshold is >= num_verified_signatures ------\n\n movup.5\n # => [default_threshold, num_verified_signatures, TX_SUMMARY_COMMITMENT]\n\n exec.compute_transaction_threshold\n # => [transaction_threshold, num_verified_signatures, TX_SUMMARY_COMMITMENT]\n\n u32assert2 u32lt\n # => [is_unauthorized, TX_SUMMARY_COMMITMENT]\n\n # If signatures are non-existent the tx will fail here.\n if.true\n emit.AUTH_UNAUTHORIZED_EVENT\n push.0 assert.err=\"insufficient number of signatures\"\n end\n\n # => [TX_SUMMARY_COMMITMENT]\nend\n";
|
|
3
3
|
export declare const GUARDIAN_MASM = "# Guardian Authentication Component\n#\n# This component provides GUARDIAN signature verification for accounts.\n# It can be used standalone or in conjunction with other auth components like multisig.\n\nuse miden::protocol::active_account\nuse miden::protocol::auth::AUTH_UNAUTHORIZED_EVENT\nuse miden::protocol::native_account\n\n# IMPORTANT SECURITY NOTES\n# --------------------------------------------------------------------------------\n# - The selector in `GUARDIAN_SELECTOR_SLOT` controls whether the extra GUARDIAN signature\n# is enforced:\n# * GUARDIAN_ON => exactly one valid GUARDIAN signature is required.\n# * GUARDIAN_OFF => GUARDIAN signature is skipped for that call.\n#\n# - `verify_guardian_signature` reads the selector from initial storage state.\n# This means changes made during the same transaction won't affect the check.\n#\n# - `enable_guardian` / `disable_guardian` procedures allow explicit control over GUARDIAN state.\n#\n# - `update_guardian_public_key`:\n# * Installs a new GUARDIAN public key in the map at `GUARDIAN_PUBLIC_KEY_MAP_SLOT`.\n# * Does not itself perform any signature checks.\n# * To update the key without requiring GUARDIAN signature, ensure selector is OFF.\n#\n# Storage Layout\n# --------------------------------------------------------------------------------\n#\n# +---------------------+---------------+\n# | DESCRIPTION | SLOT |\n# +---------------------+---------------+\n# | GUARDIAN SELECTOR (word) | 0 |\n# | GUARDIAN PUBLIC KEY MAP | 1 |\n# | GUARDIAN SCHEME ID MAP | 2 |\n# +---------------------+---------------+\n#\n# - GUARDIAN_SELECTOR_SLOT (0):\n# * Stores a word that is compared against [1, 0, 0, 0] (GUARDIAN_ON).\n# * Any value != GUARDIAN_ON is treated as GUARDIAN_OFF.\n#\n# - GUARDIAN_PUBLIC_KEY_MAP_SLOT (1):\n# * A map from a fixed key [0, 0, 0, 0] to the single GUARDIAN public key:\n# [0, 0, 0, 0] => GUARDIAN_PUBLIC_KEY\n# * GUARDIAN_PUBLIC_KEY is a Falcon Poseidon2 public key represented as a word.\n\n# CONSTANTS\n# =================================================================================================\n\n# Slot where the GUARDIAN selector flag is stored (using word() for named slot access):\n# - GUARDIAN_ON => GUARDIAN signature required\n# - GUARDIAN_OFF => GUARDIAN signature skipped\nconst GUARDIAN_SELECTOR_SLOT=word(\"openzeppelin::guardian::selector\")\n\n# Map slot for GUARDIAN public key\n# Uses exactly one GUARDIAN public key at index [0, 0, 0, 0]\n# [0, 0, 0, 0] => GUARDIAN_PUBLIC_KEY\nconst GUARDIAN_PUBLIC_KEY_MAP_SLOT=word(\"openzeppelin::guardian::public_key\")\n\n# Map slot for GUARDIAN signature scheme IDs\n# Uses exactly one scheme ID entry at index [0, 0, 0, 0]\n# [0, 0, 0, 0] => [scheme_id, 0, 0, 0]\nconst GUARDIAN_SCHEME_ID_MAP_SLOT=word(\"openzeppelin::guardian::scheme_id\")\n\n# Selector flag values\nconst GUARDIAN_ON=[1, 0, 0, 0]\nconst GUARDIAN_OFF=[0, 0, 0, 0]\nconst FALCON_512_POSEIDON2_SCHEME_WORD=[2, 0, 0, 0]\n\n# GUARDIAN PROCEDURES\n# =================================================================================================\n\n#! Enable GUARDIAN verification by setting the selector to ON.\n#!\n#! Operand stack inputs: []\n#! Outputs: []\n#!\n#! Notes:\n#! - Sets GUARDIAN_SELECTOR_SLOT to GUARDIAN_ON (1)\n#! - After this, transactions will require GUARDIAN signature verification\nproc enable_guardian\n push.GUARDIAN_ON\n # => [GUARDIAN_ON]\n\n push.GUARDIAN_SELECTOR_SLOT[0..2]\n # => [selector_slot_prefix, selector_slot_suffix, GUARDIAN_ON]\n\n exec.native_account::set_item\n # => [OLD_ROOT]\n\n dropw\n # => []\nend\n\n#! Disable GUARDIAN verification by setting the selector to OFF.\n#!\n#! Operand stack inputs: []\n#! Outputs: []\n#!\n#! Notes:\n#! - Sets GUARDIAN_SELECTOR_SLOT to GUARDIAN_OFF (0)\n#! - After this, transactions will NOT require GUARDIAN signature verification\nproc disable_guardian\n push.GUARDIAN_OFF\n # => [GUARDIAN_OFF]\n\n push.GUARDIAN_SELECTOR_SLOT[0..2]\n # => [selector_slot_prefix, selector_slot_suffix, GUARDIAN_OFF]\n\n exec.native_account::set_item\n # => [OLD_ROOT]\n\n dropw\n # => []\nend\n\n#! Update the GUARDIAN public key.\n#!\n#! Operand stack inputs: []\n#! Advice stack inputs: [PUB_KEY]\n#! - PUB_KEY is the new GUARDIAN RPO Falcon 512 public key\n#!\n#! Notes:\n#! - Stores PUB_KEY into GUARDIAN_PUBLIC_KEY_MAP_SLOT:\n#! [0, 0, 0, 0] => GUARDIAN_PUBLIC_KEY\n#! - To update the key without requiring GUARDIAN signature, ensure\n#! GUARDIAN_SELECTOR_SLOT = 0 (OFF) before calling this.\npub proc update_guardian_public_key\n exec.disable_guardian\n # ------ Update the GUARDIAN public key ------\n adv_loadw\n # => [PUB_KEY]\n\n push.0.0.0.0\n # => [MAP_KEY, PUB_KEY]\n # Note that MAP_KEY is [0, 0, 0, 0] for a single GUARDIAN_KEY\n\n push.GUARDIAN_PUBLIC_KEY_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, MAP_KEY, PUB_KEY]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE]\n\n dropw\n # => []\n\n push.0.0.0.0\n # => [MAP_KEY]\n\n push.FALCON_512_POSEIDON2_SCHEME_WORD\n # => [SCHEME_ID_WORD, MAP_KEY]\n\n swapw\n # => [MAP_KEY, SCHEME_ID_WORD]\n\n push.GUARDIAN_SCHEME_ID_MAP_SLOT[0..2]\n # => [scheme_id_slot_prefix, scheme_id_slot_suffix, MAP_KEY, SCHEME_ID_WORD]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE]\n\n dropw\n # => []\nend\n\n#! Conditionally verify a \"GUARDIAN\" signature against a stored public key hash.\n#! The condition is controlled by the selector at GUARDIAN_SELECTOR_SLOT.\n#!\n#! Inputs: [MSG]\n#! Outputs: [MSG]\n#!\n#! Panics if:\n#! - Selector is ON but the provided GUARDIAN signature is invalid or missing.\n#!\n#! Notes:\n#! - MSG is TX_SUMMARY_COMMITMENT provided by auth procedure\n#! - If selector is OFF (0), GUARDIAN verification is skipped\n#! - Selector value is read from initial storage state\npub proc verify_guardian_signature(msg: word)\n push.GUARDIAN_SELECTOR_SLOT[0..2]\n exec.active_account::get_item\n drop drop drop\n # => [selector, MSG]\n\n push.1 eq\n if.true\n push.1\n push.GUARDIAN_PUBLIC_KEY_MAP_SLOT[0..2]\n push.GUARDIAN_SCHEME_ID_MAP_SLOT[0..2]\n exec.::miden::standards::auth::signature::verify_signatures\n push.1 neq\n if.true\n emit.AUTH_UNAUTHORIZED_EVENT\n push.0 assert.err=\"invalid GUARDIAN signature\"\n end\n end\n # => [MSG]\n exec.enable_guardian\nend\n";
|
|
4
4
|
export declare const GUARDIAN_ECDSA_MASM = "# Guardian Authentication Component (ECDSA)\n#\n# This component provides GUARDIAN signature verification for accounts using\n# ECDSA secp256k1 (k256/keccak) signatures.\n# It can be used standalone or in conjunction with other auth components like multisig.\n\nuse miden::protocol::active_account\nuse miden::protocol::auth::AUTH_UNAUTHORIZED_EVENT\nuse miden::protocol::native_account\n\n# IMPORTANT SECURITY NOTES\n# --------------------------------------------------------------------------------\n# - The selector in `GUARDIAN_SELECTOR_SLOT` controls whether the extra GUARDIAN signature\n# is enforced:\n# * GUARDIAN_ON => exactly one valid GUARDIAN signature is required.\n# * GUARDIAN_OFF => GUARDIAN signature is skipped for that call.\n#\n# - `verify_guardian_signature` reads the selector from initial storage state.\n# This means changes made during the same transaction won't affect the check.\n#\n# - `enable_guardian` / `disable_guardian` procedures allow explicit control over GUARDIAN state.\n#\n# - `update_guardian_public_key`:\n# * Installs a new GUARDIAN public key in the map at `GUARDIAN_PUBLIC_KEY_MAP_SLOT`.\n# * Does not itself perform any signature checks.\n# * To update the key without requiring GUARDIAN signature, ensure selector is OFF.\n#\n# Storage Layout\n# --------------------------------------------------------------------------------\n#\n# +---------------------+---------------+\n# | DESCRIPTION | SLOT |\n# +---------------------+---------------+\n# | GUARDIAN SELECTOR (word) | 0 |\n# | GUARDIAN PUBLIC KEY MAP | 1 |\n# +---------------------+---------------+\n#\n# - GUARDIAN_SELECTOR_SLOT (0):\n# * Stores a word that is compared against [1, 0, 0, 0] (GUARDIAN_ON).\n# * Any value != GUARDIAN_ON is treated as GUARDIAN_OFF.\n#\n# - GUARDIAN_PUBLIC_KEY_MAP_SLOT (1):\n# * A map from a fixed key [0, 0, 0, 0] to the single GUARDIAN public key:\n# [0, 0, 0, 0] => GUARDIAN_PUBLIC_KEY\n# * GUARDIAN_PUBLIC_KEY is an ECDSA secp256k1 public key represented as a word.\n\n# CONSTANTS\n# =================================================================================================\n\n# Slot where the GUARDIAN selector flag is stored (using word() for named slot access):\n# - GUARDIAN_ON => GUARDIAN signature required\n# - GUARDIAN_OFF => GUARDIAN signature skipped\nconst GUARDIAN_SELECTOR_SLOT=word(\"openzeppelin::guardian::selector\")\n\n# Map slot for GUARDIAN public key\n# Uses exactly one GUARDIAN public key at index [0, 0, 0, 0]\n# [0, 0, 0, 0] => GUARDIAN_PUBLIC_KEY\nconst GUARDIAN_PUBLIC_KEY_MAP_SLOT=word(\"openzeppelin::guardian::public_key\")\nconst GUARDIAN_SCHEME_ID_MAP_SLOT=word(\"openzeppelin::guardian::scheme_id\")\n\n# Selector flag values\nconst GUARDIAN_ON=[1, 0, 0, 0]\nconst GUARDIAN_OFF=[0, 0, 0, 0]\nconst ECDSA_K256_KECCAK_SCHEME_WORD=[1, 0, 0, 0]\n\n# GUARDIAN PROCEDURES\n# =================================================================================================\n\n#! Enable GUARDIAN verification by setting the selector to ON.\n#!\n#! Operand stack inputs: []\n#! Outputs: []\n#!\n#! Notes:\n#! - Sets GUARDIAN_SELECTOR_SLOT to GUARDIAN_ON (1)\n#! - After this, transactions will require GUARDIAN signature verification\nproc enable_guardian\n push.GUARDIAN_ON\n # => [GUARDIAN_ON]\n\n push.GUARDIAN_SELECTOR_SLOT[0..2]\n # => [selector_slot_prefix, selector_slot_suffix, GUARDIAN_ON]\n\n exec.native_account::set_item\n # => [OLD_ROOT]\n\n dropw\n # => []\nend\n\n#! Disable GUARDIAN verification by setting the selector to OFF.\n#!\n#! Operand stack inputs: []\n#! Outputs: []\n#!\n#! Notes:\n#! - Sets GUARDIAN_SELECTOR_SLOT to GUARDIAN_OFF (0)\n#! - After this, transactions will NOT require GUARDIAN signature verification\nproc disable_guardian\n push.GUARDIAN_OFF\n # => [GUARDIAN_OFF]\n\n push.GUARDIAN_SELECTOR_SLOT[0..2]\n # => [selector_slot_prefix, selector_slot_suffix, GUARDIAN_OFF]\n\n exec.native_account::set_item\n # => [OLD_ROOT]\n\n dropw\n # => []\nend\n\n#! Update the GUARDIAN public key.\n#!\n#! Operand stack inputs: []\n#! Advice stack inputs: [PUB_KEY]\n#! - PUB_KEY is the new GUARDIAN ECDSA secp256k1 public key\n#!\n#! Notes:\n#! - Stores PUB_KEY into GUARDIAN_PUBLIC_KEY_MAP_SLOT:\n#! [0, 0, 0, 0] => GUARDIAN_PUBLIC_KEY\n#! - To update the key without requiring GUARDIAN signature, ensure\n#! GUARDIAN_SELECTOR_SLOT = 0 (OFF) before calling this.\npub proc update_guardian_public_key\n exec.disable_guardian\n # ------ Update the GUARDIAN public key ------\n adv_loadw\n # => [PUB_KEY]\n\n push.0.0.0.0\n # => [MAP_KEY, PUB_KEY]\n # Note that MAP_KEY is [0, 0, 0, 0] for a single GUARDIAN_KEY\n\n push.GUARDIAN_PUBLIC_KEY_MAP_SLOT[0..2]\n # => [pub_key_slot_prefix, pub_key_slot_suffix, MAP_KEY, PUB_KEY]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE]\n\n dropw\n # => []\n\n push.0.0.0.0\n # => [MAP_KEY]\n\n push.ECDSA_K256_KECCAK_SCHEME_WORD\n # => [SCHEME_ID_WORD, MAP_KEY]\n\n swapw\n # => [MAP_KEY, SCHEME_ID_WORD]\n\n push.GUARDIAN_SCHEME_ID_MAP_SLOT[0..2]\n # => [scheme_id_slot_prefix, scheme_id_slot_suffix, MAP_KEY, SCHEME_ID_WORD]\n\n exec.native_account::set_map_item\n # => [OLD_MAP_VALUE]\n\n dropw\n # => []\nend\n\n#! Conditionally verify a \"GUARDIAN\" signature against a stored public key hash.\n#! The condition is controlled by the selector at GUARDIAN_SELECTOR_SLOT.\n#!\n#! Inputs: [MSG]\n#! Outputs: [MSG]\n#!\n#! Panics if:\n#! - Selector is ON but the provided GUARDIAN signature is invalid or missing.\n#!\n#! Notes:\n#! - MSG is TX_SUMMARY_COMMITMENT provided by auth procedure\n#! - If selector is OFF (0), GUARDIAN verification is skipped\n#! - Selector value is read from initial storage state\npub proc verify_guardian_signature(msg: word)\n push.GUARDIAN_SELECTOR_SLOT[0..2]\n exec.active_account::get_item\n drop drop drop\n # => [selector, MSG]\n\n push.1 eq\n if.true\n push.1\n push.GUARDIAN_PUBLIC_KEY_MAP_SLOT[0..2]\n push.GUARDIAN_SCHEME_ID_MAP_SLOT[0..2]\n exec.::miden::standards::auth::signature::verify_signatures\n push.1 neq\n if.true\n emit.AUTH_UNAUTHORIZED_EVENT\n push.0 assert.err=\"invalid GUARDIAN signature\"\n end\n end\n # => [MSG]\n exec.enable_guardian\nend\n";
|
|
5
5
|
//# sourceMappingURL=auth.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"auth.d.ts","sourceRoot":"","sources":["../../../src/account/masm/auth.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,aAAa,
|
|
1
|
+
{"version":3,"file":"auth.d.ts","sourceRoot":"","sources":["../../../src/account/masm/auth.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,aAAa,63lBA0iBzB,CAAC;AAEF,eAAO,MAAM,mBAAmB,y4lBA0iB/B,CAAC;AAEF,eAAO,MAAM,aAAa,89MAuMzB,CAAC;AAEF,eAAO,MAAM,mBAAmB,i1MAmM/B,CAAC"}
|
|
@@ -351,14 +351,20 @@ pub proc update_signers_and_threshold(multisig_config_hash: word)
|
|
|
351
351
|
drop
|
|
352
352
|
# => [pad(12)]
|
|
353
353
|
|
|
354
|
-
# compare initial vs current multisig config
|
|
355
|
-
|
|
356
|
-
# load init_num_of_approvers & new_num_of_approvers
|
|
357
354
|
loc_load.0 loc_load.1
|
|
358
355
|
# => [init_num_of_approvers, new_num_of_approvers, pad(12)]
|
|
359
356
|
|
|
360
|
-
|
|
361
|
-
|
|
357
|
+
dup.1 dup.1
|
|
358
|
+
u32assert2 u32lt
|
|
359
|
+
# => [should_cleanup, init_num_of_approvers, new_num_of_approvers, pad(12)]
|
|
360
|
+
|
|
361
|
+
if.true
|
|
362
|
+
exec.cleanup_pubkey_mapping
|
|
363
|
+
# => [pad(12)]
|
|
364
|
+
else
|
|
365
|
+
drop drop
|
|
366
|
+
# => [pad(12)]
|
|
367
|
+
end
|
|
362
368
|
end
|
|
363
369
|
|
|
364
370
|
#! Update or clear the threshold override for a specific procedure.
|
|
@@ -900,14 +906,20 @@ pub proc update_signers_and_threshold(multisig_config_hash: word)
|
|
|
900
906
|
drop
|
|
901
907
|
# => [pad(12)]
|
|
902
908
|
|
|
903
|
-
# compare initial vs current multisig config
|
|
904
|
-
|
|
905
|
-
# load init_num_of_approvers & new_num_of_approvers
|
|
906
909
|
loc_load.0 loc_load.1
|
|
907
910
|
# => [init_num_of_approvers, new_num_of_approvers, pad(12)]
|
|
908
911
|
|
|
909
|
-
|
|
910
|
-
|
|
912
|
+
dup.1 dup.1
|
|
913
|
+
u32assert2 u32lt
|
|
914
|
+
# => [should_cleanup, init_num_of_approvers, new_num_of_approvers, pad(12)]
|
|
915
|
+
|
|
916
|
+
if.true
|
|
917
|
+
exec.cleanup_pubkey_mapping
|
|
918
|
+
# => [pad(12)]
|
|
919
|
+
else
|
|
920
|
+
drop drop
|
|
921
|
+
# => [pad(12)]
|
|
922
|
+
end
|
|
911
923
|
end
|
|
912
924
|
|
|
913
925
|
#! Update or clear the threshold override for a specific procedure.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"auth.js","sourceRoot":"","sources":["../../../src/account/masm/auth.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,0BAA0B;AAE1B,MAAM,CAAC,MAAM,aAAa,GAAG
|
|
1
|
+
{"version":3,"file":"auth.js","sourceRoot":"","sources":["../../../src/account/masm/auth.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,0BAA0B;AAE1B,MAAM,CAAC,MAAM,aAAa,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0iB5B,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0iBlC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuM5B,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmMlC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"authLibraries.d.ts","sourceRoot":"","sources":["../../../src/account/masm/authLibraries.ts"],"names":[],"mappings":"AAgBA,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,eAAO,MAAM,oBAAoB,EAAE,aAAa,CAAC,iBAAiB,CAMjE,CAAC"}
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Upstream `miden-standards` guarded-multisig MASM library modules, in dependency order.
|
|
3
|
+
*
|
|
4
|
+
* These are linked into the code builder (for account-component compilation) or built as
|
|
5
|
+
* libraries (for transaction scripts) before referencing `miden::standards::auth::*`
|
|
6
|
+
* procedures. The guarded-multisig component is scheme-agnostic (the per-signer scheme
|
|
7
|
+
* lives in account storage), so there is a single closure — no Falcon/ECDSA split.
|
|
8
|
+
*/
|
|
9
|
+
import { AUTH_MOD_MASM, AUTH_SIGNATURE_MASM, AUTH_TX_POLICY_MASM, MULTISIG_MASM, GUARDIAN_MASM, } from './auth.js';
|
|
10
|
+
export const AUTH_LIBRARY_MODULES = [
|
|
11
|
+
{ namespace: 'miden::standards::auth', code: AUTH_MOD_MASM },
|
|
12
|
+
{ namespace: 'miden::standards::auth::signature', code: AUTH_SIGNATURE_MASM },
|
|
13
|
+
{ namespace: 'miden::standards::auth::tx_policy', code: AUTH_TX_POLICY_MASM },
|
|
14
|
+
{ namespace: 'miden::standards::auth::multisig', code: MULTISIG_MASM },
|
|
15
|
+
{ namespace: 'miden::standards::auth::guardian', code: GUARDIAN_MASM },
|
|
16
|
+
];
|
|
17
|
+
//# sourceMappingURL=authLibraries.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"authLibraries.js","sourceRoot":"","sources":["../../../src/account/masm/authLibraries.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,aAAa,GACd,MAAM,WAAW,CAAC;AAOnB,MAAM,CAAC,MAAM,oBAAoB,GAAqC;IACpE,EAAE,SAAS,EAAE,wBAAwB,EAAE,IAAI,EAAE,aAAa,EAAE;IAC5D,EAAE,SAAS,EAAE,mCAAmC,EAAE,IAAI,EAAE,mBAAmB,EAAE;IAC7E,EAAE,SAAS,EAAE,mCAAmC,EAAE,IAAI,EAAE,mBAAmB,EAAE;IAC7E,EAAE,SAAS,EAAE,kCAAkC,EAAE,IAAI,EAAE,aAAa,EAAE;IACtE,EAAE,SAAS,EAAE,kCAAkC,EAAE,IAAI,EAAE,aAAa,EAAE;CACvE,CAAC"}
|
package/dist/lookupAuth.d.ts
CHANGED
|
@@ -14,9 +14,10 @@ import { Word } from '@miden-sdk/miden-sdk';
|
|
|
14
14
|
* ```
|
|
15
15
|
*
|
|
16
16
|
* @param timestampMs Unix milliseconds. Reinterpreted as `u64` to match the
|
|
17
|
-
* Rust `as u64` cast (so negative inputs wrap into the
|
|
18
|
-
*
|
|
19
|
-
*
|
|
17
|
+
* Rust `as u64` cast (so negative inputs wrap into the high
|
|
18
|
+
* range), then reduced mod the Goldilocks prime via
|
|
19
|
+
* `feltFromU64Reduced` (Miden 0.15's `Felt` constructor
|
|
20
|
+
* rejects non-canonical inputs instead of reducing).
|
|
20
21
|
* @param keyCommitmentHex `0x`-prefixed 32-byte hex string for the queried
|
|
21
22
|
* commitment.
|
|
22
23
|
*/
|
package/dist/lookupAuth.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"lookupAuth.d.ts","sourceRoot":"","sources":["../src/lookupAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,IAAI,EAAE,MAAM,sBAAsB,CAAC;
|
|
1
|
+
{"version":3,"file":"lookupAuth.d.ts","sourceRoot":"","sources":["../src/lookupAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,IAAI,EAAE,MAAM,sBAAsB,CAAC;AA4CrE;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAmB7F;AAED;;;GAGG;AACH,wBAAgB,oCAAoC,IAAI,IAAI,CAE3D"}
|
package/dist/lookupAuth.js
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { FeltArray, Rpo256, Word } from '@miden-sdk/miden-sdk';
|
|
2
|
+
import { feltFromU64Reduced } from './utils/felt.js';
|
|
2
3
|
/**
|
|
3
4
|
* Lookup-bound message format used to sign requests against the Guardian
|
|
4
5
|
* `/state/lookup` endpoint. MUST produce byte-identical digests to
|
|
@@ -21,7 +22,7 @@ function bytesToFelts(bytes) {
|
|
|
21
22
|
const byte = offset + i < bytes.length ? bytes[offset + i] : 0;
|
|
22
23
|
value |= BigInt(byte) << BigInt(8 * i);
|
|
23
24
|
}
|
|
24
|
-
felts.push(
|
|
25
|
+
felts.push(feltFromU64Reduced(value));
|
|
25
26
|
}
|
|
26
27
|
return felts;
|
|
27
28
|
}
|
|
@@ -50,9 +51,10 @@ function lookupDomainTag() {
|
|
|
50
51
|
* ```
|
|
51
52
|
*
|
|
52
53
|
* @param timestampMs Unix milliseconds. Reinterpreted as `u64` to match the
|
|
53
|
-
* Rust `as u64` cast (so negative inputs wrap into the
|
|
54
|
-
*
|
|
55
|
-
*
|
|
54
|
+
* Rust `as u64` cast (so negative inputs wrap into the high
|
|
55
|
+
* range), then reduced mod the Goldilocks prime via
|
|
56
|
+
* `feltFromU64Reduced` (Miden 0.15's `Felt` constructor
|
|
57
|
+
* rejects non-canonical inputs instead of reducing).
|
|
56
58
|
* @param keyCommitmentHex `0x`-prefixed 32-byte hex string for the queried
|
|
57
59
|
* commitment.
|
|
58
60
|
*/
|
|
@@ -60,8 +62,7 @@ export function lookupAuthDigest(timestampMs, keyCommitmentHex) {
|
|
|
60
62
|
const tag = lookupDomainTag().toFelts();
|
|
61
63
|
const kc = Word.fromHex(keyCommitmentHex).toFelts();
|
|
62
64
|
const tsBigInt = typeof timestampMs === 'bigint' ? timestampMs : BigInt(timestampMs);
|
|
63
|
-
const
|
|
64
|
-
const timestampFelt = new Felt(timestampU64);
|
|
65
|
+
const timestampFelt = feltFromU64Reduced(tsBigInt);
|
|
65
66
|
const message = new FeltArray([
|
|
66
67
|
tag[0],
|
|
67
68
|
tag[1],
|
package/dist/lookupAuth.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"lookupAuth.js","sourceRoot":"","sources":["../src/lookupAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"lookupAuth.js","sourceRoot":"","sources":["../src/lookupAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD;;;;;GAKG;AAEH,MAAM,gBAAgB,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;AAExE,IAAI,eAAe,GAAgB,IAAI,CAAC;AAExC;;;;;GAKG;AACH,SAAS,YAAY,CAAC,KAAiB;IACrC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;QACxD,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe;IACtB,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;QAC7B,eAAe,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,SAAS,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,eAAe,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,gBAAgB,CAAC,WAA4B,EAAE,gBAAwB;IACrF,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC,OAAO,EAAE,CAAC;IACxC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,OAAO,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACrF,MAAM,aAAa,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAEnD,MAAM,OAAO,GAAG,IAAI,SAAS,CAAC;QAC5B,GAAG,CAAC,CAAC,CAAC;QACN,GAAG,CAAC,CAAC,CAAC;QACN,GAAG,CAAC,CAAC,CAAC;QACN,GAAG,CAAC,CAAC,CAAC;QACN,aAAa;QACb,EAAE,CAAC,CAAC,CAAC;QACL,EAAE,CAAC,CAAC,CAAC;QACL,EAAE,CAAC,CAAC,CAAC;QACL,EAAE,CAAC,CAAC,CAAC;KACN,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oCAAoC;IAClD,eAAe,GAAG,IAAI,CAAC;AACzB,CAAC"}
|
package/dist/lookupAuth.test.js
CHANGED
|
@@ -112,8 +112,9 @@ describe('lookupAuthDigest', () => {
|
|
|
112
112
|
const keyCommitmentHex = '0x' + 'cc'.repeat(32);
|
|
113
113
|
lookupAuthDigest(-1, keyCommitmentHex);
|
|
114
114
|
const messageCall = hashCalls[hashCalls.length - 1];
|
|
115
|
-
// -1
|
|
116
|
-
|
|
115
|
+
// -1 casts to u64 0xFFFFFFFFFFFFFFFF, then reduces mod the Goldilocks prime
|
|
116
|
+
// (matching Rust `felt_from_u64_reduced`): 0xFFFFFFFFFFFFFFFF - (2^64 - 2^32 + 1) = 0xFFFFFFFE.
|
|
117
|
+
expect(messageCall.input[4].value).toBe(0xfffffffen);
|
|
117
118
|
});
|
|
118
119
|
it('produces distinct digest inputs for distinct commitments', () => {
|
|
119
120
|
lookupAuthDigest(1_700_000_000_000, '0x' + '01'.repeat(32));
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"lookupAuth.test.js","sourceRoot":"","sources":["../src/lookupAuth.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAsB9D,MAAM,SAAS,GAA4B,EAAE,CAAC;AAE9C,EAAE,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACnC,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC;QAC1D,MAAM,EAAE,IAAI;QACZ,KAAK;KACN,CAAC,CAAC,CAAC;IAEJ,MAAM,SAAS,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,KAAiB,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IAE3E,MAAM,QAAQ,GAAG,CAAC,KAAiB,EAAE,GAAG,GAAG,UAAU,EAAY,EAAE,CAAC,CAAC;QACnE,MAAM,EAAE,IAAI;QACZ,KAAK;QACL,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK;QACpB,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG;KACjB,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG;QACX,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,GAAW,EAAE,EAAE;YAClD,yEAAyE;YACzE,qEAAqE;YACrE,+CAA+C;YAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAC3D,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC1C,MAAM,KAAK,GAAe,EAAE,CAAC;YAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;gBACjD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;YACD,OAAO,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC,CAAC;KACH,CAAC;IAEF,MAAM,MAAM,GAAG;QACb,YAAY,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,KAAiB,EAAE,EAAE;YAC7D,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;YACtC,sEAAsE;YACtE,gEAAgE;YAChE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACtD,OAAO,QAAQ,CACb;gBACE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;gBACpD,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE;gBAClC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE;gBAClC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE;aACnC,EACD,YAAY,CACb,CAAC;QACJ,CAAC,CAAC;KACH,CAAC;IAEF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;AAExE,SAAS,oBAAoB,CAAC,KAAiB;IAC7C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;QACxD,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAI,gBAAmE,CAAC;AACxE,IAAI,oCAA2G,CAAC;AAEhH,UAAU,CAAC,KAAK,IAAI,EAAE;IACpB,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IACrB,0EAA0E;IAC1E,iEAAiE;IACjE,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC5C,gBAAgB,GAAG,GAAG,CAAC,gBAAgB,CAAC;IACxC,oCAAoC,GAAG,GAAG,CAAC,oCAAoC,CAAC;IAChF,oCAAoC,EAAE,CAAC;AACzC,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,gBAAgB,GAAG,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,gBAAgB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;QAEtD,oEAAoE;QACpE,yEAAyE;QACzE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,gBAAgB,CAAC,CAAC;QACxD,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,gBAAgB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;QACtD,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC;QACzC,gBAAgB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;QACtD,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,CAAC;QAE1C,wEAAwE;QACxE,qDAAqD;QACrD,MAAM,CAAC,gBAAgB,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,gBAAgB,GAAG,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,cAAkB,CAAC;QACrC,gBAAgB,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;QAE9C,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAE1C,0EAA0E;QAC1E,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAEnD,wEAAwE;QACxE,uDAAuD;QACvD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC;QACpE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,gBAAgB,GAAG,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;QAEvC,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACpD,
|
|
1
|
+
{"version":3,"file":"lookupAuth.test.js","sourceRoot":"","sources":["../src/lookupAuth.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAsB9D,MAAM,SAAS,GAA4B,EAAE,CAAC;AAE9C,EAAE,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACnC,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC;QAC1D,MAAM,EAAE,IAAI;QACZ,KAAK;KACN,CAAC,CAAC,CAAC;IAEJ,MAAM,SAAS,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,KAAiB,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IAE3E,MAAM,QAAQ,GAAG,CAAC,KAAiB,EAAE,GAAG,GAAG,UAAU,EAAY,EAAE,CAAC,CAAC;QACnE,MAAM,EAAE,IAAI;QACZ,KAAK;QACL,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK;QACpB,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG;KACjB,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG;QACX,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,GAAW,EAAE,EAAE;YAClD,yEAAyE;YACzE,qEAAqE;YACrE,+CAA+C;YAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAC3D,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC1C,MAAM,KAAK,GAAe,EAAE,CAAC;YAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;gBACjD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;YACD,OAAO,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC,CAAC;KACH,CAAC;IAEF,MAAM,MAAM,GAAG;QACb,YAAY,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,KAAiB,EAAE,EAAE;YAC7D,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;YACtC,sEAAsE;YACtE,gEAAgE;YAChE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACtD,OAAO,QAAQ,CACb;gBACE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;gBACpD,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE;gBAClC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE;gBAClC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE;aACnC,EACD,YAAY,CACb,CAAC;QACJ,CAAC,CAAC;KACH,CAAC;IAEF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;AAExE,SAAS,oBAAoB,CAAC,KAAiB;IAC7C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;QACxD,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAI,gBAAmE,CAAC;AACxE,IAAI,oCAA2G,CAAC;AAEhH,UAAU,CAAC,KAAK,IAAI,EAAE;IACpB,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IACrB,0EAA0E;IAC1E,iEAAiE;IACjE,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC5C,gBAAgB,GAAG,GAAG,CAAC,gBAAgB,CAAC;IACxC,oCAAoC,GAAG,GAAG,CAAC,oCAAoC,CAAC;IAChF,oCAAoC,EAAE,CAAC;AACzC,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,gBAAgB,GAAG,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,gBAAgB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;QAEtD,oEAAoE;QACpE,yEAAyE;QACzE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,gBAAgB,CAAC,CAAC;QACxD,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,gBAAgB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;QACtD,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC;QACzC,gBAAgB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;QACtD,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,CAAC;QAE1C,wEAAwE;QACxE,qDAAqD;QACrD,MAAM,CAAC,gBAAgB,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,gBAAgB,GAAG,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,cAAkB,CAAC;QACrC,gBAAgB,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;QAE9C,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAE1C,0EAA0E;QAC1E,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAEnD,wEAAwE;QACxE,uDAAuD;QACvD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC;QACpE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,gBAAgB,GAAG,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;QAEvC,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACpD,4EAA4E;QAC5E,gGAAgG;QAChG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,gBAAgB,CAAC,iBAAiB,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5D,gBAAgB,CAAC,iBAAiB,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAE5D,0EAA0E;QAC1E,2EAA2E;QAC3E,sBAAsB;QACtB,MAAM,YAAY,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,YAAY,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,gBAAgB,GAAG,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,gBAAgB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;QACtD,gBAAgB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;QAEtD,MAAM,YAAY,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,YAAY,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
package/dist/multisig.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"multisig.d.ts","sourceRoot":"","sources":["../src/multisig.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,kBAAkB,EAA4C,KAAK,MAAM,EAAqC,MAAM,+BAA+B,CAAC;AAC7J,OAAO,KAAK,EACV,cAAc,EACd,gBAAgB,EAChB,cAAc,EAEd,QAAQ,EACR,gBAAgB,EAEhB,YAAY,EACb,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,KAAK,EACV,WAAW,EAGZ,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,OAAO,EAEP,SAAS,EAMT,kBAAkB,EAGnB,MAAM,sBAAsB,CAAC;AAyC9B;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,iBAAiB;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,yBAAyB;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,8BAA8B;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AA+BD,qBAAa,QAAQ;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAChD,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAE3B,OAAO,CAAC,QAAQ,CAAqB;IACrC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAChC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAC1C,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAyB;IAC1D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAA2B;IAC7D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAS;IAC3C,OAAO,CAAC,SAAS,CAAoC;gBAGnD,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,kBAAkB,EAC5B,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,EACxB,SAAS,CAAC,EAAE,MAAM,EAClB,gBAAgB,CAAC,EAAE,MAAM;IAmB3B,OAAO,CAAC,mBAAmB;YAOb,YAAY;IAI1B,OAAO,CAAC,eAAe;YAQT,gCAAgC;IAiB9C,iCAAiC;IACjC,IAAI,SAAS,IAAI,MAAM,CAEtB;IAED,8BAA8B;IAC9B,IAAI,gBAAgB,IAAI,MAAM,CAE7B;IAED;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAmB5B;;;;;;OAMG;IACH,qBAAqB,CAAC,YAAY,EAAE,YAAY,GAAG,MAAM;IAazD;;;;OAIG;IACH,iBAAiB,CAAC,cAAc,EAAE,kBAAkB,GAAG,IAAI;IAK3D;;;;OAIG;IACG,UAAU,IAAI,OAAO,CAAC,YAAY,CAAC;IAYzC;;;;;OAKG;IACG,SAAS,IAAI,OAAO,CAAC,YAAY,CAAC;IAyBlC,qBAAqB,IAAI,OAAO,CAAC,8BAA8B,CAAC;YA+BxD,+BAA+B;YA6B/B,oBAAoB;IA4BlC,OAAO,CAAC,wBAAwB;IAmBhC;;;;;;;OAOG;IACG,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IA6BpE;;OAEG;IACG,aAAa,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;IAuB1C;;OAEG;IACH,aAAa,IAAI,QAAQ,EAAE;IAI3B;;;;;;OAMG;IACG,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAoB3G;;;;;;OAMG;IACG,uBAAuB,CAC3B,aAAa,EAAE,MAAM,EACrB,KAAK,CAAC,EAAE,MAAM,EACd,YAAY,CAAC,EAAE,MAAM,GACpB,OAAO,CAAC,QAAQ,CAAC;IA4BpB;;;;;;OAMG;IACG,0BAA0B,CAC9B,cAAc,EAAE,MAAM,EACtB,KAAK,CAAC,EAAE,MAAM,EACd,YAAY,CAAC,EAAE,MAAM,GACpB,OAAO,CAAC,QAAQ,CAAC;IA6CpB;;;;;OAKG;IACG,6BAA6B,CACjC,YAAY,EAAE,MAAM,EACpB,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,CAAC,QAAQ,CAAC;IAmCd,sCAAsC,CAC1C,eAAe,EAAE,aAAa,EAC9B,eAAe,EAAE,MAAM,EACvB,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,CAAC,QAAQ,CAAC;IA6CpB;;;;;;OAMG;IACG,4BAA4B,CAChC,mBAAmB,EAAE,MAAM,EAC3B,iBAAiB,EAAE,MAAM,EACzB,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,CAAC,QAAQ,CAAC;
|
|
1
|
+
{"version":3,"file":"multisig.d.ts","sourceRoot":"","sources":["../src/multisig.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,kBAAkB,EAA4C,KAAK,MAAM,EAAqC,MAAM,+BAA+B,CAAC;AAC7J,OAAO,KAAK,EACV,cAAc,EACd,gBAAgB,EAChB,cAAc,EAEd,QAAQ,EACR,gBAAgB,EAEhB,YAAY,EACb,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,KAAK,EACV,WAAW,EAGZ,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,OAAO,EAEP,SAAS,EAMT,kBAAkB,EAGnB,MAAM,sBAAsB,CAAC;AAyC9B;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,iBAAiB;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,yBAAyB;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,8BAA8B;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AA+BD,qBAAa,QAAQ;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAChD,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAE3B,OAAO,CAAC,QAAQ,CAAqB;IACrC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAChC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAC1C,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAyB;IAC1D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAA2B;IAC7D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAS;IAC3C,OAAO,CAAC,SAAS,CAAoC;gBAGnD,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,kBAAkB,EAC5B,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,EACxB,SAAS,CAAC,EAAE,MAAM,EAClB,gBAAgB,CAAC,EAAE,MAAM;IAmB3B,OAAO,CAAC,mBAAmB;YAOb,YAAY;IAI1B,OAAO,CAAC,eAAe;YAQT,gCAAgC;IAiB9C,iCAAiC;IACjC,IAAI,SAAS,IAAI,MAAM,CAEtB;IAED,8BAA8B;IAC9B,IAAI,gBAAgB,IAAI,MAAM,CAE7B;IAED;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAmB5B;;;;;;OAMG;IACH,qBAAqB,CAAC,YAAY,EAAE,YAAY,GAAG,MAAM;IAazD;;;;OAIG;IACH,iBAAiB,CAAC,cAAc,EAAE,kBAAkB,GAAG,IAAI;IAK3D;;;;OAIG;IACG,UAAU,IAAI,OAAO,CAAC,YAAY,CAAC;IAYzC;;;;;OAKG;IACG,SAAS,IAAI,OAAO,CAAC,YAAY,CAAC;IAyBlC,qBAAqB,IAAI,OAAO,CAAC,8BAA8B,CAAC;YA+BxD,+BAA+B;YA6B/B,oBAAoB;IA4BlC,OAAO,CAAC,wBAAwB;IAmBhC;;;;;;;OAOG;IACG,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IA6BpE;;OAEG;IACG,aAAa,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;IAuB1C;;OAEG;IACH,aAAa,IAAI,QAAQ,EAAE;IAI3B;;;;;;OAMG;IACG,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAoB3G;;;;;;OAMG;IACG,uBAAuB,CAC3B,aAAa,EAAE,MAAM,EACrB,KAAK,CAAC,EAAE,MAAM,EACd,YAAY,CAAC,EAAE,MAAM,GACpB,OAAO,CAAC,QAAQ,CAAC;IA4BpB;;;;;;OAMG;IACG,0BAA0B,CAC9B,cAAc,EAAE,MAAM,EACtB,KAAK,CAAC,EAAE,MAAM,EACd,YAAY,CAAC,EAAE,MAAM,GACpB,OAAO,CAAC,QAAQ,CAAC;IA6CpB;;;;;OAKG;IACG,6BAA6B,CACjC,YAAY,EAAE,MAAM,EACpB,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,CAAC,QAAQ,CAAC;IAmCd,sCAAsC,CAC1C,eAAe,EAAE,aAAa,EAC9B,eAAe,EAAE,MAAM,EACvB,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,CAAC,QAAQ,CAAC;IA6CpB;;;;;;OAMG;IACG,4BAA4B,CAChC,mBAAmB,EAAE,MAAM,EAC3B,iBAAiB,EAAE,MAAM,EACzB,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,CAAC,QAAQ,CAAC;IA4BpB;;;;;OAKG;IACG,0BAA0B,CAC9B,OAAO,EAAE,MAAM,EAAE,EACjB,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,CAAC,QAAQ,CAAC;IA+CpB;;;;;;;OAOG;IACG,kBAAkB,CACtB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,CAAC,QAAQ,CAAC;IA8BpB;;;;;OAKG;IACG,kBAAkB,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;IA6CrD;;;;;;;MAOE;IACI,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC;YAmC3C,qBAAqB;IAa7B,gCAAgC,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAKvF;;;;OAIG;IACG,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAyDxD;;;;OAIG;IACG,iBAAiB,CAAC,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC;IAInE;;;;;;OAMG;IACG,oBAAoB,CACxB,uBAAuB,EAAE,UAAU,EACnC,YAAY,EAAE,MAAM,EACpB,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,CAAC,QAAQ,CAAC;IAgCpB;;;;;;;;;OASG;IACG,sBAAsB,CAC1B,UAAU,EAAE,MAAM,EAClB,uBAAuB,EAAE,UAAU,GAClC,OAAO,CAAC,SAAS,CAAC;YAqDP,oBAAoB;IAgGlC,OAAO,CAAC,gBAAgB;YAKV,wBAAwB;IAiKtC;;OAEG;IACG,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IA+BnE;;;;;OAKG;IACH,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM;IAwBhD;;;;;OAKG;IACG,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC;IAcrD;;;;;OAKG;IACG,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IA4D9D,OAAO,CAAC,sCAAsC;YAahC,6BAA6B;YAqC7B,mCAAmC;CAiGlD"}
|