@aztec/ethereum 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108

package/dest/contracts/rollup.js

@@ -1,16 +1,386 @@
-function _ts_decorate(decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for(var i = decorators.length - 1; i >= 0; i--)if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
+function applyDecs2203RFactory() {
+    function createAddInitializerMethod(initializers, decoratorFinishedRef) {
+        return function addInitializer(initializer) {
+            assertNotFinished(decoratorFinishedRef, "addInitializer");
+            assertCallable(initializer, "An initializer");
+            initializers.push(initializer);
+        };
+    }
+    function memberDec(dec, name, desc, initializers, kind, isStatic, isPrivate, metadata, value) {
+        var kindStr;
+        switch(kind){
+            case 1:
+                kindStr = "accessor";
+                break;
+            case 2:
+                kindStr = "method";
+                break;
+            case 3:
+                kindStr = "getter";
+                break;
+            case 4:
+                kindStr = "setter";
+                break;
+            default:
+                kindStr = "field";
+        }
+        var ctx = {
+            kind: kindStr,
+            name: isPrivate ? "#" + name : name,
+            static: isStatic,
+            private: isPrivate,
+            metadata: metadata
+        };
+        var decoratorFinishedRef = {
+            v: false
+        };
+        ctx.addInitializer = createAddInitializerMethod(initializers, decoratorFinishedRef);
+        var get, set;
+        if (kind === 0) {
+            if (isPrivate) {
+                get = desc.get;
+                set = desc.set;
+            } else {
+                get = function() {
+                    return this[name];
+                };
+                set = function(v) {
+                    this[name] = v;
+                };
+            }
+        } else if (kind === 2) {
+            get = function() {
+                return desc.value;
+            };
+        } else {
+            if (kind === 1 || kind === 3) {
+                get = function() {
+                    return desc.get.call(this);
+                };
+            }
+            if (kind === 1 || kind === 4) {
+                set = function(v) {
+                    desc.set.call(this, v);
+                };
+            }
+        }
+        ctx.access = get && set ? {
+            get: get,
+            set: set
+        } : get ? {
+            get: get
+        } : {
+            set: set
+        };
+        try {
+            return dec(value, ctx);
+        } finally{
+            decoratorFinishedRef.v = true;
+        }
+    }
+    function assertNotFinished(decoratorFinishedRef, fnName) {
+        if (decoratorFinishedRef.v) {
+            throw new Error("attempted to call " + fnName + " after decoration was finished");
+        }
+    }
+    function assertCallable(fn, hint) {
+        if (typeof fn !== "function") {
+            throw new TypeError(hint + " must be a function");
+        }
+    }
+    function assertValidReturnValue(kind, value) {
+        var type = typeof value;
+        if (kind === 1) {
+            if (type !== "object" || value === null) {
+                throw new TypeError("accessor decorators must return an object with get, set, or init properties or void 0");
+            }
+            if (value.get !== undefined) {
+                assertCallable(value.get, "accessor.get");
+            }
+            if (value.set !== undefined) {
+                assertCallable(value.set, "accessor.set");
+            }
+            if (value.init !== undefined) {
+                assertCallable(value.init, "accessor.init");
+            }
+        } else if (type !== "function") {
+            var hint;
+            if (kind === 0) {
+                hint = "field";
+            } else if (kind === 10) {
+                hint = "class";
+            } else {
+                hint = "method";
+            }
+            throw new TypeError(hint + " decorators must return a function or void 0");
+        }
+    }
+    function applyMemberDec(ret, base, decInfo, name, kind, isStatic, isPrivate, initializers, metadata) {
+        var decs = decInfo[0];
+        var desc, init, value;
+        if (isPrivate) {
+            if (kind === 0 || kind === 1) {
+                desc = {
+                    get: decInfo[3],
+                    set: decInfo[4]
+                };
+            } else if (kind === 3) {
+                desc = {
+                    get: decInfo[3]
+                };
+            } else if (kind === 4) {
+                desc = {
+                    set: decInfo[3]
+                };
+            } else {
+                desc = {
+                    value: decInfo[3]
+                };
+            }
+        } else if (kind !== 0) {
+            desc = Object.getOwnPropertyDescriptor(base, name);
+        }
+        if (kind === 1) {
+            value = {
+                get: desc.get,
+                set: desc.set
+            };
+        } else if (kind === 2) {
+            value = desc.value;
+        } else if (kind === 3) {
+            value = desc.get;
+        } else if (kind === 4) {
+            value = desc.set;
+        }
+        var newValue, get, set;
+        if (typeof decs === "function") {
+            newValue = memberDec(decs, name, desc, initializers, kind, isStatic, isPrivate, metadata, value);
+            if (newValue !== void 0) {
+                assertValidReturnValue(kind, newValue);
+                if (kind === 0) {
+                    init = newValue;
+                } else if (kind === 1) {
+                    init = newValue.init;
+                    get = newValue.get || value.get;
+                    set = newValue.set || value.set;
+                    value = {
+                        get: get,
+                        set: set
+                    };
+                } else {
+                    value = newValue;
+                }
+            }
+        } else {
+            for(var i = decs.length - 1; i >= 0; i--){
+                var dec = decs[i];
+                newValue = memberDec(dec, name, desc, initializers, kind, isStatic, isPrivate, metadata, value);
+                if (newValue !== void 0) {
+                    assertValidReturnValue(kind, newValue);
+                    var newInit;
+                    if (kind === 0) {
+                        newInit = newValue;
+                    } else if (kind === 1) {
+                        newInit = newValue.init;
+                        get = newValue.get || value.get;
+                        set = newValue.set || value.set;
+                        value = {
+                            get: get,
+                            set: set
+                        };
+                    } else {
+                        value = newValue;
+                    }
+                    if (newInit !== void 0) {
+                        if (init === void 0) {
+                            init = newInit;
+                        } else if (typeof init === "function") {
+                            init = [
+                                init,
+                                newInit
+                            ];
+                        } else {
+                            init.push(newInit);
+                        }
+                    }
+                }
+            }
+        }
+        if (kind === 0 || kind === 1) {
+            if (init === void 0) {
+                init = function(instance, init) {
+                    return init;
+                };
+            } else if (typeof init !== "function") {
+                var ownInitializers = init;
+                init = function(instance, init) {
+                    var value = init;
+                    for(var i = 0; i < ownInitializers.length; i++){
+                        value = ownInitializers[i].call(instance, value);
+                    }
+                    return value;
+                };
+            } else {
+                var originalInitializer = init;
+                init = function(instance, init) {
+                    return originalInitializer.call(instance, init);
+                };
+            }
+            ret.push(init);
+        }
+        if (kind !== 0) {
+            if (kind === 1) {
+                desc.get = value.get;
+                desc.set = value.set;
+            } else if (kind === 2) {
+                desc.value = value;
+            } else if (kind === 3) {
+                desc.get = value;
+            } else if (kind === 4) {
+                desc.set = value;
+            }
+            if (isPrivate) {
+                if (kind === 1) {
+                    ret.push(function(instance, args) {
+                        return value.get.call(instance, args);
+                    });
+                    ret.push(function(instance, args) {
+                        return value.set.call(instance, args);
+                    });
+                } else if (kind === 2) {
+                    ret.push(value);
+                } else {
+                    ret.push(function(instance, args) {
+                        return value.call(instance, args);
+                    });
+                }
+            } else {
+                Object.defineProperty(base, name, desc);
+            }
+        }
+    }
+    function applyMemberDecs(Class, decInfos, metadata) {
+        var ret = [];
+        var protoInitializers;
+        var staticInitializers;
+        var existingProtoNonFields = new Map();
+        var existingStaticNonFields = new Map();
+        for(var i = 0; i < decInfos.length; i++){
+            var decInfo = decInfos[i];
+            if (!Array.isArray(decInfo)) continue;
+            var kind = decInfo[1];
+            var name = decInfo[2];
+            var isPrivate = decInfo.length > 3;
+            var isStatic = kind >= 5;
+            var base;
+            var initializers;
+            if (isStatic) {
+                base = Class;
+                kind = kind - 5;
+                staticInitializers = staticInitializers || [];
+                initializers = staticInitializers;
+            } else {
+                base = Class.prototype;
+                protoInitializers = protoInitializers || [];
+                initializers = protoInitializers;
+            }
+            if (kind !== 0 && !isPrivate) {
+                var existingNonFields = isStatic ? existingStaticNonFields : existingProtoNonFields;
+                var existingKind = existingNonFields.get(name) || 0;
+                if (existingKind === true || existingKind === 3 && kind !== 4 || existingKind === 4 && kind !== 3) {
+                    throw new Error("Attempted to decorate a public method/accessor that has the same name as a previously decorated public method/accessor. This is not currently supported by the decorators plugin. Property name was: " + name);
+                } else if (!existingKind && kind > 2) {
+                    existingNonFields.set(name, kind);
+                } else {
+                    existingNonFields.set(name, true);
+                }
+            }
+            applyMemberDec(ret, base, decInfo, name, kind, isStatic, isPrivate, initializers, metadata);
+        }
+        pushInitializers(ret, protoInitializers);
+        pushInitializers(ret, staticInitializers);
+        return ret;
+    }
+    function pushInitializers(ret, initializers) {
+        if (initializers) {
+            ret.push(function(instance) {
+                for(var i = 0; i < initializers.length; i++){
+                    initializers[i].call(instance);
+                }
+                return instance;
+            });
+        }
+    }
+    function applyClassDecs(targetClass, classDecs, metadata) {
+        if (classDecs.length > 0) {
+            var initializers = [];
+            var newClass = targetClass;
+            var name = targetClass.name;
+            for(var i = classDecs.length - 1; i >= 0; i--){
+                var decoratorFinishedRef = {
+                    v: false
+                };
+                try {
+                    var nextNewClass = classDecs[i](newClass, {
+                        kind: "class",
+                        name: name,
+                        addInitializer: createAddInitializerMethod(initializers, decoratorFinishedRef),
+                        metadata
+                    });
+                } finally{
+                    decoratorFinishedRef.v = true;
+                }
+                if (nextNewClass !== undefined) {
+                    assertValidReturnValue(10, nextNewClass);
+                    newClass = nextNewClass;
+                }
+            }
+            return [
+                defineMetadata(newClass, metadata),
+                function() {
+                    for(var i = 0; i < initializers.length; i++){
+                        initializers[i].call(newClass);
+                    }
+                }
+            ];
+        }
+    }
+    function defineMetadata(Class, metadata) {
+        return Object.defineProperty(Class, Symbol.metadata || Symbol.for("Symbol.metadata"), {
+            configurable: true,
+            enumerable: true,
+            value: metadata
+        });
+    }
+    return function applyDecs2203R(targetClass, memberDecs, classDecs, parentClass) {
+        if (parentClass !== void 0) {
+            var parentMetadata = parentClass[Symbol.metadata || Symbol.for("Symbol.metadata")];
+        }
+        var metadata = Object.create(parentMetadata === void 0 ? null : parentMetadata);
+        var e = applyMemberDecs(targetClass, memberDecs, metadata);
+        if (!classDecs.length) defineMetadata(targetClass, metadata);
+        return {
+            e: e,
+            get c () {
+                return applyClassDecs(targetClass, classDecs, metadata);
+            }
+        };
+    };
+}
+function _apply_decs_2203_r(targetClass, memberDecs, classDecs, parentClass) {
+    return (_apply_decs_2203_r = applyDecs2203RFactory())(targetClass, memberDecs, classDecs, parentClass);
 }
+var _initProto;
+import { CheckpointNumber, EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
+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 { makeBackoff, retry } from '@aztec/foundation/retry';
 import { RollupAbi } from '@aztec/l1-artifacts/RollupAbi';
 import { RollupStorage } from '@aztec/l1-artifacts/RollupStorage';
-import { SlasherAbi } from '@aztec/l1-artifacts/SlasherAbi';
 import chunk from 'lodash.chunk';
-import { encodeFunctionData, getAddress, getContract, hexToBigInt, keccak256 } from 'viem';
+import { encodeFunctionData, getContract, hexToBigInt, keccak256 } from 'viem';
 import { getPublicClient } from '../client.js';
 import { formatViemError } from '../utils.js';
 import { EmpireSlashingProposerContract } from './empire_slashing_proposer.js';
@@ -24,8 +394,117 @@ export var SlashingProposerType = /*#__PURE__*/ function(SlashingProposerType) {
     SlashingProposerType[SlashingProposerType["Empire"] = 2] = "Empire";
     return SlashingProposerType;
 }({});
+/**
+ * Status of a validator/attester in the staking system.
+ * Matches the Status enum in StakingLib.sol
+ */ export var AttesterStatus = /*#__PURE__*/ function(AttesterStatus) {
+    AttesterStatus[AttesterStatus["NONE"] = 0] = "NONE";
+    AttesterStatus[AttesterStatus["VALIDATING"] = 1] = "VALIDATING";
+    AttesterStatus[AttesterStatus["ZOMBIE"] = 2] = "ZOMBIE";
+    AttesterStatus[AttesterStatus["EXITING"] = 3] = "EXITING";
+    return AttesterStatus;
+}({});
 export class RollupContract {
     client;
+    static{
+        ({ e: [_initProto] } = _apply_decs_2203_r(this, [
+            [
+                memoize,
+                2,
+                "getL1StartBlock"
+            ],
+            [
+                memoize,
+                2,
+                "getL1GenesisTime"
+            ],
+            [
+                memoize,
+                2,
+                "getProofSubmissionEpochs"
+            ],
+            [
+                memoize,
+                2,
+                "getEpochDuration"
+            ],
+            [
+                memoize,
+                2,
+                "getSlotDuration"
+            ],
+            [
+                memoize,
+                2,
+                "getTargetCommitteeSize"
+            ],
+            [
+                memoize,
+                2,
+                "getEjectionThreshold"
+            ],
+            [
+                memoize,
+                2,
+                "getLocalEjectionThreshold"
+            ],
+            [
+                memoize,
+                2,
+                "getLagInEpochsForValidatorSet"
+            ],
+            [
+                memoize,
+                2,
+                "getLagInEpochsForRandao"
+            ],
+            [
+                memoize,
+                2,
+                "getActivationThreshold"
+            ],
+            [
+                memoize,
+                2,
+                "getExitDelay"
+            ],
+            [
+                memoize,
+                2,
+                "getManaTarget"
+            ],
+            [
+                memoize,
+                2,
+                "getProvingCostPerMana"
+            ],
+            [
+                memoize,
+                2,
+                "getProvingCostPerManaInFeeAsset"
+            ],
+            [
+                memoize,
+                2,
+                "getManaLimit"
+            ],
+            [
+                memoize,
+                2,
+                "getVersion"
+            ],
+            [
+                memoize,
+                2,
+                "getGenesisArchiveTreeRoot"
+            ],
+            [
+                memoize,
+                2,
+                "getRollupConstants"
+            ]
+        ], []));
+    }
     rollup;
     static cachedStfStorageSlot;
     static get checkBlobStorageSlot() {
@@ -49,6 +528,7 @@ export class RollupContract {
     }
     constructor(client, address){
         this.client = client;
+        _initProto(this);
         if (address instanceof EthAddress) {
             address = address.toString();
         }
@@ -58,8 +538,8 @@ export class RollupContract {
             client
         });
     }
-    getGSE() {
-        return this.rollup.read.getGSE();
+    async getGSE() {
+        return EthAddress.fromString(await this.rollup.read.getGSE());
     }
     get address() {
         return this.rollup.address;
@@ -68,16 +548,11 @@ export class RollupContract {
         return this.rollup;
     }
     async getSlashingProposer() {
-        const slasherAddress = await this.rollup.read.getSlasher();
-        if (EthAddress.fromString(slasherAddress).isZero()) {
+        const slasher = await this.getSlasherContract();
+        if (!slasher) {
             return undefined;
         }
-        const slasher = getContract({
-            address: slasherAddress,
-            abi: SlasherAbi,
-            client: this.client
-        });
-        const proposerAddress = await slasher.read.PROPOSER();
+        const proposerAddress = await slasher.getProposer();
         const proposerAbi = [
             {
                 type: 'function',
@@ -94,7 +569,7 @@ export class RollupContract {
             }
         ];
         const proposer = getContract({
-            address: proposerAddress,
+            address: proposerAddress.toString(),
             abi: proposerAbi,
             client: this.client
         });
@@ -113,26 +588,35 @@ export class RollupContract {
     getL1GenesisTime() {
         return this.rollup.read.getGenesisTime();
     }
-    getProofSubmissionEpochs() {
-        return this.rollup.read.getProofSubmissionEpochs();
+    async getProofSubmissionEpochs() {
+        return Number(await this.rollup.read.getProofSubmissionEpochs());
     }
-    getEpochDuration() {
-        return this.rollup.read.getEpochDuration();
+    async getEpochDuration() {
+        return Number(await this.rollup.read.getEpochDuration());
     }
-    getSlotDuration() {
-        return this.rollup.read.getSlotDuration();
+    async getSlotDuration() {
+        return Number(await this.rollup.read.getSlotDuration());
     }
-    getTargetCommitteeSize() {
-        return this.rollup.read.getTargetCommitteeSize();
+    async getTargetCommitteeSize() {
+        return Number(await this.rollup.read.getTargetCommitteeSize());
     }
     getEjectionThreshold() {
         return this.rollup.read.getEjectionThreshold();
     }
+    getLocalEjectionThreshold() {
+        return this.rollup.read.getLocalEjectionThreshold();
+    }
+    async getLagInEpochsForValidatorSet() {
+        return Number(await this.rollup.read.getLagInEpochsForValidatorSet());
+    }
+    async getLagInEpochsForRandao() {
+        return Number(await this.rollup.read.getLagInEpochsForRandao());
+    }
     getActivationThreshold() {
         return this.rollup.read.getActivationThreshold();
     }
-    getExitDelay() {
-        return this.rollup.read.getExitDelay();
+    async getExitDelay() {
+        return Number(await this.rollup.read.getExitDelay());
     }
     getManaTarget() {
         return this.rollup.read.getManaTarget();
@@ -150,10 +634,9 @@ export class RollupContract {
         return this.rollup.read.getVersion();
     }
     async getGenesisArchiveTreeRoot() {
-        const block = await this.rollup.read.getBlock([
+        return Fr.fromString(await this.rollup.read.archiveAt([
             0n
-        ]);
-        return block.archive;
+        ]));
     }
     /**
    * Returns rollup constants used for epoch queries.
@@ -170,51 +653,56 @@ export class RollupContract {
         return {
             l1StartBlock,
             l1GenesisTime,
-            slotDuration: Number(slotDuration),
+            slotDuration,
             epochDuration: Number(epochDuration),
             proofSubmissionEpochs: Number(proofSubmissionEpochs)
         };
     }
-    getSlasher() {
-        return this.rollup.read.getSlasher();
+    async getSlasherAddress() {
+        return EthAddress.fromString(await this.rollup.read.getSlasher());
     }
     /**
    * Returns a SlasherContract instance for interacting with the slasher contract.
    */ async getSlasherContract() {
-        const slasherAddress = await this.getSlasher();
-        return new SlasherContract(this.client, EthAddress.fromString(slasherAddress));
+        const slasherAddress = await this.getSlasherAddress();
+        if (slasherAddress.isZero()) {
+            return undefined;
+        }
+        return new SlasherContract(this.client, slasherAddress);
     }
-    getOwner() {
-        return this.rollup.read.owner();
+    async getOwner() {
+        return EthAddress.fromString(await this.rollup.read.owner());
     }
-    getActiveAttesterCount() {
-        return this.rollup.read.getActiveAttesterCount();
+    async getActiveAttesterCount() {
+        return Number(await this.rollup.read.getActiveAttesterCount());
     }
     async getSlashingProposerAddress() {
-        const slasherAddress = await this.getSlasher();
-        const slasher = getContract({
-            address: getAddress(slasherAddress.toString()),
-            abi: SlasherAbi,
-            client: this.client
-        });
-        return EthAddress.fromString(await slasher.read.PROPOSER());
+        const slasher = await this.getSlasherContract();
+        if (!slasher) {
+            return EthAddress.ZERO;
+        }
+        return await slasher.getProposer();
     }
-    getBlockReward() {
-        return this.rollup.read.getBlockReward();
+    getCheckpointReward() {
+        return this.rollup.read.getCheckpointReward();
     }
-    getBlockNumber() {
-        return this.rollup.read.getPendingBlockNumber();
+    async getCheckpointNumber() {
+        return CheckpointNumber.fromBigInt(await this.rollup.read.getPendingCheckpointNumber());
     }
-    getProvenBlockNumber() {
-        return this.rollup.read.getProvenBlockNumber();
+    async getProvenCheckpointNumber() {
+        return CheckpointNumber.fromBigInt(await this.rollup.read.getProvenCheckpointNumber());
     }
-    getSlotNumber() {
-        return this.rollup.read.getCurrentSlot();
+    async getSlotNumber() {
+        return SlotNumber.fromBigInt(await this.rollup.read.getCurrentSlot());
     }
-    getL1FeesAt(timestamp) {
-        return this.rollup.read.getL1FeesAt([
+    async getL1FeesAt(timestamp) {
+        const result = await this.rollup.read.getL1FeesAt([
             timestamp
         ]);
+        return {
+            baseFee: result.baseFee,
+            blobFee: result.blobFee
+        };
     }
     getFeeAssetPerEth() {
         return this.rollup.read.getFeeAssetPerEth();
@@ -235,18 +723,18 @@ export class RollupContract {
             }
             throw e;
         });
-        return result;
+        return result ? result.map((addr)=>EthAddress.fromString(addr)) : undefined;
     }
-    getSampleSeedAt(timestamp) {
-        return this.rollup.read.getSampleSeedAt([
+    async getSampleSeedAt(timestamp) {
+        return Buffer32.fromBigInt(await this.rollup.read.getSampleSeedAt([
             timestamp
-        ]);
+        ]));
     }
-    getCurrentSampleSeed() {
-        return this.rollup.read.getCurrentSampleSeed();
+    async getCurrentSampleSeed() {
+        return Buffer32.fromBigInt(await this.rollup.read.getCurrentSampleSeed());
     }
-    getCurrentEpoch() {
-        return this.rollup.read.getCurrentEpoch();
+    async getCurrentEpoch() {
+        return EpochNumber.fromBigInt(await this.rollup.read.getCurrentEpoch());
     }
     async getCurrentEpochCommittee() {
         const { result } = await this.client.simulateContract({
@@ -262,7 +750,7 @@ export class RollupContract {
             }
             throw e;
         });
-        return result;
+        return result ? result.map((addr)=>EthAddress.fromString(addr)) : undefined;
     }
     async getCurrentProposer() {
         const { result } = await this.client.simulateContract({
@@ -271,7 +759,7 @@ export class RollupContract {
             functionName: 'getCurrentProposer',
             args: []
         });
-        return result;
+        return EthAddress.fromString(result);
     }
     async getProposerAt(timestamp) {
         const { result } = await this.client.simulateContract({
@@ -282,29 +770,69 @@ export class RollupContract {
                 timestamp
             ]
         });
-        return result;
+        return EthAddress.fromString(result);
     }
-    getBlock(blockNumber) {
-        return this.rollup.read.getBlock([
-            blockNumber
+    async getCheckpoint(checkpointNumber) {
+        const result = await this.rollup.read.getCheckpoint([
+            BigInt(checkpointNumber)
         ]);
+        return {
+            archive: Fr.fromString(result.archive),
+            headerHash: Buffer32.fromString(result.headerHash),
+            blobCommitmentsHash: Buffer32.fromString(result.blobCommitmentsHash),
+            attestationsHash: Buffer32.fromString(result.attestationsHash),
+            payloadDigest: Buffer32.fromString(result.payloadDigest),
+            slotNumber: SlotNumber.fromBigInt(result.slotNumber),
+            feeHeader: {
+                excessMana: result.feeHeader.excessMana,
+                manaUsed: result.feeHeader.manaUsed,
+                feeAssetPriceNumerator: result.feeHeader.feeAssetPriceNumerator,
+                congestionCost: result.feeHeader.congestionCost,
+                proverCost: result.feeHeader.proverCost
+            }
+        };
     }
-    getTips() {
-        return this.rollup.read.getTips();
+    /** Returns the pending checkpoint from the rollup contract */ getPendingCheckpoint() {
+        // We retry because of race conditions during prunes: we may get a pending checkpoint number which is immediately
+        // reorged out due to a prune happening, causing the subsequent getCheckpoint call to fail. So we try again in that case.
+        return retry(async ()=>{
+            const pendingCheckpointNumber = await this.getCheckpointNumber();
+            const pendingCheckpoint = await this.getCheckpoint(pendingCheckpointNumber);
+            return pendingCheckpoint;
+        }, 'getting pending checkpoint', makeBackoff([
+            0.5,
+            0.5,
+            0.5
+        ]));
+    }
+    async getTips() {
+        const { pending, proven } = await this.rollup.read.getTips();
+        return {
+            pending: CheckpointNumber.fromBigInt(pending),
+            proven: CheckpointNumber.fromBigInt(proven)
+        };
     }
     getTimestampForSlot(slot) {
         return this.rollup.read.getTimestampForSlot([
-            slot
+            BigInt(slot)
         ]);
     }
-    getEntryQueueLength() {
-        return this.rollup.read.getEntryQueueLength();
+    async getEntryQueueLength() {
+        return Number(await this.rollup.read.getEntryQueueLength());
     }
-    async getEpochNumber(blockNumber) {
-        blockNumber ??= await this.getBlockNumber();
-        return this.rollup.read.getEpochForBlock([
-            BigInt(blockNumber)
-        ]);
+    async getAvailableValidatorFlushes() {
+        return Number(await this.rollup.read.getAvailableValidatorFlushes());
+    }
+    async getNextFlushableEpoch() {
+        return EpochNumber.fromBigInt(await this.rollup.read.getNextFlushableEpoch());
+    }
+    async getCurrentEpochNumber() {
+        return EpochNumber.fromBigInt(await this.rollup.read.getCurrentEpoch());
+    }
+    async getEpochNumberForCheckpoint(checkpointNumber) {
+        return EpochNumber.fromBigInt(await this.rollup.read.getEpochForCheckpoint([
+            BigInt(checkpointNumber)
+        ]));
     }
     async getRollupAddresses() {
         const [inboxAddress, outboxAddress, feeJuicePortalAddress, rewardDistributorAddress, feeJuiceAddress, stakingAssetAddress, gseAddress] = (await Promise.all([
@@ -331,12 +859,13 @@ export class RollupContract {
         return EthAddress.fromString(await this.rollup.read.getFeeAssetPortal());
     }
     async getEpochNumberForSlotNumber(slotNumber) {
-        return await this.rollup.read.getEpochAtSlot([
-            slotNumber
-        ]);
+        return EpochNumber.fromBigInt(await this.rollup.read.getEpochAtSlot([
+            BigInt(slotNumber)
+        ]));
     }
-    getEpochProofPublicInputs(args) {
-        return this.rollup.read.getEpochProofPublicInputs(args);
+    async getEpochProofPublicInputs(args) {
+        const result = await this.rollup.read.getEpochProofPublicInputs(args);
+        return result.map(Fr.fromString);
     }
     async validateHeader(args, account) {
         try {
@@ -352,80 +881,20 @@ export class RollupContract {
         }
     }
     /**
-   * Packs an array of committee attestations into the format expected by the Solidity contract
-   *
-   * @param attestations - Array of committee attestations with addresses and signatures
-   * @returns Packed attestations with bitmap and tightly packed signature/address data
-   */ static packAttestations(attestations) {
-        const length = attestations.length;
-        // Calculate bitmap size (1 bit per attestation, rounded up to nearest byte)
-        const bitmapSize = Math.ceil(length / 8);
-        const signatureIndices = new Uint8Array(bitmapSize);
-        // Calculate total data size needed
-        let totalDataSize = 0;
-        for(let i = 0; i < length; i++){
-            const signature = attestations[i].signature;
-            // Check if signature is empty (v = 0)
-            const isEmpty = signature.v === 0;
-            if (!isEmpty) {
-                totalDataSize += 65; // v (1) + r (32) + s (32)
-            } else {
-                totalDataSize += 20; // address only
-            }
-        }
-        const signaturesOrAddresses = new Uint8Array(totalDataSize);
-        let dataIndex = 0;
-        // Pack the data
-        for(let i = 0; i < length; i++){
-            const attestation = attestations[i];
-            const signature = attestation.signature;
-            // Check if signature is empty
-            const isEmpty = signature.v === 0;
-            if (!isEmpty) {
-                // Set bit in bitmap (bit 7-0 in each byte, left to right)
-                const byteIndex = Math.floor(i / 8);
-                const bitIndex = 7 - i % 8;
-                signatureIndices[byteIndex] |= 1 << bitIndex;
-                // Pack signature: v + r + s
-                signaturesOrAddresses[dataIndex] = signature.v;
-                dataIndex++;
-                // Pack r (32 bytes)
-                const rBytes = Buffer.from(signature.r.slice(2), 'hex');
-                signaturesOrAddresses.set(rBytes, dataIndex);
-                dataIndex += 32;
-                // Pack s (32 bytes)
-                const sBytes = Buffer.from(signature.s.slice(2), 'hex');
-                signaturesOrAddresses.set(sBytes, dataIndex);
-                dataIndex += 32;
-            } else {
-                // Pack address only (20 bytes)
-                const addrBytes = Buffer.from(attestation.addr.slice(2), 'hex');
-                signaturesOrAddresses.set(addrBytes, dataIndex);
-                dataIndex += 20;
-            }
-        }
-        return {
-            signatureIndices: `0x${Buffer.from(signatureIndices).toString('hex')}`,
-            signaturesOrAddresses: `0x${Buffer.from(signaturesOrAddresses).toString('hex')}`
-        };
-    }
-    /**
    * @notice  Calls `canProposeAtTime` with the time of the next Ethereum block and the sender address
    *
    * @dev     Throws if unable to propose
    *
    * @param archive - The archive that we expect to be current state
-   * @return [slot, blockNumber] - If you can propose, the L2 slot number and L2 block number of the next Ethereum block,
+   * @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 = {}) {
-        if (typeof slotDuration === 'number') {
-            slotDuration = BigInt(slotDuration);
-        }
         const latestBlock = await this.client.getBlock();
-        const timeOfNextL1Slot = latestBlock.timestamp + slotDuration;
+        const timeOfNextL1Slot = latestBlock.timestamp + BigInt(slotDuration);
         const who = typeof account === 'string' ? account : account.address;
         try {
-            const { result: [slot, blockNumber] } = await this.client.simulateContract({
+            const { result: [slot, checkpointNumber] } = await this.client.simulateContract({
                 address: this.address,
                 abi: RollupAbi,
                 functionName: 'canProposeAtTime',
@@ -435,11 +904,11 @@ export class RollupContract {
                     who
                 ],
                 account,
-                stateOverride: await this.makePendingBlockNumberOverride(opts.forcePendingBlockNumber)
+                stateOverride: await this.makePendingCheckpointNumberOverride(opts.forcePendingCheckpointNumber)
             });
             return {
-                slot,
-                blockNumber,
+                slot: SlotNumber.fromBigInt(slot),
+                checkpointNumber: CheckpointNumber.fromBigInt(checkpointNumber),
                 timeOfNextL1Slot
             };
         } catch (err) {
@@ -447,11 +916,11 @@ export class RollupContract {
         }
     }
     /**
-   * Returns a state override that sets the pending block number to the specified value. Useful for simulations.
-   * Requires querying the current state of the contract to get the current proven block number, as they are both
+   * 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 makePendingBlockNumberOverride(forcePendingBlockNumber) {
-        if (forcePendingBlockNumber === undefined) {
+   */ async makePendingCheckpointNumberOverride(forcePendingCheckpointNumber) {
+        if (forcePendingCheckpointNumber === undefined) {
             return [];
         }
         const slot = RollupContract.stfStorageSlot;
@@ -459,8 +928,8 @@ export class RollupContract {
             address: this.address,
             slot
         });
-        const currentProvenBlockNumber = currentValue ? hexToBigInt(currentValue) & (1n << 128n) - 1n : 0n;
-        const newValue = BigInt(forcePendingBlockNumber) << 128n | currentProvenBlockNumber;
+        const currentProvenCheckpointNumber = currentValue ? hexToBigInt(currentValue) & (1n << 128n) - 1n : 0n;
+        const newValue = BigInt(forcePendingCheckpointNumber) << 128n | currentProvenCheckpointNumber;
         return [
             {
                 address: this.address,
@@ -473,61 +942,68 @@ export class RollupContract {
             }
         ];
     }
-    /** Creates a request to Rollup#invalidateBadAttestation to be simulated or sent */ buildInvalidateBadAttestationRequest(blockNumber, attestations, committee, invalidIndex) {
+    /** Creates a request to Rollup#invalidateBadAttestation to be simulated or sent */ buildInvalidateBadAttestationRequest(checkpointNumber, attestationsAndSigners, committee, invalidIndex) {
         return {
             to: this.address,
             data: encodeFunctionData({
                 abi: RollupAbi,
                 functionName: 'invalidateBadAttestation',
                 args: [
-                    BigInt(blockNumber),
-                    RollupContract.packAttestations(attestations),
+                    BigInt(checkpointNumber),
+                    attestationsAndSigners,
                     committee.map((addr)=>addr.toString()),
                     BigInt(invalidIndex)
                 ]
             })
         };
     }
-    /** Creates a request to Rollup#invalidateInsufficientAttestations to be simulated or sent */ buildInvalidateInsufficientAttestationsRequest(blockNumber, attestations, committee) {
+    /** Creates a request to Rollup#invalidateInsufficientAttestations to be simulated or sent */ buildInvalidateInsufficientAttestationsRequest(checkpointNumber, attestationsAndSigners, committee) {
         return {
             to: this.address,
             data: encodeFunctionData({
                 abi: RollupAbi,
                 functionName: 'invalidateInsufficientAttestations',
                 args: [
-                    BigInt(blockNumber),
-                    RollupContract.packAttestations(attestations),
+                    BigInt(checkpointNumber),
+                    attestationsAndSigners,
                     committee.map((addr)=>addr.toString())
                 ]
             })
         };
     }
-    /** Calls getHasSubmitted directly. Returns whether the given prover has submitted a proof with the given length for the given epoch. */ getHasSubmittedProof(epochNumber, numberOfBlocksInEpoch, prover) {
+    /** Calls getHasSubmitted directly. Returns whether the given prover has submitted a proof with the given length for the given epoch. */ getHasSubmittedProof(epochNumber, numberOfCheckpointsInEpoch, prover) {
         if (prover instanceof EthAddress) {
             prover = prover.toString();
         }
         return this.rollup.read.getHasSubmitted([
             BigInt(epochNumber),
-            BigInt(numberOfBlocksInEpoch),
+            BigInt(numberOfCheckpointsInEpoch),
             prover
         ]);
     }
-    getManaBaseFeeAt(timestamp, inFeeAsset) {
-        return this.rollup.read.getManaBaseFeeAt([
+    getManaMinFeeAt(timestamp, inFeeAsset) {
+        return this.rollup.read.getManaMinFeeAt([
             timestamp,
             inFeeAsset
         ]);
     }
-    getSlotAt(timestamp) {
-        return this.rollup.read.getSlotAt([
+    async getSlotAt(timestamp) {
+        return SlotNumber.fromBigInt(await this.rollup.read.getSlotAt([
             timestamp
-        ]);
+        ]));
     }
-    async status(blockNumber, options) {
+    async status(checkpointNumber, options) {
         await checkBlockTag(options?.blockNumber, this.client);
-        return this.rollup.read.status([
-            blockNumber
+        const result = await this.rollup.read.status([
+            BigInt(checkpointNumber)
         ], options);
+        return {
+            provenCheckpointNumber: CheckpointNumber.fromBigInt(result[0]),
+            provenArchive: Fr.fromString(result[1]),
+            pendingCheckpointNumber: CheckpointNumber.fromBigInt(result[2]),
+            pendingArchive: Fr.fromString(result[3]),
+            archiveOfMyCheckpoint: Fr.fromString(result[4])
+        };
     }
     async canPruneAtTime(timestamp, options) {
         await checkBlockTag(options?.blockNumber, this.client);
@@ -535,13 +1011,13 @@ export class RollupContract {
             timestamp
         ], options);
     }
-    archive() {
-        return this.rollup.read.archive();
+    async archive() {
+        return Fr.fromString(await this.rollup.read.archive());
     }
-    archiveAt(blockNumber) {
-        return this.rollup.read.archiveAt([
-            blockNumber
-        ]);
+    async archiveAt(checkpointNumber) {
+        return Fr.fromString(await this.rollup.read.archiveAt([
+            BigInt(checkpointNumber)
+        ]));
     }
     getSequencerRewards(address) {
         if (address instanceof EthAddress) {
@@ -565,37 +1041,66 @@ export class RollupContract {
         const gse = new GSEContract(this.client, await this.getGSE());
         const ts = (await this.client.getBlock()).timestamp;
         const indices = Array.from({
-            length: Number(attesterSize)
+            length: attesterSize
         }, (_, i)=>BigInt(i));
         const chunks = chunk(indices, 1000);
-        return (await Promise.all(chunks.map((chunk)=>gse.getAttestersFromIndicesAtTime(this.address, ts, chunk)))).flat();
+        const results = await Promise.all(chunks.map((chunk)=>gse.getAttestersFromIndicesAtTime(this.address, ts, chunk)));
+        return results.flat().map((addr)=>EthAddress.fromString(addr));
     }
-    getAttesterView(address) {
+    async getAttesterView(address) {
         if (address instanceof EthAddress) {
             address = address.toString();
         }
-        return this.rollup.read.getAttesterView([
+        const result = await this.rollup.read.getAttesterView([
             address
         ]);
+        return {
+            status: result.status,
+            effectiveBalance: result.effectiveBalance,
+            exit: {
+                withdrawalId: result.exit.withdrawalId,
+                amount: result.exit.amount,
+                exitableAt: result.exit.exitableAt,
+                recipientOrWithdrawer: EthAddress.fromString(result.exit.recipientOrWithdrawer),
+                isRecipient: result.exit.isRecipient,
+                exists: result.exit.exists
+            },
+            config: {
+                publicKey: {
+                    x: result.config.publicKey.x,
+                    y: result.config.publicKey.y
+                },
+                withdrawer: EthAddress.fromString(result.config.withdrawer)
+            }
+        };
     }
-    getStatus(address) {
+    async getStatus(address) {
         if (address instanceof EthAddress) {
             address = address.toString();
         }
-        return this.rollup.read.getStatus([
+        return await this.rollup.read.getStatus([
             address
         ]);
     }
-    getBlobCommitmentsHash(blockNumber) {
-        return this.rollup.read.getBlobCommitmentsHash([
-            blockNumber
-        ]);
+    async getBlobCommitmentsHash(checkpointNumber) {
+        return Buffer32.fromString(await this.rollup.read.getBlobCommitmentsHash([
+            BigInt(checkpointNumber)
+        ]));
     }
-    getCurrentBlobCommitmentsHash() {
-        return this.rollup.read.getCurrentBlobCommitmentsHash();
+    async getCurrentBlobCommitmentsHash() {
+        return Buffer32.fromString(await this.rollup.read.getCurrentBlobCommitmentsHash());
     }
-    getStakingAsset() {
-        return this.rollup.read.getStakingAsset();
+    async getStakingAsset() {
+        return EthAddress.fromString(await this.rollup.read.getStakingAsset());
+    }
+    async getRewardConfig() {
+        const result = await this.rollup.read.getRewardConfig();
+        return {
+            rewardDistributor: EthAddress.fromString(result.rewardDistributor),
+            sequencerBps: BigInt(result.sequencerBps),
+            booster: EthAddress.fromString(result.booster),
+            checkpointReward: result.checkpointReward
+        };
     }
     setupEpoch(l1TxUtils) {
         return l1TxUtils.sendAndMonitorTransaction({
@@ -631,6 +1136,20 @@ export class RollupContract {
             }
         });
     }
+    listenToCheckpointInvalidated(callback) {
+        return this.rollup.watchEvent.CheckpointInvalidated({}, {
+            onLogs: (logs)=>{
+                for (const log of logs){
+                    const args = log.args;
+                    if (args.checkpointNumber !== undefined) {
+                        callback({
+                            checkpointNumber: CheckpointNumber.fromBigInt(args.checkpointNumber)
+                        });
+                    }
+                }
+            }
+        });
+    }
     async getSlashEvents(l1BlockHash) {
         const events = await this.rollup.getEvents.Slashed({}, {
             blockHash: l1BlockHash,
@@ -656,51 +1175,3 @@ export class RollupContract {
         });
     }
 }
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getL1StartBlock", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getL1GenesisTime", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getProofSubmissionEpochs", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getEpochDuration", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getSlotDuration", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getTargetCommitteeSize", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getEjectionThreshold", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getActivationThreshold", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getExitDelay", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getManaTarget", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getProvingCostPerMana", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getProvingCostPerManaInFeeAsset", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getManaLimit", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getVersion", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getGenesisArchiveTreeRoot", null);
-_ts_decorate([
-    memoize
-], RollupContract.prototype, "getRollupConstants", null);