@aztec/simulator 0.0.1-commit.2ed92850 → 0.0.1-commit.3469e52

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (67) hide show
  1. package/dest/public/avm/avm_context.d.ts +3 -3
  2. package/dest/public/avm/avm_context.d.ts.map +1 -1
  3. package/dest/public/avm/avm_contract_call_result.d.ts +6 -6
  4. package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
  5. package/dest/public/avm/avm_contract_call_result.js +3 -3
  6. package/dest/public/avm/avm_execution_environment.d.ts +5 -6
  7. package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
  8. package/dest/public/avm/avm_machine_state.d.ts +5 -6
  9. package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
  10. package/dest/public/avm/avm_machine_state.js +2 -3
  11. package/dest/public/avm/avm_memory_types.d.ts +1 -1
  12. package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
  13. package/dest/public/avm/avm_memory_types.js +0 -3
  14. package/dest/public/avm/avm_simulator.d.ts +2 -3
  15. package/dest/public/avm/avm_simulator.d.ts.map +1 -1
  16. package/dest/public/avm/avm_simulator.js +4 -5
  17. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +1 -1
  18. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -1
  19. package/dest/public/avm/fixtures/avm_simulation_tester.js +2 -3
  20. package/dest/public/avm/fixtures/initializers.d.ts +1 -1
  21. package/dest/public/avm/fixtures/initializers.d.ts.map +1 -1
  22. package/dest/public/avm/fixtures/initializers.js +1 -2
  23. package/dest/public/avm/opcodes/accrued_substate.d.ts +1 -1
  24. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
  25. package/dest/public/avm/opcodes/accrued_substate.js +0 -4
  26. package/dest/public/avm/opcodes/contract.d.ts +1 -1
  27. package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
  28. package/dest/public/avm/opcodes/contract.js +4 -4
  29. package/dest/public/avm/opcodes/external_calls.d.ts +1 -1
  30. package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
  31. package/dest/public/avm/opcodes/external_calls.js +7 -7
  32. package/dest/public/avm/opcodes/memory.js +1 -1
  33. package/dest/public/avm/opcodes/storage.d.ts +12 -13
  34. package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
  35. package/dest/public/avm/opcodes/storage.js +20 -30
  36. package/dest/public/debug_fn_name.d.ts +4 -4
  37. package/dest/public/debug_fn_name.d.ts.map +1 -1
  38. package/dest/public/debug_fn_name.js +5 -7
  39. package/dest/public/fixtures/opcode_spammer.d.ts +1 -1
  40. package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -1
  41. package/dest/public/fixtures/opcode_spammer.js +8 -20
  42. package/dest/public/fuzzing/avm_simulator_bin.js +4 -7
  43. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +1 -1
  44. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  45. package/dest/public/public_tx_simulator/public_tx_simulator.js +3 -4
  46. package/package.json +16 -16
  47. package/src/public/avm/avm_context.ts +2 -2
  48. package/src/public/avm/avm_contract_call_result.ts +6 -8
  49. package/src/public/avm/avm_execution_environment.ts +4 -9
  50. package/src/public/avm/avm_machine_state.ts +5 -6
  51. package/src/public/avm/avm_memory_types.ts +0 -4
  52. package/src/public/avm/avm_simulator.ts +5 -8
  53. package/src/public/avm/fixtures/avm_simulation_tester.ts +2 -8
  54. package/src/public/avm/fixtures/initializers.ts +1 -2
  55. package/src/public/avm/opcodes/accrued_substate.ts +0 -6
  56. package/src/public/avm/opcodes/contract.ts +4 -1
  57. package/src/public/avm/opcodes/external_calls.ts +7 -8
  58. package/src/public/avm/opcodes/memory.ts +1 -1
  59. package/src/public/avm/opcodes/storage.ts +20 -28
  60. package/src/public/debug_fn_name.ts +8 -10
  61. package/src/public/fixtures/opcode_spammer.ts +8 -37
  62. package/src/public/fuzzing/avm_simulator_bin.ts +1 -11
  63. package/src/public/public_tx_simulator/public_tx_simulator.ts +3 -8
  64. package/dest/public/avm/calldata.d.ts +0 -51
  65. package/dest/public/avm/calldata.d.ts.map +0 -1
  66. package/dest/public/avm/calldata.js +0 -63
  67. package/src/public/avm/calldata.ts +0 -100
@@ -1 +0,0 @@
1
- {"version":3,"file":"calldata.d.ts","sourceRoot":"","sources":["../../../src/public/avm/calldata.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,2BAA2B,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAKrD,MAAM,WAAW,UAAU;IACzB,iBAAiB,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,EAAE,EAAE,CAAC;IAC1C,OAAO,IAAI,EAAE,EAAE,CAAC;IAChB,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,GAAG,SAAS,CAAC;IAClC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,EAAE,CAAC;IACxC,MAAM,IAAI,MAAM,CAAC;CAClB;AAED,qBAAa,gBAAiB,YAAW,UAAU;IAE/C,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,IAAI;IAHd,YACU,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EAClB;IAEG,iBAAiB,CAAC,OAAO,SAA+B,GAAG,EAAE,EAAE,CAGrE;IAEM,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,GAAG,SAAS,CAKvC;IAEM,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,EAAE,CAI7C;IAEM,OAAO,IAAI,EAAE,EAAE,CAErB;IAEM,MAAM,IAAI,MAAM,CAEtB;CACF;AAED,qBAAa,eAAgB,YAAW,UAAU;IACpC,OAAO,CAAC,KAAK;IAAzB,YAAoB,KAAK,EAAE,EAAE,EAAE,EAAI;IAE5B,iBAAiB,CAAC,OAAO,SAA+B,GAAG,EAAE,EAAE,CAErE;IAEM,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,GAAG,SAAS,CAEvC;IAEM,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,EAAE,CAE7C;IAEM,OAAO,IAAI,EAAE,EAAE,CAErB;IAEM,MAAM,IAAI,MAAM,CAEtB;CACF;AAGD,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAC3C,OAAO,CAAC,MAAM,eAAe,EAAE,OAAO,MAAM,CAAC;AAE7C,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAClC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG;IACpC,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;CAClC,CAAC;AAEF,qBAAa,aAAc,SAAQ,eAAgB,YAAW,QAAQ;IACpE,SAAiB,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;CACxC;AAED,qBAAa,cAAe,SAAQ,gBAAiB,YAAW,QAAQ;IACtE,SAAiB,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;CACxC;AAED,qBAAa,eAAgB,SAAQ,eAAgB,YAAW,UAAU;IACxE,SAAiB,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;CAC1C;AAED,qBAAa,gBAAiB,SAAQ,gBAAiB,YAAW,UAAU;IAC1E,SAAiB,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;CAC1C"}
@@ -1,63 +0,0 @@
1
- import { TaggedMemory } from './avm_memory_types.js';
2
- // Allow reading up to 300 kB of return data when unspecified.
3
- const DEFAULT_BEST_EFFORT_READ_CAP = 10000;
4
- export class LazyReaderMemory {
5
- memory;
6
- offset;
7
- size;
8
- constructor(memory, offset, size){
9
- this.memory = memory;
10
- this.offset = offset;
11
- this.size = size;
12
- }
13
- bestEffortReadAll(readCap = DEFAULT_BEST_EFFORT_READ_CAP) {
14
- const size = Math.min(this.size, readCap, TaggedMemory.MAX_MEMORY_SIZE - this.offset);
15
- return this.memory.getSlice(this.offset, size).map((word)=>word.toFr());
16
- }
17
- read(idx) {
18
- if (idx >= this.size) {
19
- return undefined;
20
- }
21
- return this.memory.get(this.offset + idx).toFr();
22
- }
23
- slice(start, end) {
24
- const clampedEnd = Math.min(end, this.size);
25
- const length = Math.max(0, clampedEnd - start);
26
- return this.memory.getSlice(this.offset + start, length).map((word)=>word.toFr());
27
- }
28
- readAll() {
29
- return this.memory.getSlice(this.offset, this.size).map((word)=>word.toFr());
30
- }
31
- length() {
32
- return this.size;
33
- }
34
- }
35
- export class LazyReaderArray {
36
- array;
37
- constructor(array){
38
- this.array = array;
39
- }
40
- bestEffortReadAll(readCap = DEFAULT_BEST_EFFORT_READ_CAP) {
41
- return this.array.slice(0, readCap);
42
- }
43
- read(idx) {
44
- return this.array[idx];
45
- }
46
- slice(start, end) {
47
- return this.array.slice(start, end);
48
- }
49
- readAll() {
50
- return this.array;
51
- }
52
- length() {
53
- return this.array.length;
54
- }
55
- }
56
- export class CallDataArray extends LazyReaderArray {
57
- }
58
- export class CallDataMemory extends LazyReaderMemory {
59
- }
60
- export class ReturnDataArray extends LazyReaderArray {
61
- }
62
- export class ReturnDataMemory extends LazyReaderMemory {
63
- }
@@ -1,100 +0,0 @@
1
- import type { Fr } from '@aztec/foundation/schemas';
2
-
3
- import { TaggedMemory } from './avm_memory_types.js';
4
-
5
- // Allow reading up to 300 kB of return data when unspecified.
6
- const DEFAULT_BEST_EFFORT_READ_CAP = 10000;
7
-
8
- export interface LazyReader {
9
- bestEffortReadAll(readCap?: number): Fr[];
10
- readAll(): Fr[];
11
- read(idx: number): Fr | undefined;
12
- slice(start: number, end: number): Fr[];
13
- length(): number;
14
- }
15
-
16
- export class LazyReaderMemory implements LazyReader {
17
- constructor(
18
- private memory: TaggedMemory,
19
- private offset: number,
20
- private size: number,
21
- ) {}
22
-
23
- public bestEffortReadAll(readCap = DEFAULT_BEST_EFFORT_READ_CAP): Fr[] {
24
- const size = Math.min(this.size, readCap, TaggedMemory.MAX_MEMORY_SIZE - this.offset);
25
- return this.memory.getSlice(this.offset, size).map(word => word.toFr());
26
- }
27
-
28
- public read(idx: number): Fr | undefined {
29
- if (idx >= this.size) {
30
- return undefined;
31
- }
32
- return this.memory.get(this.offset + idx).toFr();
33
- }
34
-
35
- public slice(start: number, end: number): Fr[] {
36
- const clampedEnd = Math.min(end, this.size);
37
- const length = Math.max(0, clampedEnd - start);
38
- return this.memory.getSlice(this.offset + start, length).map(word => word.toFr());
39
- }
40
-
41
- public readAll(): Fr[] {
42
- return this.memory.getSlice(this.offset, this.size).map(word => word.toFr());
43
- }
44
-
45
- public length(): number {
46
- return this.size;
47
- }
48
- }
49
-
50
- export class LazyReaderArray implements LazyReader {
51
- constructor(private array: Fr[]) {}
52
-
53
- public bestEffortReadAll(readCap = DEFAULT_BEST_EFFORT_READ_CAP): Fr[] {
54
- return this.array.slice(0, readCap);
55
- }
56
-
57
- public read(idx: number): Fr | undefined {
58
- return this.array[idx];
59
- }
60
-
61
- public slice(start: number, end: number): Fr[] {
62
- return this.array.slice(start, end);
63
- }
64
-
65
- public readAll(): Fr[] {
66
- return this.array;
67
- }
68
-
69
- public length(): number {
70
- return this.array.length;
71
- }
72
- }
73
-
74
- // Compile time branding to avoid swapping CallData and ReturnData by accident.
75
- declare const CallDataBrand: unique symbol;
76
- declare const ReturnDataBrand: unique symbol;
77
-
78
- export type CallData = LazyReader & {
79
- readonly [CallDataBrand]: true;
80
- };
81
-
82
- export type ReturnData = LazyReader & {
83
- readonly [ReturnDataBrand]: true;
84
- };
85
-
86
- export class CallDataArray extends LazyReaderArray implements CallData {
87
- declare readonly [CallDataBrand]: true;
88
- }
89
-
90
- export class CallDataMemory extends LazyReaderMemory implements CallData {
91
- declare readonly [CallDataBrand]: true;
92
- }
93
-
94
- export class ReturnDataArray extends LazyReaderArray implements ReturnData {
95
- declare readonly [ReturnDataBrand]: true;
96
- }
97
-
98
- export class ReturnDataMemory extends LazyReaderMemory implements ReturnData {
99
- declare readonly [ReturnDataBrand]: true;
100
- }