Closed 0x-r4bbit closed 8 months ago
There have been a bunch of breaking changes in the staking contract that resulted in our specs not compiling.
This commit fixes this, however it does not yet ensure the prover is satisfied.
Ensure you completed all of the steps below before submitting your pull request:
forge snapshot
pnpm gas-report
pnpm lint
forge test
pnpm verify
There have been a bunch of breaking changes in the staking contract that resulted in our specs not compiling.
This commit fixes this, however it does not yet ensure the prover is satisfied.
Checklist
Ensure you completed all of the steps below before submitting your pull request:
forge snapshot?pnpm gas-report?pnpm lint?forge test?pnpm verify?