@aztec/ethereum 0.0.1-commit.7b97ef96e → 0.0.1-commit.7cbc774

package/dest/contracts/rollup.js

@@ -376,25 +376,19 @@ import { Buffer32 } from '@aztec/foundation/buffer';
 import { Fr } from '@aztec/foundation/curves/bn254';
 import { memoize } from '@aztec/foundation/decorators';
 import { EthAddress } from '@aztec/foundation/eth-address';
+import { createLogger } from '@aztec/foundation/log';
 import { makeBackoff, retry } from '@aztec/foundation/retry';
 import { EscapeHatchAbi } from '@aztec/l1-artifacts/EscapeHatchAbi';
 import { RollupAbi } from '@aztec/l1-artifacts/RollupAbi';
 import { RollupStorage } from '@aztec/l1-artifacts/RollupStorage';
 import chunk from 'lodash.chunk';
-import { encodeFunctionData, getContract, hexToBigInt, keccak256 } from 'viem';
+import { encodeAbiParameters, encodeFunctionData, getContract, hexToBigInt, keccak256 } from 'viem';
 import { getPublicClient } from '../client.js';
 import { formatViemError } from '../utils.js';
-import { EmpireSlashingProposerContract } from './empire_slashing_proposer.js';
 import { GSEContract } from './gse.js';
 import { SlasherContract } from './slasher_contract.js';
-import { TallySlashingProposerContract } from './tally_slashing_proposer.js';
+import { SlashingProposerContract } from './slashing_proposer.js';
 import { checkBlockTag } from './utils.js';
-export var SlashingProposerType = /*#__PURE__*/ function(SlashingProposerType) {
-    SlashingProposerType[SlashingProposerType["None"] = 0] = "None";
-    SlashingProposerType[SlashingProposerType["Tally"] = 1] = "Tally";
-    SlashingProposerType[SlashingProposerType["Empire"] = 2] = "Empire";
-    return SlashingProposerType;
-}({});
 /**
  * Status of a validator/attester in the staking system.
  * Matches the Status enum in StakingLib.sol
@@ -405,6 +399,16 @@ export var SlashingProposerType = /*#__PURE__*/ function(SlashingProposerType) {
     AttesterStatus[AttesterStatus["EXITING"] = 3] = "EXITING";
     return AttesterStatus;
 }({});
+/** Field offsets within the CompressedTempCheckpointLog struct in Solidity storage. */ export var TempCheckpointLogField = /*#__PURE__*/ function(TempCheckpointLogField) {
+    TempCheckpointLogField[TempCheckpointLogField["HeaderHash"] = 0] = "HeaderHash";
+    TempCheckpointLogField[TempCheckpointLogField["BlobCommitmentsHash"] = 1] = "BlobCommitmentsHash";
+    TempCheckpointLogField[TempCheckpointLogField["OutHash"] = 2] = "OutHash";
+    TempCheckpointLogField[TempCheckpointLogField["AttestationsHash"] = 3] = "AttestationsHash";
+    TempCheckpointLogField[TempCheckpointLogField["PayloadDigest"] = 4] = "PayloadDigest";
+    TempCheckpointLogField[TempCheckpointLogField["SlotNumber"] = 5] = "SlotNumber";
+    TempCheckpointLogField[TempCheckpointLogField["FeeHeader"] = 6] = "FeeHeader";
+    return TempCheckpointLogField;
+}({});
 export class RollupContract {
     client;
     static{
@@ -499,6 +503,16 @@ export class RollupContract {
                 2,
                 "getGenesisArchiveTreeRoot"
             ],
+            [
+                memoize,
+                2,
+                "getVkTreeRoot"
+            ],
+            [
+                memoize,
+                2,
+                "getProtocolContractsHash"
+            ],
             [
                 memoize,
                 2,
@@ -507,6 +521,7 @@ export class RollupContract {
         ], []));
     }
     rollup;
+    logger;
     static cachedStfStorageSlot;
     cachedEscapeHatch;
     static get checkBlobStorageSlot() {
@@ -525,12 +540,12 @@ export class RollupContract {
     }
     static getFromConfig(config) {
         const client = getPublicClient(config);
-        const address = config.l1Contracts.rollupAddress.toString();
+        const address = config.rollupAddress.toString();
         return new RollupContract(client, address);
     }
     constructor(client, address){
         this.client = client;
-        _initProto(this);
+        this.logger = (_initProto(this), createLogger('ethereum:rollup'));
         if (address instanceof EthAddress) {
             address = address.toString();
         }
@@ -555,34 +570,10 @@ export class RollupContract {
             return undefined;
         }
         const proposerAddress = await slasher.getProposer();
-        const proposerAbi = [
-            {
-                type: 'function',
-                name: 'SLASHING_PROPOSER_TYPE',
-                inputs: [],
-                outputs: [
-                    {
-                        name: '',
-                        type: 'uint8',
-                        internalType: 'enum SlasherFlavor'
-                    }
-                ],
-                stateMutability: 'view'
-            }
-        ];
-        const proposer = getContract({
-            address: proposerAddress.toString(),
-            abi: proposerAbi,
-            client: this.client
-        });
-        const proposerType = await proposer.read.SLASHING_PROPOSER_TYPE();
-        if (proposerType === 1..valueOf()) {
-            return new TallySlashingProposerContract(this.client, proposerAddress);
-        } else if (proposerType === 2..valueOf()) {
-            return new EmpireSlashingProposerContract(this.client, proposerAddress);
-        } else {
-            throw new Error(`Unknown slashing proposer type: ${proposerType}`);
+        if (proposerAddress.isZero()) {
+            return undefined;
         }
+        return new SlashingProposerContract(this.client, proposerAddress);
     }
     getL1StartBlock() {
         return this.rollup.read.L1_BLOCK_AT_GENESIS();
@@ -640,18 +631,35 @@ export class RollupContract {
             0n
         ]));
     }
+    async getVkTreeRoot() {
+        const slot = BigInt(RollupContract.stfStorageSlot) + 3n;
+        const value = await this.client.getStorageAt({
+            address: this.address,
+            slot: `0x${slot.toString(16)}`
+        });
+        return Fr.fromString(value ?? '0x0');
+    }
+    async getProtocolContractsHash() {
+        const slot = BigInt(RollupContract.stfStorageSlot) + 4n;
+        const value = await this.client.getStorageAt({
+            address: this.address,
+            slot: `0x${slot.toString(16)}`
+        });
+        return Fr.fromString(value ?? '0x0');
+    }
     /**
    * Returns rollup constants used for epoch queries.
    * Return type is `L1RollupConstants` which is defined in stdlib,
    * so we cant reference it until we move this contract to that package.
    */ async getRollupConstants() {
-        const [l1StartBlock, l1GenesisTime, slotDuration, epochDuration, proofSubmissionEpochs, targetCommitteeSize] = await Promise.all([
+        const [l1StartBlock, l1GenesisTime, slotDuration, epochDuration, proofSubmissionEpochs, targetCommitteeSize, rollupManaLimit] = await Promise.all([
             this.getL1StartBlock(),
             this.getL1GenesisTime(),
             this.getSlotDuration(),
             this.getEpochDuration(),
             this.getProofSubmissionEpochs(),
-            this.getTargetCommitteeSize()
+            this.getTargetCommitteeSize(),
+            this.getManaLimit()
         ]);
         return {
             l1StartBlock,
@@ -659,7 +667,8 @@ export class RollupContract {
             slotDuration,
             epochDuration: Number(epochDuration),
             proofSubmissionEpochs: Number(proofSubmissionEpochs),
-            targetCommitteeSize
+            targetCommitteeSize,
+            rollupManaLimit: Number(rollupManaLimit)
         };
     }
     async getSlasherAddress() {
@@ -705,7 +714,11 @@ export class RollupContract {
                 BigInt(epoch)
             ]);
             return isOpen;
-        } catch  {
+        } catch (err) {
+            this.logger.warn('isEscapeHatchOpen failed (treating as closed); RPC or contract error may cause liveness risk', {
+                epoch: Number(epoch),
+                error: err
+            });
             return false;
         }
     }
@@ -734,24 +747,40 @@ export class RollupContract {
     getCheckpointReward() {
         return this.rollup.read.getCheckpointReward();
     }
-    async getCheckpointNumber() {
-        return CheckpointNumber.fromBigInt(await this.rollup.read.getPendingCheckpointNumber());
+    async getCheckpointNumber(options) {
+        await checkBlockTag(options?.blockNumber, this.client);
+        return CheckpointNumber.fromBigInt(await this.rollup.read.getPendingCheckpointNumber(options));
     }
-    async getProvenCheckpointNumber() {
-        return CheckpointNumber.fromBigInt(await this.rollup.read.getProvenCheckpointNumber());
+    async getProvenCheckpointNumber(options) {
+        await checkBlockTag(options?.blockNumber, this.client);
+        return CheckpointNumber.fromBigInt(await this.rollup.read.getProvenCheckpointNumber(options));
     }
-    async getSlotNumber() {
-        return SlotNumber.fromBigInt(await this.rollup.read.getCurrentSlot());
+    async getSlotNumber(options) {
+        await checkBlockTag(options?.blockNumber, this.client);
+        return SlotNumber.fromBigInt(await this.rollup.read.getCurrentSlot(options));
     }
-    async getL1FeesAt(timestamp) {
+    async getL1FeesAt(timestamp, options) {
+        await checkBlockTag(options?.blockNumber, this.client);
         const result = await this.rollup.read.getL1FeesAt([
             timestamp
-        ]);
+        ], options);
         return {
             baseFee: result.baseFee,
             blobFee: result.blobFee
         };
     }
+    async getFeeHeader(checkpointNumber) {
+        const result = await this.rollup.read.getFeeHeader([
+            checkpointNumber
+        ]);
+        return {
+            excessMana: result.excessMana,
+            manaUsed: result.manaUsed,
+            ethPerFeeAsset: result.ethPerFeeAsset,
+            congestionCost: result.congestionCost,
+            proverCost: result.proverCost
+        };
+    }
     getEthPerFeeAsset() {
         return this.rollup.read.getEthPerFeeAsset();
     }
@@ -820,10 +849,11 @@ export class RollupContract {
         });
         return EthAddress.fromString(result);
     }
-    async getCheckpoint(checkpointNumber) {
+    async getCheckpoint(checkpointNumber, options) {
+        await checkBlockTag(options?.blockNumber, this.client);
         const result = await this.rollup.read.getCheckpoint([
             BigInt(checkpointNumber)
-        ]);
+        ], options);
         return {
             archive: Fr.fromString(result.archive),
             headerHash: Buffer32.fromString(result.headerHash),
@@ -853,6 +883,28 @@ export class RollupContract {
             0.5
         ]));
     }
+    /**
+   * Returns the effective pending checkpoint, accounting for potential prunes.
+   * When a prune can happen, the L1 contract uses the proven checkpoint instead of the pending one.
+   * This mirrors the behavior of getEffectivePendingCheckpointNumber in STFLib.sol.
+   * @param atTimestamp - The timestamp to evaluate pruneability at. Defaults to the current L1 block timestamp.
+   * @param options - Optional L1 block number to pin the queries to.
+   */ getEffectivePendingCheckpoint(atTimestamp, options) {
+        return retry(async ()=>{
+            const timestamp = atTimestamp ?? (await this.client.getBlock()).timestamp;
+            const canPrune = await this.canPruneAtTime(timestamp, options);
+            if (canPrune) {
+                const provenCheckpointNumber = await this.getProvenCheckpointNumber(options);
+                return await this.getCheckpoint(provenCheckpointNumber, options);
+            }
+            const pendingCheckpointNumber = await this.getCheckpointNumber(options);
+            return await this.getCheckpoint(pendingCheckpointNumber, options);
+        }, 'getting effective pending checkpoint', makeBackoff([
+            0.5,
+            0.5,
+            0.5
+        ]));
+    }
     async getTips() {
         const { pending, proven } = await this.rollup.read.getTips();
         return {
@@ -937,9 +989,8 @@ export class RollupContract {
    * @return [slot, checkpointNumber, timeOfNextL1Slot] - If you can propose, the L2 slot number, checkpoint number and
    * timestamp of the next L1 block
    * @throws otherwise
-   */ async canProposeAtNextEthBlock(archive, account, slotDuration, opts = {}) {
-        const latestBlock = await this.client.getBlock();
-        const timeOfNextL1Slot = latestBlock.timestamp + BigInt(slotDuration);
+   */ async canProposeAt(archive, account, timestamp, stateOverride = []) {
+        const timeOfNextL1Slot = timestamp;
         const who = typeof account === 'string' ? account : account.address;
         try {
             const { result: [slot, checkpointNumber] } = await this.client.simulateContract({
@@ -952,7 +1003,7 @@ export class RollupContract {
                     who
                 ],
                 account,
-                stateOverride: await this.makePendingCheckpointNumberOverride(opts.forcePendingCheckpointNumber)
+                stateOverride
             });
             return {
                 slot: SlotNumber.fromBigInt(slot),
@@ -964,11 +1015,15 @@ export class RollupContract {
         }
     }
     /**
-   * Returns a state override that sets the pending checkpoint number to the specified value. Useful for simulations.
-   * Requires querying the current state of the contract to get the current proven checkpoint number, as they are both
-   * stored in the same slot. If the argument is undefined, it returns an empty override.
-   */ async makePendingCheckpointNumberOverride(forcePendingCheckpointNumber) {
-        if (forcePendingCheckpointNumber === undefined) {
+   * Returns a state override that sets the pending and/or proven checkpoint numbers. Useful for simulations.
+   * Both values share a single storage slot (pending in the upper 128 bits, proven in the lower 128 bits), so
+   * a single combined override is emitted to avoid the second state-diff clobbering the first. The current live
+   * value is read once to preserve any half not being overridden. Returns an empty override if neither is set.
+   *
+   * Throws if the resulting `proven > pending`, which would crash the simulation: `STFLib.canPruneAtTime` calls
+   * `getEpochForCheckpoint(proven + 1)` whenever `pending != proven`, and that asserts `_n <= tips.pending`.
+   */ async makeChainTipsOverride(override) {
+        if (override.pending === undefined && override.proven === undefined) {
             return [];
         }
         const slot = RollupContract.stfStorageSlot;
@@ -976,8 +1031,15 @@ export class RollupContract {
             address: this.address,
             slot
         });
-        const currentProvenCheckpointNumber = currentValue ? hexToBigInt(currentValue) & (1n << 128n) - 1n : 0n;
-        const newValue = BigInt(forcePendingCheckpointNumber) << 128n | currentProvenCheckpointNumber;
+        const currentRaw = currentValue ? hexToBigInt(currentValue) : 0n;
+        const currentPending = currentRaw >> 128n;
+        const currentProven = currentRaw & (1n << 128n) - 1n;
+        const newPending = override.pending !== undefined ? BigInt(override.pending) : currentPending;
+        const newProven = override.proven !== undefined ? BigInt(override.proven) : currentProven;
+        if (newProven > newPending) {
+            throw new Error(`Invalid chain tips override: proven (${newProven}) > pending (${newPending})`);
+        }
+        const newValue = newPending << 128n | newProven;
         return [
             {
                 address: this.address,
@@ -990,6 +1052,161 @@ export class RollupContract {
             }
         ];
     }
+    /**
+   * Returns a state override that patches `tempCheckpointLogs[checkpointNumber]` with every field that
+   * the L1 contract reads during `propose()` for the checkpoint that builds on top of it (proposer
+   * pipelining simulation). Mirrors the writes done by `ProposeLib.addTempCheckpointLog`.
+   *
+   * `blobCommitmentsHash` and `attestationsHash` are intentionally not exposed here — the propose path
+   * never asserts against them, so leaving them at storage zero is harmless.
+   */ async makeTempCheckpointLogOverride(checkpointNumber, fields) {
+        const constants = await this.getRollupConstants();
+        const slotAt = (field)=>`0x${this.computeTempCheckpointLogStorageSlot(checkpointNumber, field, constants).toString(16).padStart(64, '0')}`;
+        const word = (v)=>`0x${v.toString(16).padStart(64, '0')}`;
+        const stateDiff = [];
+        if (fields.headerHash) {
+            stateDiff.push({
+                slot: slotAt(0),
+                value: fields.headerHash.toString()
+            });
+        }
+        if (fields.outHash) {
+            stateDiff.push({
+                slot: slotAt(2),
+                value: fields.outHash.toString()
+            });
+        }
+        if (fields.payloadDigest) {
+            stateDiff.push({
+                slot: slotAt(4),
+                value: fields.payloadDigest.toString()
+            });
+        }
+        if (fields.slotNumber !== undefined) {
+            // CompressedSlot is uint32 on L1 (SafeCast.toUint32 reverts on overflow). Match that behavior here
+            // so a malformed override surfaces immediately rather than silently truncating into a wrong slot.
+            const slotNumber = BigInt(fields.slotNumber);
+            if (slotNumber < 0n || slotNumber > 0xffffffffn) {
+                throw new Error(`slotNumber ${slotNumber} does not fit in uint32`);
+            }
+            stateDiff.push({
+                slot: slotAt(5),
+                value: word(slotNumber)
+            });
+        }
+        if (fields.feeHeader) {
+            stateDiff.push({
+                slot: slotAt(6),
+                value: word(RollupContract.compressFeeHeader(fields.feeHeader))
+            });
+        }
+        if (stateDiff.length === 0) {
+            return [];
+        }
+        return [
+            {
+                address: this.address,
+                stateDiff
+            }
+        ];
+    }
+    /**
+   * Returns a state override that sets archives[checkpointNumber] to the given archive value.
+   * Used when simulating a canProposeAtTime call where the local archive differs from L1
+   * (e.g. pipelining where the parent checkpoint hasn't landed on L1 yet).
+   */ makeArchiveOverride(checkpointNumber, archive) {
+        const archivesMappingBase = hexToBigInt(RollupContract.stfStorageSlot) + 1n;
+        const archiveSlot = hexToBigInt(keccak256(encodeAbiParameters([
+            {
+                type: 'uint256'
+            },
+            {
+                type: 'uint256'
+            }
+        ], [
+            BigInt(checkpointNumber),
+            archivesMappingBase
+        ])));
+        return [
+            {
+                address: this.address,
+                stateDiff: [
+                    {
+                        slot: `0x${archiveSlot.toString(16).padStart(64, '0')}`,
+                        value: archive.toString()
+                    }
+                ]
+            }
+        ];
+    }
+    /** Merges multiple StateOverride arrays, combining stateDiff entries for the same address. */ static mergeStateOverrides(...overrides) {
+        const byAddress = new Map();
+        for (const override of overrides){
+            for (const entry of override){
+                const key = entry.address.toLowerCase();
+                const existing = byAddress.get(key);
+                if (existing) {
+                    existing.stateDiff.push(...entry.stateDiff ?? []);
+                    if (entry.balance !== undefined) {
+                        existing.balance = entry.balance;
+                    }
+                } else {
+                    byAddress.set(key, {
+                        address: entry.address,
+                        balance: entry.balance,
+                        stateDiff: [
+                            ...entry.stateDiff ?? []
+                        ]
+                    });
+                }
+            }
+        }
+        return [
+            ...byAddress.values()
+        ];
+    }
+    /** Compresses a FeeHeader into a uint256 matching FeeHeaderLib.compress() in FeeStructs.sol. */ static compressFeeHeader(feeHeader) {
+        const MASK_48_BITS = (1n << 48n) - 1n;
+        const MASK_64_BITS = (1n << 64n) - 1n;
+        const MASK_63_BITS = (1n << 63n) - 1n;
+        let value = BigInt(feeHeader.manaUsed) & (1n << 32n) - 1n; // bits [0:31]
+        value |= (feeHeader.excessMana < MASK_48_BITS ? feeHeader.excessMana : MASK_48_BITS) << 32n; // bits [32:79]
+        value |= (BigInt(feeHeader.ethPerFeeAsset) & MASK_48_BITS) << 80n; // bits [80:127]
+        value |= (feeHeader.congestionCost < MASK_64_BITS ? feeHeader.congestionCost : MASK_64_BITS) << 128n; // bits [128:191]
+        value |= (feeHeader.proverCost < MASK_63_BITS ? feeHeader.proverCost : MASK_63_BITS) << 192n; // bits [192:254]
+        value |= 1n << 255n; // preheat flag
+        return value;
+    }
+    /** Computes the fee header for a child checkpoint given parent fee header and child data.
+   *  Must stay in sync with Solidity FeeLib.sol (computeNewEthPerFeeAsset, clampedAdd). */ static computeChildFeeHeader(parentFeeHeader, childManaUsed, feeAssetPriceModifier, manaTarget) {
+        const MIN_ETH_PER_FEE_ASSET = 100n;
+        const MAX_ETH_PER_FEE_ASSET = 100_000_000_000_000n; // 1e14, matches FeeLib.sol
+        // excessMana = clampedAdd(parent.excessMana + parent.manaUsed, -manaTarget)
+        const sum = parentFeeHeader.excessMana + parentFeeHeader.manaUsed;
+        const excessMana = sum > manaTarget ? sum - manaTarget : 0n;
+        // ethPerFeeAsset = computeNewEthPerFeeAsset(max(parent.ethPerFeeAsset, MIN), modifier)
+        const parentPrice = parentFeeHeader.ethPerFeeAsset > MIN_ETH_PER_FEE_ASSET ? parentFeeHeader.ethPerFeeAsset : MIN_ETH_PER_FEE_ASSET;
+        let newPrice;
+        if (feeAssetPriceModifier >= 0n) {
+            newPrice = parentPrice * (10_000n + feeAssetPriceModifier) / 10_000n;
+        } else {
+            const absMod = -feeAssetPriceModifier;
+            newPrice = parentPrice * (10_000n - absMod) / 10_000n;
+        }
+        if (newPrice < MIN_ETH_PER_FEE_ASSET) {
+            newPrice = MIN_ETH_PER_FEE_ASSET;
+        }
+        if (newPrice > MAX_ETH_PER_FEE_ASSET) {
+            newPrice = MAX_ETH_PER_FEE_ASSET;
+        }
+        return {
+            excessMana,
+            manaUsed: childManaUsed,
+            ethPerFeeAsset: newPrice,
+            congestionCost: 0n,
+            proverCost: 0n
+        };
+    }
     /** Creates a request to Rollup#invalidateBadAttestation to be simulated or sent */ buildInvalidateBadAttestationRequest(checkpointNumber, attestationsAndSigners, committee, invalidIndex) {
         return {
             to: this.address,
@@ -1031,11 +1248,25 @@ export class RollupContract {
             prover
         ]);
     }
-    getManaMinFeeAt(timestamp, inFeeAsset) {
+    getManaMinFeeAt(timestamp, inFeeAsset, stateOverride) {
         return this.rollup.read.getManaMinFeeAt([
             timestamp,
             inFeeAsset
+        ], {
+            stateOverride
+        });
+    }
+    async getManaMinFeeComponentsAt(timestamp, inFeeAsset) {
+        const result = await this.rollup.read.getManaMinFeeComponentsAt([
+            timestamp,
+            inFeeAsset
         ]);
+        return {
+            sequencerCost: result.sequencerCost,
+            proverCost: result.proverCost,
+            congestionCost: result.congestionCost,
+            congestionMultiplier: result.congestionMultiplier
+        };
     }
     async getSlotAt(timestamp) {
         return SlotNumber.fromBigInt(await this.rollup.read.getSlotAt([
@@ -1086,10 +1317,10 @@ export class RollupContract {
             prover
         ]);
     }
-    async getAttesters() {
+    async getAttesters(timestamp) {
         const attesterSize = await this.getActiveAttesterCount();
         const gse = new GSEContract(this.client, await this.getGSE());
-        const ts = (await this.client.getBlock()).timestamp;
+        const ts = timestamp ?? (await this.client.getBlock()).timestamp;
         const indices = Array.from({
             length: attesterSize
         }, (_, i)=>BigInt(i));
@@ -1195,7 +1426,8 @@ export class RollupContract {
                     const args = log.args;
                     if (args.checkpointNumber !== undefined) {
                         callback({
-                            checkpointNumber: CheckpointNumber.fromBigInt(args.checkpointNumber)
+                            checkpointNumber: CheckpointNumber.fromBigInt(args.checkpointNumber),
+                            event: log
                         });
                     }
                 }
@@ -1226,6 +1458,18 @@ export class RollupContract {
             }
         });
     }
+    /**
+   * Fetches OwnershipTransferred events emitted on the L1 block this rollup was deployed on.
+   * The Rollup inherits from Ownable and emits this event in its constructor, so the event
+   * is guaranteed to exist on `l1StartBlock` for any correctly deployed rollup. Used as a
+   * probe to detect RPC nodes that prune historical logs.
+   */ async getOwnershipTransferredEventsAtDeploy() {
+        const l1StartBlock = await this.getL1StartBlock();
+        return await this.rollup.getEvents.OwnershipTransferred({}, {
+            fromBlock: l1StartBlock,
+            toBlock: l1StartBlock
+        });
+    }
     /** Fetches CheckpointProposed events within the given block range. */ async getCheckpointProposedEvents(fromBlock, toBlock) {
         const logs = await this.rollup.getEvents.CheckpointProposed({}, {
             fromBlock,
@@ -1239,9 +1483,58 @@ export class RollupContract {
                     checkpointNumber: CheckpointNumber.fromBigInt(log.args.checkpointNumber),
                     archive: Fr.fromString(log.args.archive),
                     versionedBlobHashes: log.args.versionedBlobHashes.map((h)=>Buffer.from(h.slice(2), 'hex')),
-                    attestationsHash: log.args.attestationsHash ? Buffer32.fromString(log.args.attestationsHash) : undefined,
-                    payloadDigest: log.args.payloadDigest ? Buffer32.fromString(log.args.payloadDigest) : undefined
+                    attestationsHash: (()=>{
+                        if (!log.args.attestationsHash) {
+                            throw new Error(`CheckpointProposed event missing attestationsHash for checkpoint ${log.args.checkpointNumber}`);
+                        }
+                        return Buffer32.fromString(log.args.attestationsHash);
+                    })(),
+                    payloadDigest: (()=>{
+                        if (!log.args.payloadDigest) {
+                            throw new Error(`CheckpointProposed event missing payloadDigest for checkpoint ${log.args.checkpointNumber}`);
+                        }
+                        return Buffer32.fromString(log.args.payloadDigest);
+                    })()
                 }
             }));
     }
+    /** Packs pending and proven checkpoint numbers into the chain tips storage format. */ static packChainTips(pendingCheckpointNumber, provenCheckpointNumber) {
+        return pendingCheckpointNumber << 128n | provenCheckpointNumber & (1n << 128n) - 1n;
+    }
+    /** Storage slot for the chain tips (offset 0 within the STF storage struct). */ static get chainTipsStorageSlot() {
+        return BigInt(RollupContract.stfStorageSlot);
+    }
+    /**
+   * Computes the storage slot for a field within a tempCheckpointLog entry.
+   * @param checkpointNumber - The checkpoint number
+   * @param field - The field within the CompressedTempCheckpointLog struct
+   */ async getTempCheckpointLogStorageSlot(checkpointNumber, field) {
+        const [epochDuration, proofSubmissionEpochs] = await Promise.all([
+            this.getEpochDuration(),
+            this.getProofSubmissionEpochs()
+        ]);
+        return this.computeTempCheckpointLogStorageSlot(checkpointNumber, field, {
+            epochDuration,
+            proofSubmissionEpochs
+        });
+    }
+    computeTempCheckpointLogStorageSlot(checkpointNumber, field, constants) {
+        const fieldOffset = BigInt(field);
+        const { epochDuration, proofSubmissionEpochs } = constants;
+        const roundaboutSize = BigInt(epochDuration) * (BigInt(proofSubmissionEpochs) + 1n) + 1n;
+        const tempCheckpointLogsBase = BigInt(RollupContract.stfStorageSlot) + 2n;
+        const circularIndex = BigInt(checkpointNumber) % roundaboutSize;
+        const entryBase = BigInt(keccak256(encodeAbiParameters([
+            {
+                type: 'uint256'
+            },
+            {
+                type: 'uint256'
+            }
+        ], [
+            circularIndex,
+            tempCheckpointLogsBase
+        ])));
+        return entryBase + fieldOffset;
+    }
 }

package/dest/contracts/{tally_slashing_proposer.d.ts → slashing_proposer.d.ts}

@@ -5,13 +5,12 @@ import { Buffer32 } from '@aztec/foundation/buffer';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import { type Hex, type Log, type TypedDataDefinition } from 'viem';
 /**
- * Wrapper around the TallySlashingProposer contract that provides
+ * Wrapper around the SlashingProposer contract that provides
  * a TypeScript interface for interacting with the consensus-based slashing system.
  */
-export declare class TallySlashingProposerContract {
+export declare class SlashingProposerContract {
     readonly client: ViemClient;
     private readonly contract;
-    readonly type: "tally";
     constructor(client: ViemClient, address: Hex | EthAddress);
     get address(): EthAddress;
     getQuorumSize(): Promise<bigint>;
@@ -137,4 +136,4 @@ export declare class TallySlashingProposerContract {
  * @returns An array of numbers representing the slash votes
  */
 export declare function decodeSlashConsensusVotes(buffer: Buffer): number[];
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGFsbHlfc2xhc2hpbmdfcHJvcG9zZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdHMvdGFsbHlfc2xhc2hpbmdfcHJvcG9zZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDL0QsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFeEQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzdELE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFNM0QsT0FBTyxFQUVMLEtBQUssR0FBRyxFQUNSLEtBQUssR0FBRyxFQUNSLEtBQUssbUJBQW1CLEVBR3pCLE1BQU0sTUFBTSxDQUFDO0FBRWQ7OztHQUdHO0FBQ0gscUJBQWEsNkJBQTZCO2FBTXRCLE1BQU0sRUFBRSxVQUFVO0lBTHBDLE9BQU8sQ0FBQyxRQUFRLENBQUMsUUFBUSxDQUFxRTtJQUU5RixTQUFnQixJQUFJLFVBQW9CO0lBRXhDLFlBQ2tCLE1BQU0sRUFBRSxVQUFVLEVBQ2xDLE9BQU8sRUFBRSxHQUFHLEdBQUcsVUFBVSxFQU8xQjtJQUVELElBQVcsT0FBTyxlQUVqQjtJQUVNLGFBQWEsSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBRXRDO0lBRU0sWUFBWSxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFckM7SUFFTSxnQkFBZ0IsSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBRXpDO0lBRU0sb0JBQW9CLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUU3QztJQUVNLG1CQUFtQixJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFNUM7SUFFTSx5QkFBeUIsSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBRWxEO0lBRU0sa0JBQWtCLElBQUksT0FBTyxDQUFDLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxNQUFNLENBQUMsQ0FBQyxDQU03RDtJQUVNLHNCQUFzQixJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFL0M7SUFFTSxlQUFlLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUV4QztJQUVEOzs7O09BSUc7SUFDVSxRQUFRLENBQUMsS0FBSyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUM7UUFDNUMsVUFBVSxFQUFFLE9BQU8sQ0FBQztRQUNwQixTQUFTLEVBQUUsTUFBTSxDQUFDO0tBQ25CLENBQUMsQ0FHRDtJQUVEOzs7OztPQUtHO0lBQ1UscUJBQXFCLENBQUMsS0FBSyxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FFcEY7SUFFRCxpR0FBaUc7SUFDcEYsVUFBVSxDQUNyQixLQUFLLEVBQUUsTUFBTSxHQUNaLE9BQU8sQ0FBQztRQUFFLE9BQU8sRUFBRTtZQUFFLFdBQVcsRUFBRSxNQUFNLENBQUM7WUFBQyxTQUFTLEVBQUUsVUFBVSxDQUFBO1NBQUUsRUFBRSxDQUFDO1FBQUMsT0FBTyxFQUFFLFVBQVUsQ0FBQTtLQUFFLENBQUMsQ0FNN0Y7SUFFRCxnRkFBZ0Y7SUFDbkUsUUFBUSxDQUNuQixLQUFLLEVBQUUsTUFBTSxHQUNaLE9BQU8sQ0FBQztRQUFFLE9BQU8sRUFBRTtZQUFFLFdBQVcsRUFBRSxNQUFNLENBQUM7WUFBQyxTQUFTLEVBQUUsVUFBVSxDQUFBO1NBQUUsRUFBRSxDQUFDO1FBQUMsVUFBVSxFQUFFLFVBQVUsRUFBRSxFQUFFLENBQUE7S0FBRSxDQUFDLENBSXBHO0lBRUQsT0FBTyxDQUFDLGVBQWU7SUFTdkIsNkRBQTZEO0lBQ3RELHVCQUF1QixDQUFDLElBQUksRUFBRSxHQUFHLEVBQUU7Ozs7Ozs7a0JBRXpDO0lBRUQsa0VBQWtFO0lBQzNELDRCQUE0QixDQUFDLElBQUksRUFBRSxHQUFHLEVBQUU7Ozs7OztrQkFFOUM7SUFFRDs7Ozs7O09BTUc7SUFDVSwwQkFBMEIsQ0FDckMsS0FBSyxFQUFFLEdBQUcsRUFDVixJQUFJLEVBQUUsVUFBVSxFQUNoQixNQUFNLEVBQUUsQ0FBQyxHQUFHLEVBQUUsbUJBQW1CLEtBQUssT0FBTyxDQUFDLEdBQUcsQ0FBQyxHQUNqRCxPQUFPLENBQUMsV0FBVyxDQUFDLENBYXRCO0lBRUQsa0VBQWtFO0lBQzNELGtCQUFrQixDQUFDLEtBQUssRUFBRSxHQUFHLEVBQUUsSUFBSSxFQUFFLFVBQVUsR0FBRyxtQkFBbUIsQ0FzQjNFO0lBRUQsb0VBQW9FO0lBQ3ZELGlCQUFpQixDQUFDLEtBQUssRUFBRSxHQUFHLEVBQUUsSUFBSSxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsUUFBUSxDQUFDLENBRTlFO0lBRUQ7Ozs7O09BS0c7SUFDSSw2QkFBNkIsQ0FBQyxLQUFLLEVBQUUsR0FBRyxFQUFFLFNBQVMsRUFBRTtRQUFFLENBQUMsRUFBRSxNQUFNLENBQUM7UUFBQyxDQUFDLEVBQUUsR0FBRyxDQUFDO1FBQUMsQ0FBQyxFQUFFLEdBQUcsQ0FBQTtLQUFFLEdBQUcsV0FBVyxDQVV0RztJQUVEOzs7OztPQUtHO0lBQ0ksd0JBQXdCLENBQUMsS0FBSyxFQUFFLE1BQU0sRUFBRSxVQUFVLEVBQUUsVUFBVSxFQUFFLEVBQUUsR0FBRyxXQUFXLENBVXRGO0lBRUQsdURBQXVEO0lBQzFDLFdBQVcsQ0FBQyxLQUFLLEVBQUUsTUFBTTs7O1NBWXJDO0lBRUQ7Ozs7T0FJRztJQUNJLGdCQUFnQixDQUFDLFFBQVEsRUFBRSxDQUFDLElBQUksRUFBRTtRQUFFLEtBQUssRUFBRSxNQUFNLENBQUM7UUFBQyxRQUFRLEVBQUUsTUFBTSxDQUFBO0tBQUUsS0FBSyxJQUFJLEdBQUcsTUFBTSxJQUFJLENBY2pHO0lBRUQ7Ozs7T0FJRztJQUNJLHFCQUFxQixDQUMxQixRQUFRLEVBQUUsQ0FBQyxJQUFJLEVBQUU7UUFBRSxLQUFLLEVBQUUsTUFBTSxDQUFDO1FBQUMsVUFBVSxFQUFFLE1BQU0sQ0FBQztRQUFDLFdBQVcsRUFBRSxHQUFHLENBQUE7S0FBRSxLQUFLLElBQUksR0FDaEYsTUFBTSxJQUFJLENBY1o7Q0FDRjtBQUVEOzs7Ozs7O0dBT0c7QUFDSCx3QkFBZ0IseUJBQXlCLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxNQUFNLEVBQUUsQ0FlbEUifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2xhc2hpbmdfcHJvcG9zZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdHMvc2xhc2hpbmdfcHJvcG9zZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDL0QsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFeEQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzdELE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFNM0QsT0FBTyxFQUVMLEtBQUssR0FBRyxFQUNSLEtBQUssR0FBRyxFQUNSLEtBQUssbUJBQW1CLEVBR3pCLE1BQU0sTUFBTSxDQUFDO0FBRWQ7OztHQUdHO0FBQ0gscUJBQWEsd0JBQXdCO2FBSWpCLE1BQU0sRUFBRSxVQUFVO0lBSHBDLE9BQU8sQ0FBQyxRQUFRLENBQUMsUUFBUSxDQUFnRTtJQUV6RixZQUNrQixNQUFNLEVBQUUsVUFBVSxFQUNsQyxPQUFPLEVBQUUsR0FBRyxHQUFHLFVBQVUsRUFPMUI7SUFFRCxJQUFXLE9BQU8sZUFFakI7SUFFTSxhQUFhLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUV0QztJQUVNLFlBQVksSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBRXJDO0lBRU0sZ0JBQWdCLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUV6QztJQUVNLG9CQUFvQixJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFN0M7SUFFTSxtQkFBbUIsSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBRTVDO0lBRU0seUJBQXlCLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUVsRDtJQUVNLGtCQUFrQixJQUFJLE9BQU8sQ0FBQyxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsTUFBTSxDQUFDLENBQUMsQ0FNN0Q7SUFFTSxzQkFBc0IsSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBRS9DO0lBRU0sZUFBZSxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFeEM7SUFFRDs7OztPQUlHO0lBQ1UsUUFBUSxDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDO1FBQzVDLFVBQVUsRUFBRSxPQUFPLENBQUM7UUFDcEIsU0FBUyxFQUFFLE1BQU0sQ0FBQztLQUNuQixDQUFDLENBR0Q7SUFFRDs7Ozs7T0FLRztJQUNVLHFCQUFxQixDQUFDLEtBQUssRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLENBRXBGO0lBRUQsaUdBQWlHO0lBQ3BGLFVBQVUsQ0FDckIsS0FBSyxFQUFFLE1BQU0sR0FDWixPQUFPLENBQUM7UUFBRSxPQUFPLEVBQUU7WUFBRSxXQUFXLEVBQUUsTUFBTSxDQUFDO1lBQUMsU0FBUyxFQUFFLFVBQVUsQ0FBQTtTQUFFLEVBQUUsQ0FBQztRQUFDLE9BQU8sRUFBRSxVQUFVLENBQUE7S0FBRSxDQUFDLENBTTdGO0lBRUQsZ0ZBQWdGO0lBQ25FLFFBQVEsQ0FDbkIsS0FBSyxFQUFFLE1BQU0sR0FDWixPQUFPLENBQUM7UUFBRSxPQUFPLEVBQUU7WUFBRSxXQUFXLEVBQUUsTUFBTSxDQUFDO1lBQUMsU0FBUyxFQUFFLFVBQVUsQ0FBQTtTQUFFLEVBQUUsQ0FBQztRQUFDLFVBQVUsRUFBRSxVQUFVLEVBQUUsRUFBRSxDQUFBO0tBQUUsQ0FBQyxDQUlwRztJQUVELE9BQU8sQ0FBQyxlQUFlO0lBU3ZCLDZEQUE2RDtJQUN0RCx1QkFBdUIsQ0FBQyxJQUFJLEVBQUUsR0FBRyxFQUFFOzs7Ozs7O2tCQUV6QztJQUVELGtFQUFrRTtJQUMzRCw0QkFBNEIsQ0FBQyxJQUFJLEVBQUUsR0FBRyxFQUFFOzs7Ozs7a0JBRTlDO0lBRUQ7Ozs7OztPQU1HO0lBQ1UsMEJBQTBCLENBQ3JDLEtBQUssRUFBRSxHQUFHLEVBQ1YsSUFBSSxFQUFFLFVBQVUsRUFDaEIsTUFBTSxFQUFFLENBQUMsR0FBRyxFQUFFLG1CQUFtQixLQUFLLE9BQU8sQ0FBQyxHQUFHLENBQUMsR0FDakQsT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQWF0QjtJQUVELGtFQUFrRTtJQUMzRCxrQkFBa0IsQ0FBQyxLQUFLLEVBQUUsR0FBRyxFQUFFLElBQUksRUFBRSxVQUFVLEdBQUcsbUJBQW1CLENBc0IzRTtJQUVELG9FQUFvRTtJQUN2RCxpQkFBaUIsQ0FBQyxLQUFLLEVBQUUsR0FBRyxFQUFFLElBQUksRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLFFBQVEsQ0FBQyxDQUU5RTtJQUVEOzs7OztPQUtHO0lBQ0ksNkJBQTZCLENBQUMsS0FBSyxFQUFFLEdBQUcsRUFBRSxTQUFTLEVBQUU7UUFBRSxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQUMsQ0FBQyxFQUFFLEdBQUcsQ0FBQztRQUFDLENBQUMsRUFBRSxHQUFHLENBQUE7S0FBRSxHQUFHLFdBQVcsQ0FVdEc7SUFFRDs7Ozs7T0FLRztJQUNJLHdCQUF3QixDQUFDLEtBQUssRUFBRSxNQUFNLEVBQUUsVUFBVSxFQUFFLFVBQVUsRUFBRSxFQUFFLEdBQUcsV0FBVyxDQVV0RjtJQUVELHVEQUF1RDtJQUMxQyxXQUFXLENBQUMsS0FBSyxFQUFFLE1BQU07OztTQVlyQztJQUVEOzs7O09BSUc7SUFDSSxnQkFBZ0IsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxJQUFJLEVBQUU7UUFBRSxLQUFLLEVBQUUsTUFBTSxDQUFDO1FBQUMsUUFBUSxFQUFFLE1BQU0sQ0FBQTtLQUFFLEtBQUssSUFBSSxHQUFHLE1BQU0sSUFBSSxDQWNqRztJQUVEOzs7O09BSUc7SUFDSSxxQkFBcUIsQ0FDMUIsUUFBUSxFQUFFLENBQUMsSUFBSSxFQUFFO1FBQUUsS0FBSyxFQUFFLE1BQU0sQ0FBQztRQUFDLFVBQVUsRUFBRSxNQUFNLENBQUM7UUFBQyxXQUFXLEVBQUUsR0FBRyxDQUFBO0tBQUUsS0FBSyxJQUFJLEdBQ2hGLE1BQU0sSUFBSSxDQWNaO0NBQ0Y7QUFFRDs7Ozs7OztHQU9HO0FBQ0gsd0JBQWdCLHlCQUF5QixDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsTUFBTSxFQUFFLENBZWxFIn0=

package/dest/contracts/slashing_proposer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"slashing_proposer.d.ts","sourceRoot":"","sources":["../../src/contracts/slashing_proposer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAM3D,OAAO,EAEL,KAAK,GAAG,EACR,KAAK,GAAG,EACR,KAAK,mBAAmB,EAGzB,MAAM,MAAM,CAAC;AAEd;;;GAGG;AACH,qBAAa,wBAAwB;aAIjB,MAAM,EAAE,UAAU;IAHpC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAgE;IAEzF,YACkB,MAAM,EAAE,UAAU,EAClC,OAAO,EAAE,GAAG,GAAG,UAAU,EAO1B;IAED,IAAW,OAAO,eAEjB;IAEM,aAAa,IAAI,OAAO,CAAC,MAAM,CAAC,CAEtC;IAEM,YAAY,IAAI,OAAO,CAAC,MAAM,CAAC,CAErC;IAEM,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC,CAEzC;IAEM,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAE7C;IAEM,mBAAmB,IAAI,OAAO,CAAC,MAAM,CAAC,CAE5C;IAEM,yBAAyB,IAAI,OAAO,CAAC,MAAM,CAAC,CAElD;IAEM,kBAAkB,IAAI,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAM7D;IAEM,sBAAsB,IAAI,OAAO,CAAC,MAAM,CAAC,CAE/C;IAEM,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAExC;IAED;;;;OAIG;IACU,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC;QAC5C,UAAU,EAAE,OAAO,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC,CAGD;IAED;;;;;OAKG;IACU,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAEpF;IAED,iGAAiG;IACpF,UAAU,CACrB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC;QAAE,OAAO,EAAE;YAAE,WAAW,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,UAAU,CAAA;SAAE,EAAE,CAAC;QAAC,OAAO,EAAE,UAAU,CAAA;KAAE,CAAC,CAM7F;IAED,gFAAgF;IACnE,QAAQ,CACnB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC;QAAE,OAAO,EAAE;YAAE,WAAW,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,UAAU,CAAA;SAAE,EAAE,CAAC;QAAC,UAAU,EAAE,UAAU,EAAE,EAAE,CAAA;KAAE,CAAC,CAIpG;IAED,OAAO,CAAC,eAAe;IASvB,6DAA6D;IACtD,uBAAuB,CAAC,IAAI,EAAE,GAAG,EAAE;;;;;;;kBAEzC;IAED,kEAAkE;IAC3D,4BAA4B,CAAC,IAAI,EAAE,GAAG,EAAE;;;;;;kBAE9C;IAED;;;;;;OAMG;IACU,0BAA0B,CACrC,KAAK,EAAE,GAAG,EACV,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,OAAO,CAAC,GAAG,CAAC,GACjD,OAAO,CAAC,WAAW,CAAC,CAatB;IAED,kEAAkE;IAC3D,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,GAAG,mBAAmB,CAsB3E;IAED,oEAAoE;IACvD,iBAAiB,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,CAE9E;IAED;;;;;OAKG;IACI,6BAA6B,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,GAAG,CAAC;QAAC,CAAC,EAAE,GAAG,CAAA;KAAE,GAAG,WAAW,CAUtG;IAED;;;;;OAKG;IACI,wBAAwB,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,GAAG,WAAW,CAUtF;IAED,uDAAuD;IAC1C,WAAW,CAAC,KAAK,EAAE,MAAM;;;SAYrC;IAED;;;;OAIG;IACI,gBAAgB,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,GAAG,MAAM,IAAI,CAcjG;IAED;;;;OAIG;IACI,qBAAqB,CAC1B,QAAQ,EAAE,CAAC,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,GAAG,CAAA;KAAE,KAAK,IAAI,GAChF,MAAM,IAAI,CAcZ;CACF;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAelE"}