@aztec/aztec-node 0.0.1-commit.d3ec352c → 0.0.1-commit.d58ff9d0

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 (75) hide show
  1. package/dest/aztec-node/block_response_helpers.d.ts +25 -0
  2. package/dest/aztec-node/block_response_helpers.d.ts.map +1 -0
  3. package/dest/aztec-node/block_response_helpers.js +112 -0
  4. package/dest/aztec-node/config.d.ts +26 -8
  5. package/dest/aztec-node/config.d.ts.map +1 -1
  6. package/dest/aztec-node/config.js +32 -8
  7. package/dest/aztec-node/node_metrics.d.ts +1 -1
  8. package/dest/aztec-node/node_metrics.d.ts.map +1 -1
  9. package/dest/aztec-node/node_metrics.js +9 -16
  10. package/dest/aztec-node/node_public_calls_simulator.d.ts +97 -0
  11. package/dest/aztec-node/node_public_calls_simulator.d.ts.map +1 -0
  12. package/dest/aztec-node/node_public_calls_simulator.js +351 -0
  13. package/dest/aztec-node/public_data_overrides.d.ts +13 -0
  14. package/dest/aztec-node/public_data_overrides.d.ts.map +1 -0
  15. package/dest/aztec-node/public_data_overrides.js +21 -0
  16. package/dest/aztec-node/register_node_rpc_handlers.d.ts +10 -0
  17. package/dest/aztec-node/register_node_rpc_handlers.d.ts.map +1 -0
  18. package/dest/aztec-node/register_node_rpc_handlers.js +31 -0
  19. package/dest/aztec-node/server.d.ts +161 -224
  20. package/dest/aztec-node/server.d.ts.map +1 -1
  21. package/dest/aztec-node/server.js +887 -705
  22. package/dest/bin/index.js +15 -10
  23. package/dest/factory.d.ts +33 -0
  24. package/dest/factory.d.ts.map +1 -0
  25. package/dest/factory.js +523 -0
  26. package/dest/index.d.ts +3 -1
  27. package/dest/index.d.ts.map +1 -1
  28. package/dest/index.js +2 -0
  29. package/dest/modules/block_parameter.d.ts +25 -0
  30. package/dest/modules/block_parameter.d.ts.map +1 -0
  31. package/dest/modules/block_parameter.js +100 -0
  32. package/dest/modules/node_block_provider.d.ts +19 -0
  33. package/dest/modules/node_block_provider.d.ts.map +1 -0
  34. package/dest/modules/node_block_provider.js +112 -0
  35. package/dest/modules/node_tx_receipt.d.ts +24 -0
  36. package/dest/modules/node_tx_receipt.d.ts.map +1 -0
  37. package/dest/modules/node_tx_receipt.js +70 -0
  38. package/dest/modules/node_world_state_queries.d.ts +65 -0
  39. package/dest/modules/node_world_state_queries.d.ts.map +1 -0
  40. package/dest/modules/node_world_state_queries.js +272 -0
  41. package/dest/sentinel/config.d.ts +3 -2
  42. package/dest/sentinel/config.d.ts.map +1 -1
  43. package/dest/sentinel/config.js +15 -5
  44. package/dest/sentinel/factory.d.ts +6 -4
  45. package/dest/sentinel/factory.d.ts.map +1 -1
  46. package/dest/sentinel/factory.js +13 -6
  47. package/dest/sentinel/sentinel.d.ts +146 -21
  48. package/dest/sentinel/sentinel.d.ts.map +1 -1
  49. package/dest/sentinel/sentinel.js +269 -116
  50. package/dest/sentinel/store.d.ts +8 -8
  51. package/dest/sentinel/store.d.ts.map +1 -1
  52. package/dest/sentinel/store.js +33 -21
  53. package/dest/test/index.d.ts +3 -3
  54. package/dest/test/index.d.ts.map +1 -1
  55. package/package.json +29 -26
  56. package/src/aztec-node/block_response_helpers.ts +161 -0
  57. package/src/aztec-node/config.ts +64 -21
  58. package/src/aztec-node/node_metrics.ts +6 -17
  59. package/src/aztec-node/node_public_calls_simulator.ts +394 -0
  60. package/src/aztec-node/public_data_overrides.ts +35 -0
  61. package/src/aztec-node/register_node_rpc_handlers.ts +29 -0
  62. package/src/aztec-node/server.ts +678 -944
  63. package/src/bin/index.ts +19 -12
  64. package/src/factory.ts +688 -0
  65. package/src/index.ts +2 -0
  66. package/src/modules/block_parameter.ts +93 -0
  67. package/src/modules/node_block_provider.ts +149 -0
  68. package/src/modules/node_tx_receipt.ts +115 -0
  69. package/src/modules/node_world_state_queries.ts +374 -0
  70. package/src/sentinel/README.md +103 -0
  71. package/src/sentinel/config.ts +18 -6
  72. package/src/sentinel/factory.ts +23 -13
  73. package/src/sentinel/sentinel.ts +320 -131
  74. package/src/sentinel/store.ts +35 -27
  75. package/src/test/index.ts +2 -2
@@ -1 +1 @@
1
- {"version":3,"file":"sentinel.d.ts","sourceRoot":"","sources":["../../src/sentinel/sentinel.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAEvF,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAIL,KAAK,OAAO,EACZ,KAAK,cAAc,EACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EACL,KAAK,aAAa,EAClB,aAAa,EACb,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAE/B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,KAAK,EACV,oBAAoB,EACpB,cAAc,EACd,sBAAsB,EACtB,qBAAqB,EACrB,mBAAmB,EACnB,0BAA0B,EAC1B,eAAe,EAChB,MAAM,0BAA0B,CAAC;AAIlC,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;;AAE3C,qBAAa,QAAS,SAAQ,aAA2C,YAAW,yBAAyB,EAAE,OAAO;IAYlH,SAAS,CAAC,UAAU,EAAE,UAAU;IAChC,SAAS,CAAC,QAAQ,EAAE,aAAa;IACjC,SAAS,CAAC,GAAG,EAAE,SAAS;IACxB,SAAS,CAAC,KAAK,EAAE,aAAa;IAC9B,SAAS,CAAC,MAAM,EAAE,IAAI,CACpB,aAAa,EACb,iCAAiC,GAAG,wBAAwB,GAAG,0CAA0C,CAC1G;IACD,SAAS,CAAC,MAAM;IAnBlB,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC;IACzC,SAAS,CAAC,WAAW,EAAG,aAAa,CAAC;IACtC,SAAS,CAAC,WAAW,EAAE,WAAW,CAAC;IAEnC,SAAS,CAAC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAC;IAC9C,SAAS,CAAC,iBAAiB,EAAE,UAAU,GAAG,SAAS,CAAC;IAEpD,SAAS,CAAC,iBAAiB,EAAE,GAAG,CAAC,UAAU,EAAE;QAAE,WAAW,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,UAAU,EAAE,CAAA;KAAE,CAAC,CACxG;IAEZ,YACY,UAAU,EAAE,UAAU,EACtB,QAAQ,EAAE,aAAa,EACvB,GAAG,EAAE,SAAS,EACd,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,IAAI,CACpB,aAAa,EACb,iCAAiC,GAAG,wBAAwB,GAAG,0CAA0C,CAC1G,EACS,MAAM,yCAAgC,EAMjD;IAEM,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,QAEjD;IAEY,KAAK,kBAGjB;IAED,kHAAkH;IAClH,UAAgB,IAAI,kBAKnB;IAEM,IAAI,kBAEV;IAEY,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CA2B5E;IAED,UAAgB,iBAAiB,CAAC,KAAK,EAAE,kBAAkB,iBAoB1D;IAED,UAAgB,wBAAwB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAyBhG;IAED;;;;;OAKG;IACH,UAAgB,mBAAmB,CACjC,SAAS,EAAE,UAAU,EACrB,YAAY,EAAE,WAAW,EACzB,yBAAyB,EAAE,MAAM,GAChC,OAAO,CAAC,OAAO,CAAC,CAuBlB;IAED,UAAgB,uBAAuB,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,0BAA0B,iBAkClG;IAED;;;;OAIG;IACU,IAAI,kBAiBhB;IAED;;;;OAIG;IACH,UAAgB,gBAAgB,CAAC,WAAW,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,GAAG,KAAK,CAAC,CAqCrF;IAED;;;OAGG;IACH,UAAgB,WAAW,CAAC,IAAI,EAAE,UAAU,iBAa3C;IAED,0CAA0C;IAC1C,UAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE;;OA2DlH;IAED,wDAAwD;IACxD,SAAS,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,MAAM,EAAE,EAAE,qBAAqB,GAAG,SAAS,CAAC,iBAE3G;IAED,0DAA0D;IAC7C,YAAY,CAAC,EACxB,QAAQ,EACR,MAAM,EACN,UAAU,EACX,GAAE;QAAE,QAAQ,CAAC,EAAE,UAAU,CAAC;QAAC,MAAM,CAAC,EAAE,UAAU,CAAC;QAAC,UAAU,CAAC,EAAE,UAAU,EAAE,CAAA;KAAO,GAAG,OAAO,CAAC,eAAe,CAAC,CAmB3G;IAED,6CAA6C;IAChC,iBAAiB,CAC5B,gBAAgB,EAAE,UAAU,EAC5B,QAAQ,CAAC,EAAE,UAAU,EACrB,MAAM,CAAC,EAAE,UAAU,GAClB,OAAO,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAkC3C;IAED,SAAS,CAAC,wBAAwB,CAChC,OAAO,EAAE,KAAK,MAAM,EAAE,EACtB,UAAU,EAAE,sBAAsB,EAClC,QAAQ,CAAC,EAAE,UAAU,EACrB,MAAM,CAAC,EAAE,UAAU,GAClB,cAAc,CAchB;IAED,SAAS,CAAC,aAAa,CACrB,OAAO,EAAE,sBAAsB,EAC/B,iBAAiB,EAAE,mBAAmB,GAAG,SAAS,EAClD,MAAM,EAAE,qBAAqB,EAAE;;;;;MAUhC;IAED,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS;;;;kBAMrD;CACF"}
1
+ {"version":3,"file":"sentinel.d.ts","sourceRoot":"","sources":["../../src/sentinel/sentinel.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAEpH,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAIL,KAAK,OAAO,EACZ,KAAK,cAAc,EAEpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,KAAK,aAAa,EAA6C,MAAM,qBAAqB,CAAC;AACpG,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,0BAA0B,CAAC;AAC7E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAGxD,OAAO,KAAK,EACV,oBAAoB,EACpB,cAAc,EACd,sBAAsB,EACtB,qBAAqB,EACrB,mBAAmB,EACnB,0BAA0B,EAC1B,eAAe,EAChB,MAAM,0BAA0B,CAAC;AAIlC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,MAAM,MAAM,qBAAqB,GAAG,IAAI,CACtC,aAAa,EACb,iCAAiC,GAAG,wBAAwB,GAAG,0CAA0C,CAC1G,GACC,IAAI,CAAC,cAAc,EAAE,6BAA6B,CAAC,GACnD,IAAI,CAAC,WAAW,EAAE,WAAW,GAAG,eAAe,CAAC,CAAC;;AAanD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqEG;AACH,qBAAa,QAAS,SAAQ,aAA2C,YAAW,OAAO;IASvF,SAAS,CAAC,UAAU,EAAE,UAAU;IAChC,SAAS,CAAC,QAAQ,EAAE,aAAa;IACjC,SAAS,CAAC,GAAG,EAAE,SAAS;IACxB,SAAS,CAAC,KAAK,EAAE,aAAa;IAC9B,SAAS,CAAC,kBAAkB,EAAE,4BAA4B;IAC1D,SAAS,CAAC,MAAM,EAAE,qBAAqB;IACvC,SAAS,CAAC,MAAM;IAdlB,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC;IAEzC,SAAS,CAAC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAC;IAC9C,SAAS,CAAC,iBAAiB,EAAE,UAAU,GAAG,SAAS,CAAC;IACpD,0EAA0E;IAC1E,SAAS,CAAC,kBAAkB,EAAE,WAAW,GAAG,SAAS,CAAC;IAEtD,YACY,UAAU,EAAE,UAAU,EACtB,QAAQ,EAAE,aAAa,EACvB,GAAG,EAAE,SAAS,EACd,KAAK,EAAE,aAAa,EACpB,kBAAkB,EAAE,4BAA4B,EAChD,MAAM,EAAE,qBAAqB,EAC7B,MAAM,yCAAgC,EAKjD;IAED,OAAO,CAAC,mBAAmB;IAOpB,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,QAEjD;IAEY,KAAK,kBAGjB;IAED;;;;;OAKG;IACH,UAAgB,IAAI,kBAGnB;IAED;;;;;;OAMG;IACH,UAAgB,cAAc,IAAI,OAAO,CAAC,UAAU,CAAC,CAEpD;IAEM,IAAI,kBAEV;IAED;;;;;;OAMG;IACH,UAAgB,oBAAoB,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAC3D;QACE,gBAAgB,EAAE,gBAAgB,CAAC;QACnC,OAAO,EAAE,MAAM,CAAC;QAChB,mBAAmB,EAAE,sBAAsB,CAAC;QAC5C,SAAS,EAAE,UAAU,EAAE,CAAC;KACzB,GACD,SAAS,CACZ,CAiBA;IAED;;;;OAIG;IACH,UAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,iBAOhD;IAED,UAAgB,uBAAuB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,0BAA0B,CAAC,CA6B/F;IAED;;;;;OAKG;IACH,UAAgB,mBAAmB,CACjC,SAAS,EAAE,UAAU,EACrB,YAAY,EAAE,WAAW,EACzB,yBAAyB,EAAE,MAAM,GAChC,OAAO,CAAC,OAAO,CAAC,CAuBlB;IAED,UAAgB,sBAAsB,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,0BAA0B,iBAsCjG;IAED;;;;;;;;OAQG;IACU,IAAI,kBAchB;IAED;;;OAGG;IACH,UAAgB,gBAAgB,CAAC,WAAW,EAAE,UAAU,iBAmCvD;IAED;;;;OAIG;IACH,UAAgB,gBAAgB,CAAC,WAAW,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,GAAG,KAAK,CAAC,CAqCrF;IAED;;;OAGG;IACH,UAAgB,WAAW,CAAC,IAAI,EAAE,UAAU,iBAkB3C;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,UAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE;;OAwElH;IAED,wDAAwD;IACxD,SAAS,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,MAAM,EAAE,EAAE,qBAAqB,GAAG,SAAS,CAAC,iBAE3G;IAED,0DAA0D;IAC7C,YAAY,CAAC,EACxB,QAAQ,EACR,MAAM,EACN,UAAU,EACX,GAAE;QAAE,QAAQ,CAAC,EAAE,UAAU,CAAC;QAAC,MAAM,CAAC,EAAE,UAAU,CAAC;QAAC,UAAU,CAAC,EAAE,UAAU,EAAE,CAAA;KAAO,GAAG,OAAO,CAAC,eAAe,CAAC,CAmB3G;IAED,6CAA6C;IAChC,iBAAiB,CAC5B,gBAAgB,EAAE,UAAU,EAC5B,QAAQ,CAAC,EAAE,UAAU,EACrB,MAAM,CAAC,EAAE,UAAU,GAClB,OAAO,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAkC3C;IAED,SAAS,CAAC,wBAAwB,CAChC,OAAO,EAAE,KAAK,MAAM,EAAE,EACtB,UAAU,EAAE,sBAAsB,EAClC,QAAQ,CAAC,EAAE,UAAU,EACrB,MAAM,CAAC,EAAE,UAAU,GAClB,cAAc,CAmBhB;IAED,SAAS,CAAC,aAAa,CACrB,OAAO,EAAE,sBAAsB,EAC/B,mBAAmB,EAAE,mBAAmB,GAAG,SAAS,EACpD,MAAM,EAAE,qBAAqB,EAAE;;;;;MAYhC;IAED,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS;;;;kBAMrD;CACF"}
@@ -1,33 +1,114 @@
1
- import { BlockNumber, SlotNumber } from '@aztec/foundation/branded-types';
1
+ import { CheckpointProposalHash, EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
2
2
  import { countWhile, filterAsync, fromEntries, getEntries, mapValues } from '@aztec/foundation/collection';
3
3
  import { EthAddress } from '@aztec/foundation/eth-address';
4
4
  import { createLogger } from '@aztec/foundation/log';
5
5
  import { RunningPromise } from '@aztec/foundation/running-promise';
6
- import { L2TipsMemoryStore } from '@aztec/kv-store/stores';
7
- import { OffenseType, WANT_TO_SLASH_EVENT } from '@aztec/slasher';
8
- import { L2BlockStream, getAttestationInfoFromPublishedL2Block } from '@aztec/stdlib/block';
6
+ import { OffenseType, WANT_TO_SLASH_EVENT, getOffenseTypeName } from '@aztec/slasher';
7
+ import { getAttestationInfoFromPublishedCheckpoint } from '@aztec/stdlib/block';
9
8
  import { getEpochAtSlot, getSlotRangeForEpoch, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
9
+ import { ConsensusPayload } from '@aztec/stdlib/p2p';
10
10
  import EventEmitter from 'node:events';
11
- export class Sentinel extends EventEmitter {
11
+ /** Maps a validator status to its category: proposer or attestation. */ function statusToCategory(status) {
12
+ switch(status){
13
+ case 'attestation-sent':
14
+ case 'attestation-missed':
15
+ return 'attestation';
16
+ default:
17
+ return 'proposer';
18
+ }
19
+ }
20
+ /**
21
+ * The Sentinel observes validator behaviour every L2 slot, classifies it into a per-slot status,
22
+ * aggregates those statuses into per-epoch performance once each epoch is fully observed, and
23
+ * emits inactivity slash payloads when a validator has been inactive for the configured number
24
+ * of consecutive epochs.
25
+ *
26
+ * ## Two cadences
27
+ *
28
+ * The sentinel runs `work()` every quarter L2 slot and drives two independent pipelines:
29
+ *
30
+ * 1. **Per-slot activity recording.** `processSlot(currentSlot - 2)` runs once per slot, with a
31
+ * two-slot lag to let P2P attestations settle and the archiver catch up. It classifies each
32
+ * committee member's behaviour for that slot via `getSlotActivity` and persists the result to
33
+ * `SentinelStore.historyMap` (sliding window of `sentinelHistoryLengthInEpochs * epochDuration`
34
+ * slots, default 24 epochs).
35
+ *
36
+ * 2. **Per-epoch evaluation.** `processEpochEnds(currentSlot)` runs every tick too. Once
37
+ * `sentinelEpochEndBufferSlots` (default 2) has elapsed past an epoch's last slot AND the
38
+ * per-slot recorder has covered that last slot, the sentinel calls `handleEpochEnd(epoch)`.
39
+ * That aggregates the slot-level statuses for the epoch into per-validator `{missed, total}`,
40
+ * persists it to `SentinelStore.epochMap` (default 2000-epoch window), and runs the slashing
41
+ * decision.
42
+ *
43
+ * Triggering per-epoch evaluation off local L2 state — rather than waiting for L1 proof
44
+ * publication — decouples slashing from prover availability.
45
+ *
46
+ * ## Six-case taxonomy in `getSlotActivity`
47
+ *
48
+ * For each slot, the sentinel assigns the proposer one of six statuses, ranked highest-confidence
49
+ * first:
50
+ *
51
+ * - `checkpoint-mined` — a checkpoint covering this slot has landed on L1
52
+ * (fetched on demand via `archiver.getCheckpoint({ slot })`).
53
+ * - `checkpoint-valid` — the local node re-executed a checkpoint proposal for this slot
54
+ * successfully (consulted via `CheckpointReexecutionTracker`).
55
+ * - `checkpoint-invalid` — the local node re-executed a checkpoint proposal for this slot
56
+ * and rejected it (e.g. header/archive/out-hash mismatch, limit
57
+ * breach). Proposer-fault.
58
+ * - `checkpoint-unvalidated` — the local node observed a checkpoint proposal but could not
59
+ * validate it (missing blocks/txs, timeouts). Treated as
60
+ * proposer-fault for slashing.
61
+ * - `checkpoint-missed` — block proposals seen on P2P but no checkpoint proposal at all.
62
+ * - `blocks-missed` — no block proposals seen for this slot.
63
+ *
64
+ * Missing-attestor faults are recorded only in `checkpoint-mined` and `checkpoint-valid`, where
65
+ * the local node has positive evidence the checkpoint was canonical or valid. In the other four
66
+ * cases the proposer is at fault and no attestor penalty applies.
67
+ *
68
+ * ## Re-execution tracker
69
+ *
70
+ * `CheckpointReexecutionTracker` is populated by the validator client's checkpoint proposal
71
+ * handler. Every early return in `validateCheckpointProposal` records an outcome
72
+ * (`valid` / `invalid` / `unvalidated`) keyed by slot.
73
+ *
74
+ * ## Inactivity slashing
75
+ *
76
+ * `handleEpochPerformance` filters the epoch's per-validator stats by
77
+ * `slashInactivityTargetPercentage` and then calls `checkPastInactivity` to require
78
+ * `slashInactivityConsecutiveEpochThreshold` consecutive past epochs over the same threshold
79
+ * (read from `SentinelStore.epochMap`). Only validators meeting both conditions are emitted as
80
+ * `WANT_TO_SLASH_EVENT` with `OffenseType.INACTIVITY`. The slot-level counters that feed this —
81
+ * `missedProposals` and `missedAttestations` — include the four proposer-fault statuses plus
82
+ * `attestation-missed`.
83
+ *
84
+ * ## Escape hatch
85
+ *
86
+ * If `epochCache.getCommittee(slot)` reports `isEscapeHatchOpen`, per-slot recording is skipped
87
+ * (no history entries for that slot) and per-epoch evaluation writes an empty performance map
88
+ * (no slashing).
89
+ */ export class Sentinel extends EventEmitter {
12
90
  epochCache;
13
91
  archiver;
14
92
  p2p;
15
93
  store;
94
+ reexecutionTracker;
16
95
  config;
17
96
  logger;
18
97
  runningPromise;
19
- blockStream;
20
- l2TipsStore;
21
98
  initialSlot;
22
99
  lastProcessedSlot;
23
- // eslint-disable-next-line aztec-custom/no-non-primitive-in-collections
24
- slotNumberToBlock;
25
- constructor(epochCache, archiver, p2p, store, config, logger = createLogger('node:sentinel')){
26
- super(), this.epochCache = epochCache, this.archiver = archiver, this.p2p = p2p, this.store = store, this.config = config, this.logger = logger, this.slotNumberToBlock = new Map();
27
- this.l2TipsStore = new L2TipsMemoryStore();
100
+ /** Largest epoch number for which the end-of-epoch aggregator has run. */ lastEvaluatedEpoch;
101
+ constructor(epochCache, archiver, p2p, store, reexecutionTracker, config, logger = createLogger('node:sentinel')){
102
+ super(), this.epochCache = epochCache, this.archiver = archiver, this.p2p = p2p, this.store = store, this.reexecutionTracker = reexecutionTracker, this.config = config, this.logger = logger;
28
103
  const interval = epochCache.getL1Constants().ethereumSlotDuration * 1000 / 4;
29
104
  this.runningPromise = new RunningPromise(this.work.bind(this), logger, interval);
30
105
  }
106
+ getSignatureContext() {
107
+ return {
108
+ chainId: this.config.l1ChainId,
109
+ rollupAddress: this.config.rollupAddress
110
+ };
111
+ }
31
112
  updateConfig(config) {
32
113
  this.config = {
33
114
  ...this.config,
@@ -38,64 +119,67 @@ export class Sentinel extends EventEmitter {
38
119
  await this.init();
39
120
  this.runningPromise.start();
40
121
  }
41
- /** Loads initial slot and initializes blockstream. We will not process anything at or before the initial slot. */ async init() {
42
- this.initialSlot = this.epochCache.getEpochAndSlotNow().slot;
43
- const startingBlock = BlockNumber(await this.archiver.getBlockNumber());
44
- this.logger.info(`Starting validator sentinel with initial slot ${this.initialSlot} and block ${startingBlock}`);
45
- this.blockStream = new L2BlockStream(this.archiver, this.l2TipsStore, this, this.logger, {
46
- startingBlock
47
- });
122
+ /**
123
+ * Loads the initial slot. We will not process anything at or before the initial slot. Floors at the
124
+ * archiver's synced L2 slot so the sentinel keeps making forward progress when L1 is advancing but L2 has no
125
+ * activity (the synced slot is driven by L1 sync, not by L2 blocks). Falls back to the wallclock if the
126
+ * archiver isn't ready yet (cold start).
127
+ */ async init() {
128
+ this.initialSlot = await this.getCurrentSlot();
129
+ this.logger.info(`Starting validator sentinel with initial slot ${this.initialSlot}`);
130
+ }
131
+ /**
132
+ * Returns the L2 slot the sentinel should treat as "current": the archiver's last fully
133
+ * synced L2 slot, falling back to the wallclock slot when the archiver isn't ready yet
134
+ * (cold start). Anchoring to the synced slot keeps timing arithmetic (initial floor,
135
+ * per-slot lag, end-of-epoch buffer, stats-range fallback) from speculating ahead of where
136
+ * L1 actually is.
137
+ */ async getCurrentSlot() {
138
+ return await this.archiver.getSyncedL2SlotNumber() ?? this.epochCache.getSlotNow();
48
139
  }
49
140
  stop() {
50
141
  return this.runningPromise.stop();
51
142
  }
52
- async handleBlockStreamEvent(event) {
53
- await this.l2TipsStore.handleBlockStreamEvent(event);
54
- if (event.type === 'blocks-added') {
55
- // Store mapping from slot to archive, block number, and attestors
56
- for (const block of event.blocks){
57
- this.slotNumberToBlock.set(block.block.header.getSlot(), {
58
- blockNumber: BlockNumber(block.block.number),
59
- archive: block.block.archive.root.toString(),
60
- attestors: getAttestationInfoFromPublishedL2Block(block).filter((a)=>a.status === 'recovered-from-signature').map((a)=>a.address)
61
- });
62
- }
63
- // Prune the archive map to only keep at most N entries
64
- const historyLength = this.store.getHistoryLength();
65
- if (this.slotNumberToBlock.size > historyLength) {
66
- const toDelete = Array.from(this.slotNumberToBlock.keys()).sort((a, b)=>Number(a - b)).slice(0, this.slotNumberToBlock.size - historyLength);
67
- for (const key of toDelete){
68
- this.slotNumberToBlock.delete(key);
69
- }
70
- }
71
- } else if (event.type === 'chain-proven') {
72
- await this.handleChainProven(event);
143
+ /**
144
+ * Fetches the L1-confirmed checkpoint covering a slot (if any) and derives the slot-level data the
145
+ * activity classifier needs: the checkpoint number, archive root, consensus payload hash (used to fetch
146
+ * matching p2p attestations regardless of feeAssetPriceModifier variants), and the recovered attestor set.
147
+ * Reads on demand so the result is always against the canonical chain — a reorged-out checkpoint simply
148
+ * stops being returned, with no stale mapping to clean up.
149
+ */ async getCheckpointForSlot(slot) {
150
+ const checkpoint = await this.archiver.getCheckpoint({
151
+ slot
152
+ });
153
+ if (!checkpoint) {
154
+ return undefined;
73
155
  }
156
+ const signatureContext = this.getSignatureContext();
157
+ const proposalPayloadHash = CheckpointProposalHash.fromBuffer(ConsensusPayload.fromCheckpoint(checkpoint.checkpoint, signatureContext).getPayloadHash());
158
+ return {
159
+ checkpointNumber: checkpoint.checkpoint.number,
160
+ archive: checkpoint.checkpoint.archive.root.toString(),
161
+ proposalPayloadHash,
162
+ attestors: getAttestationInfoFromPublishedCheckpoint(checkpoint, signatureContext).filter((a)=>a.status === 'recovered-from-signature').map((a)=>a.address)
163
+ };
74
164
  }
75
- async handleChainProven(event) {
76
- if (event.type !== 'chain-proven') {
77
- return;
78
- }
79
- const blockNumber = BlockNumber(event.block.number);
80
- const block = await this.archiver.getBlock(blockNumber);
81
- if (!block) {
82
- this.logger.error(`Failed to get block ${blockNumber}`, {
83
- block
84
- });
85
- return;
86
- }
87
- // TODO(palla/slash): We should only be computing proven performance if this is
88
- // a full proof epoch and not a partial one, otherwise we'll end up with skewed stats.
89
- const epoch = getEpochAtSlot(block.header.getSlot(), this.epochCache.getL1Constants());
90
- this.logger.debug(`Computing proven performance for epoch ${epoch}`);
91
- const performance = await this.computeProvenPerformance(epoch);
92
- this.logger.info(`Computed proven performance for epoch ${epoch}`, performance);
93
- await this.store.updateProvenPerformance(epoch, performance);
94
- await this.handleProvenPerformance(epoch, performance);
165
+ /**
166
+ * Called once per epoch, after the configured end-of-epoch buffer has elapsed beyond the
167
+ * epoch's last slot. Computes per-epoch performance from the slot-level history collected
168
+ * by `processSlot` and emits any inactivity slash payloads.
169
+ */ async handleEpochEnd(epoch) {
170
+ this.logger.debug(`Computing epoch performance for epoch ${epoch}`);
171
+ const performance = await this.computeEpochPerformance(epoch);
172
+ this.logger.info(`Computed epoch performance for epoch ${epoch}`, performance);
173
+ await this.store.updateEpochPerformance(epoch, performance);
174
+ await this.handleEpochPerformance(epoch, performance);
95
175
  }
96
- async computeProvenPerformance(epoch) {
176
+ async computeEpochPerformance(epoch) {
97
177
  const [fromSlot, toSlot] = getSlotRangeForEpoch(epoch, this.epochCache.getL1Constants());
98
- const { committee } = await this.epochCache.getCommittee(fromSlot);
178
+ const { committee, isEscapeHatchOpen } = await this.epochCache.getCommittee(fromSlot);
179
+ if (isEscapeHatchOpen) {
180
+ this.logger.info(`Skipping epoch performance for epoch ${epoch} - escape hatch is open`);
181
+ return {};
182
+ }
99
183
  if (!committee) {
100
184
  this.logger.trace(`No committee found for slot ${fromSlot}`);
101
185
  return {};
@@ -131,8 +215,8 @@ export class Sentinel extends EventEmitter {
131
215
  if (requiredConsecutiveEpochs === 0) {
132
216
  return true;
133
217
  }
134
- // Get all historical performance for this validator
135
- const allPerformance = await this.store.getProvenPerformance(validator);
218
+ // Get all historical per-epoch performance for this validator
219
+ const allPerformance = await this.store.getEpochPerformance(validator);
136
220
  // Sort by epoch descending to get most recent first, keep only epochs strictly before the current one, and get the first N
137
221
  const pastEpochs = allPerformance.sort((a, b)=>Number(b.epoch - a.epoch)).filter((p)=>p.epoch < currentEpoch);
138
222
  // If we don't have enough historical data, don't slash
@@ -141,13 +225,10 @@ export class Sentinel extends EventEmitter {
141
225
  return false;
142
226
  }
143
227
  // Check that we have at least requiredConsecutiveEpochs and that all of them are above the inactivity threshold
144
- return pastEpochs.slice(0, requiredConsecutiveEpochs).every((p)=>p.missed / p.total >= this.config.slashInactivityTargetPercentage);
228
+ return pastEpochs.slice(0, requiredConsecutiveEpochs).every((p)=>p.total === 0 ? false : p.missed / p.total >= this.config.slashInactivityTargetPercentage);
145
229
  }
146
- async handleProvenPerformance(epoch, performance) {
147
- if (this.config.slashInactivityPenalty === 0n) {
148
- return;
149
- }
150
- const inactiveValidators = getEntries(performance).filter(([_, { missed, total }])=>missed / total >= this.config.slashInactivityTargetPercentage).map(([address])=>address);
230
+ async handleEpochPerformance(epoch, performance) {
231
+ const inactiveValidators = getEntries(performance).filter(([_, { missed, total }])=>total > 0 && missed / total >= this.config.slashInactivityTargetPercentage).map(([address])=>address);
151
232
  this.logger.debug(`Found ${inactiveValidators.length} inactive validators in epoch ${epoch}`, {
152
233
  inactiveValidators,
153
234
  epoch,
@@ -162,8 +243,13 @@ export class Sentinel extends EventEmitter {
162
243
  epochOrSlot: BigInt(epoch)
163
244
  }));
164
245
  if (criminals.length > 0) {
165
- this.logger.verbose(`Identified ${criminals.length} validators to slash due to inactivity in at least ${epochThreshold} consecutive epochs`, {
166
- ...args,
246
+ this.logger.info(`Identified ${criminals.length} inactivity offenses in at least ${epochThreshold} consecutive epochs`, {
247
+ offenses: args.map((arg)=>({
248
+ validator: arg.validator.toString(),
249
+ amount: arg.amount,
250
+ offenseType: getOffenseTypeName(arg.offenseType),
251
+ epochOrSlot: arg.epochOrSlot
252
+ })),
167
253
  epochThreshold
168
254
  });
169
255
  this.emit(WANT_TO_SLASH_EVENT, args);
@@ -173,23 +259,58 @@ export class Sentinel extends EventEmitter {
173
259
  * Process data for two L2 slots ago.
174
260
  * Note that we do not process historical data, since we rely on p2p data for processing,
175
261
  * and we don't have that data if we were offline during the period.
262
+ *
263
+ * `currentSlot` is anchored to the archiver's last synced L2 slot rather than the wallclock,
264
+ * so the per-slot lag (`isReadyToProcess`) and the end-of-epoch buffer (`processEpochEnds`)
265
+ * advance with archiver.
176
266
  */ async work() {
177
- const { slot: currentSlot } = this.epochCache.getEpochAndSlotNow();
267
+ const currentSlot = await this.getCurrentSlot();
178
268
  try {
179
- // Manually sync the block stream to ensure we have the latest data.
180
- // Note we never `start` the blockstream, so it loops at the same pace as we do.
181
- await this.blockStream.sync();
182
- // Check if we are ready to process data for two L2 slots ago.
269
+ // Per-slot activity recording (lag = 2 slots for P2P attestation settlement).
183
270
  const targetSlot = await this.isReadyToProcess(currentSlot);
184
- // And process it if we are.
185
271
  if (targetSlot !== false) {
186
272
  await this.processSlot(targetSlot);
187
273
  }
274
+ // End-of-epoch evaluation (lag = sentinelEpochEndBufferSlots beyond the epoch's last slot).
275
+ await this.processEpochEnds(currentSlot);
188
276
  } catch (err) {
189
277
  this.logger.error(`Failed to process slot ${currentSlot}`, err);
190
278
  }
191
279
  }
192
280
  /**
281
+ * After the configured buffer has elapsed past an epoch's last slot, runs the end-of-epoch
282
+ * aggregator for that epoch. Catches up if multiple epochs become eligible at once.
283
+ */ async processEpochEnds(currentSlot) {
284
+ const constants = this.epochCache.getL1Constants();
285
+ const buffer = this.config.sentinelEpochEndBufferSlots;
286
+ if (currentSlot < buffer) {
287
+ return;
288
+ }
289
+ if (this.initialSlot === undefined) {
290
+ return;
291
+ }
292
+ // We can close epoch E iff:
293
+ // - the per-slot recorder has covered the epoch's last slot (lastProcessedSlot ≥ toSlot(E))
294
+ // - the buffer has elapsed past the epoch's last slot (currentSlot − buffer ≥ toSlot(E))
295
+ // - the epoch is not in the past relative to when the sentinel started (toSlot(E) > initialSlot)
296
+ if (this.lastProcessedSlot === undefined) {
297
+ return;
298
+ }
299
+ const slotForBuffer = SlotNumber(currentSlot - buffer);
300
+ // First eligible epoch to close is the one after lastEvaluatedEpoch, or the epoch containing
301
+ // the initial slot if we haven't evaluated any yet (the initialSlot epoch may be partial — we
302
+ // don't try to evaluate it, we start from initialSlot's epoch + 1).
303
+ const startEpoch = this.lastEvaluatedEpoch !== undefined ? EpochNumber(this.lastEvaluatedEpoch + 1) : EpochNumber(getEpochAtSlot(this.initialSlot, constants) + 1);
304
+ for(let epoch = startEpoch;; epoch = EpochNumber(epoch + 1)){
305
+ const [, toSlot] = getSlotRangeForEpoch(epoch, constants);
306
+ if (toSlot > this.lastProcessedSlot || toSlot > slotForBuffer) {
307
+ break;
308
+ }
309
+ await this.handleEpochEnd(epoch);
310
+ this.lastEvaluatedEpoch = epoch;
311
+ }
312
+ }
313
+ /**
193
314
  * Check if we are ready to process data for two L2 slots ago, so we allow plenty of time for p2p to process all in-flight attestations.
194
315
  * We also don't move past the archiver last synced L2 slot, as we don't want to process data that is not yet available.
195
316
  * Last, we check the p2p is synced with the archiver, so it has pulled all attestations from it.
@@ -213,16 +334,16 @@ export class Sentinel extends EventEmitter {
213
334
  this.logger.trace(`Refusing to process slot ${targetSlot} given initial slot ${this.initialSlot}`);
214
335
  return false;
215
336
  }
216
- const archiverSlot = await this.archiver.getL2SlotNumber();
217
- if (archiverSlot === undefined || archiverSlot < targetSlot) {
337
+ const syncedSlot = await this.archiver.getSyncedL2SlotNumber();
338
+ if (syncedSlot === undefined || syncedSlot < targetSlot) {
218
339
  this.logger.debug(`Waiting for archiver to sync with L2 slot ${targetSlot}`, {
219
- archiverSlot,
340
+ syncedSlot,
220
341
  targetSlot
221
342
  });
222
343
  return false;
223
344
  }
224
- const archiverLastBlockHash = await this.l2TipsStore.getL2Tips().then((tip)=>tip.latest.hash);
225
- const p2pLastBlockHash = await this.p2p.getL2Tips().then((tips)=>tips.latest.hash);
345
+ const archiverLastBlockHash = await this.archiver.getL2Tips().then((tip)=>tip.proposed.hash);
346
+ const p2pLastBlockHash = await this.p2p.getL2Tips().then((tips)=>tips.proposed.hash);
226
347
  const isP2pSynced = archiverLastBlockHash === p2pLastBlockHash;
227
348
  if (!isP2pSynced) {
228
349
  this.logger.debug(`Waiting for P2P client to sync with archiver`, {
@@ -237,7 +358,12 @@ export class Sentinel extends EventEmitter {
237
358
  * Gathers committee and proposer data for a given slot, computes slot stats,
238
359
  * and updates overall stats.
239
360
  */ async processSlot(slot) {
240
- const { epoch, seed, committee } = await this.epochCache.getCommittee(slot);
361
+ const { epoch, seed, committee, isEscapeHatchOpen } = await this.epochCache.getCommittee(slot);
362
+ if (isEscapeHatchOpen) {
363
+ this.logger.info(`Skipping slot ${slot} at epoch ${epoch} - escape hatch is open`);
364
+ this.lastProcessedSlot = slot;
365
+ return;
366
+ }
241
367
  if (!committee || committee.length === 0) {
242
368
  this.logger.trace(`No committee found for slot ${slot} at epoch ${epoch}`);
243
369
  this.lastProcessedSlot = slot;
@@ -250,43 +376,67 @@ export class Sentinel extends EventEmitter {
250
376
  await this.updateValidators(slot, stats);
251
377
  this.lastProcessedSlot = slot;
252
378
  }
253
- /** Computes activity for a given slot. */ async getSlotActivity(slot, epoch, proposer, committee) {
379
+ /**
380
+ * Computes activity for a given slot using the six-case taxonomy.
381
+ *
382
+ * Proposer status:
383
+ * - case 6 `checkpoint-mined` — a checkpoint covering this slot has landed on L1.
384
+ * - case 5 `checkpoint-valid` — the local node re-executed a checkpoint proposal for this
385
+ * slot successfully.
386
+ * - case 4 `checkpoint-invalid` — the local node re-executed a checkpoint proposal for this
387
+ * slot and rejected it.
388
+ * - case 3 `checkpoint-unvalidated` — the local node observed a checkpoint proposal for this
389
+ * slot but could not validate it (missing data, timeouts).
390
+ * - case 2 `checkpoint-missed` — block proposals seen on P2P but no checkpoint proposal.
391
+ * - case 1 `blocks-missed` — no block proposals seen for this slot.
392
+ *
393
+ * Missing-attestor penalties apply only in cases 5 and 6, where the local node has positive
394
+ * evidence the checkpoint was valid or has been canonicalised on L1.
395
+ */ async getSlotActivity(slot, epoch, proposer, committee) {
254
396
  this.logger.debug(`Computing stats for slot ${slot} at epoch ${epoch}`, {
255
397
  slot,
256
398
  epoch,
257
399
  proposer,
258
400
  committee
259
401
  });
260
- // Check if there is an L2 block in L1 for this L2 slot
261
- // Here we get all attestations for the block mined at the given slot,
262
- // or all attestations for all proposals in the slot if no block was mined.
263
- // We gather from both p2p (contains the ones seen on the p2p layer) and archiver
264
- // (contains the ones synced from mined blocks, which we may have missed from p2p).
265
- const block = this.slotNumberToBlock.get(slot);
266
- const p2pAttested = await this.p2p.getAttestationsForSlot(slot, block?.archive);
267
- // Filter out attestations with invalid signatures
402
+ // Gather attestors from both p2p (live attestations) and the archiver (signers on the
403
+ // checkpoint if one has landed on L1). Fetched on demand so it always reflects the canonical chain.
404
+ // Used regardless of which case applies.
405
+ const checkpoint = await this.getCheckpointForSlot(slot);
406
+ const p2pAttested = await this.p2p.getCheckpointAttestationsForSlot(slot, checkpoint?.proposalPayloadHash);
268
407
  const p2pAttestors = p2pAttested.map((a)=>a.getSender()).filter((s)=>s !== undefined);
269
408
  const attestors = new Set([
270
409
  ...p2pAttestors.map((a)=>a.toString()),
271
- ...block?.attestors.map((a)=>a.toString()) ?? []
410
+ ...checkpoint?.attestors.map((a)=>a.toString()) ?? []
272
411
  ].filter((addr)=>proposer.toString() !== addr));
273
- // We assume that there was a block proposal if at least one of the validators (other than the proposer) attested to it.
274
- // It could be the case that every single validator failed, and we could differentiate it by having
275
- // this node re-execute every block proposal it sees and storing it in the attestation pool.
276
- // But we'll leave that corner case out to reduce pressure on the node.
277
- // TODO(palla/slash): This breaks if a given node has more than one validator in the current committee,
278
- // since they will attest to their own proposal it even if it's not re-executable.
279
- const blockStatus = block ? 'mined' : attestors.size > 0 ? 'proposed' : 'missed';
280
- this.logger.debug(`Block for slot ${slot} was ${blockStatus}`, {
281
- ...block,
412
+ // Determine the proposer status from the six-case taxonomy.
413
+ const reexecutionOutcome = this.reexecutionTracker.getOutcomeForSlot(slot);
414
+ let status;
415
+ if (checkpoint) {
416
+ status = 'checkpoint-mined';
417
+ } else if (reexecutionOutcome === 'valid') {
418
+ status = 'checkpoint-valid';
419
+ } else if (reexecutionOutcome === 'invalid') {
420
+ status = 'checkpoint-invalid';
421
+ } else if (reexecutionOutcome === 'unvalidated') {
422
+ status = 'checkpoint-unvalidated';
423
+ } else {
424
+ // No L1 checkpoint, no local re-execution outcome for this slot. Distinguish "proposer
425
+ // sent block proposals but never made a checkpoint" from "proposer sent nothing".
426
+ const hasBlockProposals = await this.p2p.hasBlockProposalsForSlot(slot);
427
+ status = hasBlockProposals ? 'checkpoint-missed' : 'blocks-missed';
428
+ }
429
+ this.logger.debug(`Checkpoint status for slot ${slot}: ${status}`, {
430
+ ...checkpoint,
282
431
  slot
283
432
  });
284
- // Get attestors that failed their duties for this block, but only if there was a block proposed
285
- const missedAttestors = new Set(blockStatus === 'missed' ? [] : committee.filter((v)=>!attestors.has(v.toString()) && !proposer.equals(v)).map((v)=>v.toString()));
433
+ // Missing-attestor faults only apply when we have positive evidence the proposal was valid.
434
+ const attestorsExpected = status === 'checkpoint-mined' || status === 'checkpoint-valid';
435
+ const missedAttestors = new Set(attestorsExpected ? committee.filter((v)=>!attestors.has(v.toString()) && !proposer.equals(v)).map((v)=>v.toString()) : []);
286
436
  this.logger.debug(`Retrieved ${attestors.size} attestors out of ${committee.length} for slot ${slot}`, {
287
- blockStatus,
437
+ status,
288
438
  proposer: proposer.toString(),
289
- ...block,
439
+ ...checkpoint,
290
440
  slot,
291
441
  attestors: [
292
442
  ...attestors
@@ -299,7 +449,7 @@ export class Sentinel extends EventEmitter {
299
449
  // Compute the status for each validator in the committee
300
450
  const statusFor = (who)=>{
301
451
  if (who === proposer.toString()) {
302
- return `block-${blockStatus}`;
452
+ return status;
303
453
  } else if (attestors.has(who)) {
304
454
  return 'attestation-sent';
305
455
  } else if (missedAttestors.has(who)) {
@@ -321,7 +471,7 @@ export class Sentinel extends EventEmitter {
321
471
  v.toString(),
322
472
  await this.store.getHistory(v)
323
473
  ]))) : await this.store.getHistories();
324
- const slotNow = this.epochCache.getEpochAndSlotNow().slot;
474
+ const slotNow = await this.getCurrentSlot();
325
475
  fromSlot ??= SlotNumber(Math.max((this.lastProcessedSlot ?? slotNow) - this.store.getHistoryLength(), 0));
326
476
  toSlot ??= this.lastProcessedSlot ?? slotNow;
327
477
  const stats = mapValues(histories, (history, address)=>this.computeStatsForValidator(address, history ?? [], fromSlot, toSlot));
@@ -337,7 +487,7 @@ export class Sentinel extends EventEmitter {
337
487
  if (!history || history.length === 0) {
338
488
  return undefined;
339
489
  }
340
- const slotNow = this.epochCache.getEpochAndSlotNow().slot;
490
+ const slotNow = await this.getCurrentSlot();
341
491
  const effectiveFromSlot = fromSlot ?? SlotNumber(Math.max((this.lastProcessedSlot ?? slotNow) - this.store.getHistoryLength(), 0));
342
492
  const effectiveToSlot = toSlot ?? this.lastProcessedSlot ?? slotNow;
343
493
  const historyLength = BigInt(this.store.getHistoryLength());
@@ -347,7 +497,7 @@ export class Sentinel extends EventEmitter {
347
497
  const validator = this.computeStatsForValidator(validatorAddress.toString(), history, effectiveFromSlot, effectiveToSlot);
348
498
  return {
349
499
  validator,
350
- allTimeProvenPerformance: await this.store.getProvenPerformance(validatorAddress),
500
+ allTimeEpochPerformance: await this.store.getEpochPerformance(validatorAddress),
351
501
  lastProcessedSlot: this.lastProcessedSlot,
352
502
  initialSlot: this.initialSlot,
353
503
  slotWindow: this.store.getHistoryLength()
@@ -356,15 +506,18 @@ export class Sentinel extends EventEmitter {
356
506
  computeStatsForValidator(address, allHistory, fromSlot, toSlot) {
357
507
  let history = fromSlot ? allHistory.filter((h)=>BigInt(h.slot) >= fromSlot) : allHistory;
358
508
  history = toSlot ? history.filter((h)=>BigInt(h.slot) <= toSlot) : history;
359
- const lastProposal = history.filter((h)=>h.status === 'block-proposed' || h.status === 'block-mined').at(-1);
509
+ const lastProposal = history.filter((h)=>h.status === 'checkpoint-valid' || h.status === 'checkpoint-mined').at(-1);
360
510
  const lastAttestation = history.filter((h)=>h.status === 'attestation-sent').at(-1);
361
511
  return {
362
512
  address: EthAddress.fromString(address),
363
513
  lastProposal: this.computeFromSlot(lastProposal?.slot),
364
514
  lastAttestation: this.computeFromSlot(lastAttestation?.slot),
365
515
  totalSlots: history.length,
366
- missedProposals: this.computeMissed(history, 'block', [
367
- 'block-missed'
516
+ missedProposals: this.computeMissed(history, 'proposer', [
517
+ 'checkpoint-missed',
518
+ 'blocks-missed',
519
+ 'checkpoint-invalid',
520
+ 'checkpoint-unvalidated'
368
521
  ]),
369
522
  missedAttestations: this.computeMissed(history, 'attestation', [
370
523
  'attestation-missed'
@@ -372,8 +525,8 @@ export class Sentinel extends EventEmitter {
372
525
  history
373
526
  };
374
527
  }
375
- computeMissed(history, computeOverPrefix, filter) {
376
- const relevantHistory = history.filter((h)=>!computeOverPrefix || h.status.startsWith(computeOverPrefix));
528
+ computeMissed(history, computeOverCategory, filter) {
529
+ const relevantHistory = history.filter((h)=>!computeOverCategory || statusToCategory(h.status) === computeOverCategory);
377
530
  const filteredHistory = relevantHistory.filter((h)=>filter.includes(h.status));
378
531
  return {
379
532
  currentStreak: countWhile([
@@ -5,22 +5,22 @@ import type { ValidatorStatusHistory, ValidatorStatusInSlot, ValidatorsEpochPerf
5
5
  export declare class SentinelStore {
6
6
  private store;
7
7
  private config;
8
- static readonly SCHEMA_VERSION: number;
8
+ static readonly SCHEMA_VERSION = 4;
9
9
  private readonly historyMap;
10
- private readonly provenMap;
10
+ private readonly epochMap;
11
11
  constructor(store: AztecAsyncKVStore, config: {
12
12
  historyLength: number;
13
- historicProvenPerformanceLength: number;
13
+ historicEpochPerformanceLength: number;
14
14
  });
15
15
  getHistoryLength(): number;
16
- getHistoricProvenPerformanceLength(): number;
17
- updateProvenPerformance(epoch: EpochNumber, performance: ValidatorsEpochPerformance): Promise<void>;
18
- getProvenPerformance(who: EthAddress): Promise<{
16
+ getHistoricEpochPerformanceLength(): number;
17
+ updateEpochPerformance(epoch: EpochNumber, performance: ValidatorsEpochPerformance): Promise<void>;
18
+ getEpochPerformance(who: EthAddress): Promise<{
19
19
  missed: number;
20
20
  total: number;
21
21
  epoch: EpochNumber;
22
22
  }[]>;
23
- private pushValidatorProvenPerformanceForEpoch;
23
+ private pushValidatorEpochPerformance;
24
24
  updateValidators(slot: SlotNumber, statuses: Record<`0x${string}`, ValidatorStatusInSlot | undefined>): Promise<void>;
25
25
  private pushValidatorStatusForSlot;
26
26
  getHistories(): Promise<Record<`0x${string}`, ValidatorStatusHistory>>;
@@ -32,4 +32,4 @@ export declare class SentinelStore {
32
32
  private statusToNumber;
33
33
  private statusFromNumber;
34
34
  }
35
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RvcmUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zZW50aW5lbC9zdG9yZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsV0FBVyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzFFLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUUzRCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBaUIsTUFBTSxpQkFBaUIsQ0FBQztBQUN4RSxPQUFPLEtBQUssRUFDVixzQkFBc0IsRUFDdEIscUJBQXFCLEVBQ3JCLDBCQUEwQixFQUMzQixNQUFNLDBCQUEwQixDQUFDO0FBRWxDLHFCQUFhLGFBQWE7SUFXdEIsT0FBTyxDQUFDLEtBQUs7SUFDYixPQUFPLENBQUMsTUFBTTtJQVhoQixnQkFBdUIsY0FBYyxTQUFLO0lBRzFDLE9BQU8sQ0FBQyxRQUFRLENBQUMsVUFBVSxDQUF1QztJQUlsRSxPQUFPLENBQUMsUUFBUSxDQUFDLFNBQVMsQ0FBdUM7SUFFakUsWUFDVSxLQUFLLEVBQUUsaUJBQWlCLEVBQ3hCLE1BQU0sRUFBRTtRQUFFLGFBQWEsRUFBRSxNQUFNLENBQUM7UUFBQywrQkFBK0IsRUFBRSxNQUFNLENBQUE7S0FBRSxFQUluRjtJQUVNLGdCQUFnQixXQUV0QjtJQUVNLGtDQUFrQyxXQUV4QztJQUVZLHVCQUF1QixDQUFDLEtBQUssRUFBRSxXQUFXLEVBQUUsV0FBVyxFQUFFLDBCQUEwQixpQkFNL0Y7SUFFWSxvQkFBb0IsQ0FBQyxHQUFHLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQztRQUFFLE1BQU0sRUFBRSxNQUFNLENBQUM7UUFBQyxLQUFLLEVBQUUsTUFBTSxDQUFDO1FBQUMsS0FBSyxFQUFFLFdBQVcsQ0FBQTtLQUFFLEVBQUUsQ0FBQyxDQUduSDtZQUVhLHNDQUFzQztJQTZCdkMsZ0JBQWdCLENBQUMsSUFBSSxFQUFFLFVBQVUsRUFBRSxRQUFRLEVBQUUsTUFBTSxDQUFDLEtBQUssTUFBTSxFQUFFLEVBQUUscUJBQXFCLEdBQUcsU0FBUyxDQUFDLGlCQVFqSDtZQUVhLDBCQUEwQjtJQVkzQixZQUFZLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxLQUFLLE1BQU0sRUFBRSxFQUFFLHNCQUFzQixDQUFDLENBQUMsQ0FNbEY7SUFFWSxVQUFVLENBQUMsT0FBTyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsc0JBQXNCLEdBQUcsU0FBUyxDQUFDLENBR3hGO0lBRUQsT0FBTyxDQUFDLG9CQUFvQjtJQU01QixPQUFPLENBQUMsc0JBQXNCO0lBYTlCLE9BQU8sQ0FBQyxnQkFBZ0I7SUFNeEIsT0FBTyxDQUFDLGtCQUFrQjtJQVcxQixPQUFPLENBQUMsY0FBYztJQW1CdEIsT0FBTyxDQUFDLGdCQUFnQjtDQWdCekIifQ==
35
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RvcmUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zZW50aW5lbC9zdG9yZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsV0FBVyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzFFLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUUzRCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBaUIsTUFBTSxpQkFBaUIsQ0FBQztBQUN4RSxPQUFPLEtBQUssRUFDVixzQkFBc0IsRUFDdEIscUJBQXFCLEVBQ3JCLDBCQUEwQixFQUMzQixNQUFNLDBCQUEwQixDQUFDO0FBRWxDLHFCQUFhLGFBQWE7SUFXdEIsT0FBTyxDQUFDLEtBQUs7SUFDYixPQUFPLENBQUMsTUFBTTtJQVhoQixnQkFBdUIsY0FBYyxLQUFLO0lBRzFDLE9BQU8sQ0FBQyxRQUFRLENBQUMsVUFBVSxDQUF1QztJQUlsRSxPQUFPLENBQUMsUUFBUSxDQUFDLFFBQVEsQ0FBdUM7SUFFaEUsWUFDVSxLQUFLLEVBQUUsaUJBQWlCLEVBQ3hCLE1BQU0sRUFBRTtRQUFFLGFBQWEsRUFBRSxNQUFNLENBQUM7UUFBQyw4QkFBOEIsRUFBRSxNQUFNLENBQUE7S0FBRSxFQUlsRjtJQUVNLGdCQUFnQixXQUV0QjtJQUVNLGlDQUFpQyxXQUV2QztJQUVZLHNCQUFzQixDQUFDLEtBQUssRUFBRSxXQUFXLEVBQUUsV0FBVyxFQUFFLDBCQUEwQixpQkFNOUY7SUFFWSxtQkFBbUIsQ0FBQyxHQUFHLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQztRQUFFLE1BQU0sRUFBRSxNQUFNLENBQUM7UUFBQyxLQUFLLEVBQUUsTUFBTSxDQUFDO1FBQUMsS0FBSyxFQUFFLFdBQVcsQ0FBQTtLQUFFLEVBQUUsQ0FBQyxDQUdsSDtZQUVhLDZCQUE2QjtJQTZCOUIsZ0JBQWdCLENBQUMsSUFBSSxFQUFFLFVBQVUsRUFBRSxRQUFRLEVBQUUsTUFBTSxDQUFDLEtBQUssTUFBTSxFQUFFLEVBQUUscUJBQXFCLEdBQUcsU0FBUyxDQUFDLGlCQVFqSDtZQUVhLDBCQUEwQjtJQVEzQixZQUFZLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxLQUFLLE1BQU0sRUFBRSxFQUFFLHNCQUFzQixDQUFDLENBQUMsQ0FNbEY7SUFFWSxVQUFVLENBQUMsT0FBTyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsc0JBQXNCLEdBQUcsU0FBUyxDQUFDLENBR3hGO0lBRUQsT0FBTyxDQUFDLG9CQUFvQjtJQU01QixPQUFPLENBQUMsc0JBQXNCO0lBYTlCLE9BQU8sQ0FBQyxnQkFBZ0I7SUFNeEIsT0FBTyxDQUFDLGtCQUFrQjtJQVcxQixPQUFPLENBQUMsY0FBYztJQXlCdEIsT0FBTyxDQUFDLGdCQUFnQjtDQXNCekIifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/sentinel/store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,KAAK,EAAE,iBAAiB,EAAiB,MAAM,iBAAiB,CAAC;AACxE,OAAO,KAAK,EACV,sBAAsB,EACtB,qBAAqB,EACrB,0BAA0B,EAC3B,MAAM,0BAA0B,CAAC;AAElC,qBAAa,aAAa;IAWtB,OAAO,CAAC,KAAK;IACb,OAAO,CAAC,MAAM;IAXhB,gBAAuB,cAAc,SAAK;IAG1C,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAuC;IAIlE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAuC;IAEjE,YACU,KAAK,EAAE,iBAAiB,EACxB,MAAM,EAAE;QAAE,aAAa,EAAE,MAAM,CAAC;QAAC,+BAA+B,EAAE,MAAM,CAAA;KAAE,EAInF;IAEM,gBAAgB,WAEtB;IAEM,kCAAkC,WAExC;IAEY,uBAAuB,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,0BAA0B,iBAM/F;IAEY,oBAAoB,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,WAAW,CAAA;KAAE,EAAE,CAAC,CAGnH;YAEa,sCAAsC;IA6BvC,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,MAAM,EAAE,EAAE,qBAAqB,GAAG,SAAS,CAAC,iBAQjH;YAEa,0BAA0B;IAY3B,YAAY,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAMlF;IAEY,UAAU,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,sBAAsB,GAAG,SAAS,CAAC,CAGxF;IAED,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAa9B,OAAO,CAAC,gBAAgB;IAMxB,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,cAAc;IAmBtB,OAAO,CAAC,gBAAgB;CAgBzB"}
1
+ {"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/sentinel/store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,KAAK,EAAE,iBAAiB,EAAiB,MAAM,iBAAiB,CAAC;AACxE,OAAO,KAAK,EACV,sBAAsB,EACtB,qBAAqB,EACrB,0BAA0B,EAC3B,MAAM,0BAA0B,CAAC;AAElC,qBAAa,aAAa;IAWtB,OAAO,CAAC,KAAK;IACb,OAAO,CAAC,MAAM;IAXhB,gBAAuB,cAAc,KAAK;IAG1C,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAuC;IAIlE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAuC;IAEhE,YACU,KAAK,EAAE,iBAAiB,EACxB,MAAM,EAAE;QAAE,aAAa,EAAE,MAAM,CAAC;QAAC,8BAA8B,EAAE,MAAM,CAAA;KAAE,EAIlF;IAEM,gBAAgB,WAEtB;IAEM,iCAAiC,WAEvC;IAEY,sBAAsB,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,0BAA0B,iBAM9F;IAEY,mBAAmB,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,WAAW,CAAA;KAAE,EAAE,CAAC,CAGlH;YAEa,6BAA6B;IA6B9B,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,MAAM,EAAE,EAAE,qBAAqB,GAAG,SAAS,CAAC,iBAQjH;YAEa,0BAA0B;IAQ3B,YAAY,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAMlF;IAEY,UAAU,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,sBAAsB,GAAG,SAAS,CAAC,CAGxF;IAED,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAa9B,OAAO,CAAC,gBAAgB;IAMxB,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,cAAc;IAyBtB,OAAO,CAAC,gBAAgB;CAsBzB"}