@aztec/simulator 2.0.3-rc.16 → 2.0.3-rc.3
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.
|
@@ -52,7 +52,6 @@ declare const Uint1_base: {
|
|
|
52
52
|
toNumber(): number;
|
|
53
53
|
toString(): string;
|
|
54
54
|
};
|
|
55
|
-
readonly bits: number;
|
|
56
55
|
readonly mod: bigint;
|
|
57
56
|
readonly bitmask: bigint;
|
|
58
57
|
};
|
|
@@ -82,7 +81,6 @@ declare const Uint8_base: {
|
|
|
82
81
|
toNumber(): number;
|
|
83
82
|
toString(): string;
|
|
84
83
|
};
|
|
85
|
-
readonly bits: number;
|
|
86
84
|
readonly mod: bigint;
|
|
87
85
|
readonly bitmask: bigint;
|
|
88
86
|
};
|
|
@@ -112,7 +110,6 @@ declare const Uint16_base: {
|
|
|
112
110
|
toNumber(): number;
|
|
113
111
|
toString(): string;
|
|
114
112
|
};
|
|
115
|
-
readonly bits: number;
|
|
116
113
|
readonly mod: bigint;
|
|
117
114
|
readonly bitmask: bigint;
|
|
118
115
|
};
|
|
@@ -142,7 +139,6 @@ declare const Uint32_base: {
|
|
|
142
139
|
toNumber(): number;
|
|
143
140
|
toString(): string;
|
|
144
141
|
};
|
|
145
|
-
readonly bits: number;
|
|
146
142
|
readonly mod: bigint;
|
|
147
143
|
readonly bitmask: bigint;
|
|
148
144
|
};
|
|
@@ -172,7 +168,6 @@ declare const Uint64_base: {
|
|
|
172
168
|
toNumber(): number;
|
|
173
169
|
toString(): string;
|
|
174
170
|
};
|
|
175
|
-
readonly bits: number;
|
|
176
171
|
readonly mod: bigint;
|
|
177
172
|
readonly bitmask: bigint;
|
|
178
173
|
};
|
|
@@ -202,7 +197,6 @@ declare const Uint128_base: {
|
|
|
202
197
|
toNumber(): number;
|
|
203
198
|
toString(): string;
|
|
204
199
|
};
|
|
205
|
-
readonly bits: number;
|
|
206
200
|
readonly mod: bigint;
|
|
207
201
|
readonly bitmask: bigint;
|
|
208
202
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"avm_memory_types.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_memory_types.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAM3D,sEAAsE;AACtE,8BAAsB,WAAW;aACf,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAElC,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;aACjC,EAAE,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;aAG7B,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW;aAG7B,QAAQ,IAAI,MAAM;IAC3B,MAAM,IAAI,OAAO;aAKR,QAAQ,IAAI,MAAM;IAG3B,IAAI,IAAI,EAAE;IAIV,cAAc,IAAI,YAAY;IAK9B,QAAQ,IAAI,MAAM;IAIlB,QAAQ,IAAI,MAAM;CAG1B;AAED,iFAAiF;AACjF,8BAAsB,aAAc,SAAQ,WAAW;aACrC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,EAAE,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACrC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,IAAI,aAAa;CACrC;;
|
|
1
|
+
{"version":3,"file":"avm_memory_types.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_memory_types.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAM3D,sEAAsE;AACtE,8BAAsB,WAAW;aACf,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAElC,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;aACjC,EAAE,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;aAG7B,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW;aAG7B,QAAQ,IAAI,MAAM;IAC3B,MAAM,IAAI,OAAO;aAKR,QAAQ,IAAI,MAAM;IAG3B,IAAI,IAAI,EAAE;IAIV,cAAc,IAAI,YAAY;IAK9B,QAAQ,IAAI,MAAM;IAIlB,QAAQ,IAAI,MAAM;CAG1B;AAED,iFAAiF;AACjF,8BAAsB,aAAc,SAAQ,WAAW;aACrC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,EAAE,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACrC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,IAAI,aAAa;CACrC;;YAYyB,MAAM,GAAG,MAAM;oBAFlB,MAAM;iBAST,MAAM;;;;;;;;;;;qCA+CY,OAAO;iCAIX,OAAO;oBAIlB,MAAM;oBAIN,MAAM;kBAhHV,OAAO;gBAQT,EAAE;0BAIQ,YAAY;oBAKlB,MAAM;oBAIN,MAAM;;kBAqBF,MAAM;sBACF,MAAM;;AAiFnC,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;YA9ElC,MAAM,GAAG,MAAM;oBAFlB,MAAM;iBAST,MAAM;;;;;;;;;;;qCA+CY,OAAO;iCAIX,OAAO;oBAIlB,MAAM;oBAIN,MAAM;kBAhHV,OAAO;gBAQT,EAAE;0BAIQ,YAAY;oBAKlB,MAAM;oBAIN,MAAM;;kBAqBF,MAAM;sBACF,MAAM;;AAkFnC,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;YA/ElC,MAAM,GAAG,MAAM;oBAFlB,MAAM;iBAST,MAAM;;;;;;;;;;;qCA+CY,OAAO;iCAIX,OAAO;oBAIlB,MAAM;oBAIN,MAAM;kBAhHV,OAAO;gBAQT,EAAE;0BAIQ,YAAY;oBAKlB,MAAM;oBAIN,MAAM;;kBAqBF,MAAM;sBACF,MAAM;;AAmFnC,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;YAhFpC,MAAM,GAAG,MAAM;oBAFlB,MAAM;iBAST,MAAM;;;;;;;;;;;qCA+CY,OAAO;iCAIX,OAAO;oBAIlB,MAAM;oBAIN,MAAM;kBAhHV,OAAO;gBAQT,EAAE;0BAIQ,YAAY;oBAKlB,MAAM;oBAIN,MAAM;;kBAqBF,MAAM;sBACF,MAAM;;AAoFnC,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;YAjFpC,MAAM,GAAG,MAAM;oBAFlB,MAAM;iBAST,MAAM;;;;;;;;;;;qCA+CY,OAAO;iCAIX,OAAO;oBAIlB,MAAM;oBAIN,MAAM;kBAhHV,OAAO;gBAQT,EAAE;0BAIQ,YAAY;oBAKlB,MAAM;oBAIN,MAAM;;kBAqBF,MAAM;sBACF,MAAM;;AAqFnC,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;YAlFpC,MAAM,GAAG,MAAM;oBAFlB,MAAM;iBAST,MAAM;;;;;;;;;;;qCA+CY,OAAO;iCAIX,OAAO;oBAIlB,MAAM;oBAIN,MAAM;kBAhHV,OAAO;gBAQT,EAAE;0BAIQ,YAAY;oBAKlB,MAAM;oBAIN,MAAM;;kBAqBF,MAAM;sBACF,MAAM;;AAsFnC,qBAAa,OAAQ,SAAQ,YAAgC;CAAG;AAEhE,qBAAa,KAAM,SAAQ,WAAW;IACpC,gBAAuB,OAAO,EAAE,MAAM,CAAc;IACpD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAK;gBAEb,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,EAAE,GAAG,MAAM;IAKrC,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,KAAK;IAIvB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAItB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAItB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAKtB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAKtB,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAIvB,MAAM,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO;IAI3B,EAAE,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO;IAIvB,QAAQ,IAAI,MAAM;IAIlB,QAAQ,IAAI,MAAM;CAG1B;AAED,oBAAY,OAAO;IACjB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,OAAO,IAAe;IACtB,OAAO,IAAmB;CAC3B;AAGD,MAAM,MAAM,qBAAqB,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;AAE9D,qBAAa,YAAa,YAAW,qBAAqB;IACxD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAwC;IAGnE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,UAAmC;IAKxE,MAAM,CAAC,QAAQ,CAAC,eAAe,SAAqB;IACpD,OAAO,CAAC,IAAI,CAA2B;;IAMhC,gBAAgB,IAAI,MAAM;IAI1B,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW;IAIhC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC;IAW3B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE;IAiBrD,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE;IAIhD,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE;IAIrD,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW;IAMlC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE;IAa7C,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAKtC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;WAO9B,uBAAuB,CAAC,GAAG,EAAE,OAAO;WAIpC,kBAAkB,CAAC,GAAG,EAAE,OAAO;WAM/B,eAAe,CAAC,SAAS,EAAE,MAAM;IAM/C;;OAEG;IACI,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE;IAMnD;;OAEG;IACI,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IAKxD;;OAEG;IACI,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;WAMvD,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,OAAO;WAS3C,sBAAsB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,WAAW;CAqBpF"}
|
|
@@ -31,7 +31,6 @@ import { InvalidTagValueError, MemorySliceOutOfRangeError, TagCheckError } from
|
|
|
31
31
|
* In TypeScript terms, it's a class mixin.
|
|
32
32
|
**/ function UnsignedIntegerClassFactory(bits) {
|
|
33
33
|
return class NewUintClass extends IntegralValue {
|
|
34
|
-
static bits = bits;
|
|
35
34
|
static mod = 1n << BigInt(bits);
|
|
36
35
|
static bitmask = this.mod - 1n;
|
|
37
36
|
n;
|
|
@@ -59,17 +58,11 @@ import { InvalidTagValueError, MemorySliceOutOfRangeError, TagCheckError } from
|
|
|
59
58
|
}
|
|
60
59
|
// No sign extension.
|
|
61
60
|
shr(rhs) {
|
|
62
|
-
// Note that this.n is
|
|
61
|
+
// Note that this.n is > 0 by class invariant.
|
|
63
62
|
return this.build(this.n >> rhs.n);
|
|
64
63
|
}
|
|
65
64
|
shl(rhs) {
|
|
66
|
-
|
|
67
|
-
const bitSize = BigInt(NewUintClass.bits);
|
|
68
|
-
// Shifting by more than the bit size always results in 0
|
|
69
|
-
if (shiftAmount >= bitSize) {
|
|
70
|
-
return this.build(0n);
|
|
71
|
-
}
|
|
72
|
-
return this.build(this.n << shiftAmount & NewUintClass.bitmask);
|
|
65
|
+
return this.build(this.n << rhs.n & NewUintClass.bitmask);
|
|
73
66
|
}
|
|
74
67
|
and(rhs) {
|
|
75
68
|
return this.build(this.n & rhs.n);
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/simulator",
|
|
3
|
-
"version": "2.0.3-rc.
|
|
3
|
+
"version": "2.0.3-rc.3",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
"./server": "./dest/server.js",
|
|
@@ -63,25 +63,25 @@
|
|
|
63
63
|
]
|
|
64
64
|
},
|
|
65
65
|
"dependencies": {
|
|
66
|
-
"@aztec/constants": "2.0.3-rc.
|
|
67
|
-
"@aztec/foundation": "2.0.3-rc.
|
|
68
|
-
"@aztec/noir-acvm_js": "2.0.3-rc.
|
|
69
|
-
"@aztec/noir-noirc_abi": "2.0.3-rc.
|
|
70
|
-
"@aztec/noir-protocol-circuits-types": "2.0.3-rc.
|
|
71
|
-
"@aztec/noir-types": "2.0.3-rc.
|
|
72
|
-
"@aztec/protocol-contracts": "2.0.3-rc.
|
|
73
|
-
"@aztec/stdlib": "2.0.3-rc.
|
|
74
|
-
"@aztec/telemetry-client": "2.0.3-rc.
|
|
75
|
-
"@aztec/world-state": "2.0.3-rc.
|
|
66
|
+
"@aztec/constants": "2.0.3-rc.3",
|
|
67
|
+
"@aztec/foundation": "2.0.3-rc.3",
|
|
68
|
+
"@aztec/noir-acvm_js": "2.0.3-rc.3",
|
|
69
|
+
"@aztec/noir-noirc_abi": "2.0.3-rc.3",
|
|
70
|
+
"@aztec/noir-protocol-circuits-types": "2.0.3-rc.3",
|
|
71
|
+
"@aztec/noir-types": "2.0.3-rc.3",
|
|
72
|
+
"@aztec/protocol-contracts": "2.0.3-rc.3",
|
|
73
|
+
"@aztec/stdlib": "2.0.3-rc.3",
|
|
74
|
+
"@aztec/telemetry-client": "2.0.3-rc.3",
|
|
75
|
+
"@aztec/world-state": "2.0.3-rc.3",
|
|
76
76
|
"lodash.clonedeep": "^4.5.0",
|
|
77
77
|
"lodash.merge": "^4.6.2",
|
|
78
78
|
"tslib": "^2.4.0"
|
|
79
79
|
},
|
|
80
80
|
"devDependencies": {
|
|
81
|
-
"@aztec/kv-store": "2.0.3-rc.
|
|
82
|
-
"@aztec/merkle-tree": "2.0.3-rc.
|
|
83
|
-
"@aztec/noir-contracts.js": "2.0.3-rc.
|
|
84
|
-
"@aztec/noir-test-contracts.js": "2.0.3-rc.
|
|
81
|
+
"@aztec/kv-store": "2.0.3-rc.3",
|
|
82
|
+
"@aztec/merkle-tree": "2.0.3-rc.3",
|
|
83
|
+
"@aztec/noir-contracts.js": "2.0.3-rc.3",
|
|
84
|
+
"@aztec/noir-test-contracts.js": "2.0.3-rc.3",
|
|
85
85
|
"@jest/globals": "^30.0.0",
|
|
86
86
|
"@types/jest": "^30.0.0",
|
|
87
87
|
"@types/lodash.clonedeep": "^4.5.7",
|
|
@@ -74,7 +74,6 @@ export abstract class IntegralValue extends MemoryValue {
|
|
|
74
74
|
**/
|
|
75
75
|
function UnsignedIntegerClassFactory(bits: number) {
|
|
76
76
|
return class NewUintClass extends IntegralValue {
|
|
77
|
-
static readonly bits: number = bits;
|
|
78
77
|
static readonly mod: bigint = 1n << BigInt(bits);
|
|
79
78
|
static readonly bitmask: bigint = this.mod - 1n;
|
|
80
79
|
public readonly n: bigint; // Cannot be private due to TS limitations.
|
|
@@ -109,20 +108,12 @@ function UnsignedIntegerClassFactory(bits: number) {
|
|
|
109
108
|
|
|
110
109
|
// No sign extension.
|
|
111
110
|
public shr(rhs: NewUintClass): NewUintClass {
|
|
112
|
-
// Note that this.n is
|
|
111
|
+
// Note that this.n is > 0 by class invariant.
|
|
113
112
|
return this.build(this.n >> rhs.n);
|
|
114
113
|
}
|
|
115
114
|
|
|
116
115
|
public shl(rhs: NewUintClass): NewUintClass {
|
|
117
|
-
|
|
118
|
-
const bitSize = BigInt(NewUintClass.bits);
|
|
119
|
-
|
|
120
|
-
// Shifting by more than the bit size always results in 0
|
|
121
|
-
if (shiftAmount >= bitSize) {
|
|
122
|
-
return this.build(0n);
|
|
123
|
-
}
|
|
124
|
-
|
|
125
|
-
return this.build((this.n << shiftAmount) & NewUintClass.bitmask);
|
|
116
|
+
return this.build((this.n << rhs.n) & NewUintClass.bitmask);
|
|
126
117
|
}
|
|
127
118
|
|
|
128
119
|
public and(rhs: NewUintClass): NewUintClass {
|