-
Notifications
You must be signed in to change notification settings - Fork 334
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Certora specs #696
Certora specs #696
Commits on Jun 21, 2024
-
* move state into Storage contract * remove withdrawal proof method
Configuration menu - View commit details
-
Copy full SHA for f65a310 - Browse repository at this point
Copy the full SHA f65a310View commit details -
feat: poc for partial withdrawal batching
* feat: remove beaconChainOracle in favor of 4788 * modify verifyStaleBalance to use plural form * add pause flags for new methods * deprecate old state variables * minor cleanup and commenting * chore: get things compiling * i commented out/deleted a bajillion tests * fix: adjust storage footprint to be consistent with m2
Configuration menu - View commit details
-
Copy full SHA for 9f574e3 - Browse repository at this point
Copy the full SHA 9f574e3View commit details -
feat: adjust verifyStaleBalance to allow anyone to start a checkpoint
* removes staleness concept from pod and manager state * clean: clean up start checkpoint logic * clean: remove comments * clean: remove outdated comment and rename proofs method * fix: remove unused variable and deprecate another
Configuration menu - View commit details
-
Copy full SHA for f74477e - Browse repository at this point
Copy the full SHA f74477eView commit details -
chore: rename lastFinalizedCheckpoint to lastCheckpointTimestamp
* feat: add events for checkpoint creation and progression * feat: remove unneeded oracle interface from EigenPodManager
Configuration menu - View commit details
-
Copy full SHA for cdcb714 - Browse repository at this point
Copy the full SHA cdcb714View commit details -
Configuration menu - View commit details
-
Copy full SHA for c9d0a57 - Browse repository at this point
Copy the full SHA c9d0a57View commit details -
feat: remove all use of the delayed withdrawal router (#524)
* modify activateRestaking flow to use checkpointing * remove withdrawNonBeaconChainETHBalanceWei in favor of checkpointing
Configuration menu - View commit details
-
Copy full SHA for a768951 - Browse repository at this point
Copy the full SHA a768951View commit details -
Configuration menu - View commit details
-
Copy full SHA for 864b81a - Browse repository at this point
Copy the full SHA 864b81aView commit details -
Configuration menu - View commit details
-
Copy full SHA for fd76524 - Browse repository at this point
Copy the full SHA fd76524View commit details -
chore: move currentCheckpoint to a public getter and update IEigenPod…
… interface * chore: fix comment, update interfaces, add event * chore: clarify comment on activateRestaking
Configuration menu - View commit details
-
Copy full SHA for 27c29c8 - Browse repository at this point
Copy the full SHA 27c29c8View commit details -
feat: skip validator if already checkpointed
* fix: finish rebase * chore: make bindings
Configuration menu - View commit details
-
Copy full SHA for f934bc0 - Browse repository at this point
Copy the full SHA f934bc0View commit details -
fix: swap inequality check to correctly skip duplicate proofs
* chore: make bindings
Configuration menu - View commit details
-
Copy full SHA for 21a58f7 - Browse repository at this point
Copy the full SHA 21a58f7View commit details -
test: modify integration test framework to support pepe (#563)
* test: basic epoch processing * wip: balance proofs somewhat functional * test: flesh out beacon chain abi and test workflow * test: cleanup * test: add basic invariant checks for checkpoint proofs * test: add tests for full exits
Configuration menu - View commit details
-
Copy full SHA for 3a7ff2a - Browse repository at this point
Copy the full SHA 3a7ff2aView commit details -
feat: checkpoint proofs use balance container root
* also refactors and cleans up BeaconChainProofs * more refactor/cleanup to come * chore: more proof library cleanup, removing unused constants * chore: additional cleanup and renaming of proof constants for consistency * chore: clean comments and reorganize constants
Configuration menu - View commit details
-
Copy full SHA for 312534a - Browse repository at this point
Copy the full SHA 312534aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0c8763e - Browse repository at this point
Copy the full SHA 0c8763eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 04a9802 - Browse repository at this point
Copy the full SHA 04a9802View commit details -
feat: remove activateRestaking in favor of startCheckpoint (#577)
* see PR comment for details
Configuration menu - View commit details
-
Copy full SHA for 42b3399 - Browse repository at this point
Copy the full SHA 42b3399View commit details -
test: add proofgen test contract
* fix: rename and add balance proof
Configuration menu - View commit details
-
Copy full SHA for 20297ce - Browse repository at this point
Copy the full SHA 20297ceView commit details -
Configuration menu - View commit details
-
Copy full SHA for e97fcf3 - Browse repository at this point
Copy the full SHA e97fcf3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6bf1b1a - Browse repository at this point
Copy the full SHA 6bf1b1aView commit details -
test: fix existing integration tests
* test: fix some unit tests and remove many outdated tests * test: start setting up new integration tests
Configuration menu - View commit details
-
Copy full SHA for 5d02d90 - Browse repository at this point
Copy the full SHA 5d02d90View commit details -
fix: fixes two issues with verifyWC timing
* verifyWC -> startCheckpoint in the same block no longer results in a bricked checkpoint * verifyWC using a timestamp older than the current checkpoint no longer allows you to submit a checkpoint proof for the new validator * chore: fix outdated comment
Configuration menu - View commit details
-
Copy full SHA for 8a69af4 - Browse repository at this point
Copy the full SHA 8a69af4View commit details -
test: fleshed out eigenpod test flows
* also reduced number of validators being generated by tests (for speed) * test: flesh out additional pod flows * chore: make bindings * test: add checks for several integration tests
Configuration menu - View commit details
-
Copy full SHA for d2d4ea8 - Browse repository at this point
Copy the full SHA d2d4ea8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 20189e4 - Browse repository at this point
Copy the full SHA 20189e4View commit details -
docs: add initial EigenPod docs
* docs: clean and update EigenPodManager docs * chore: small wip to eigenpod docs and contract comment cleanup
Configuration menu - View commit details
-
Copy full SHA for 87760bf - Browse repository at this point
Copy the full SHA 87760bfView commit details -
chore: fix gas metering test to be consistent
* also minor clarity tweak in verifyCheckpointProofs
Configuration menu - View commit details
-
Copy full SHA for f0e2b9c - Browse repository at this point
Copy the full SHA f0e2b9cView commit details -
test: eigenpod unit tests with checkpointing (#591)
* test: testings init * test: eigenpod unit tests refactor * test: startCheckpoint unit tests * test: pod unit tests * fix: rebase changes * chore: make bindings * chore: revert pod changes * test: add several tests and checks --------- Co-authored-by: wadealexc <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 571cb3d - Browse repository at this point
Copy the full SHA 571cb3dView commit details -
chore: cleanup dwr and unused code (#593)
* chore: cleanup dwr and unused code * chore: comment out pod specs
Configuration menu - View commit details
-
Copy full SHA for 35be765 - Browse repository at this point
Copy the full SHA 35be765View commit details -
feat: remove staleness timing window
* chore: update IEigenPod interface with updated comments
Configuration menu - View commit details
-
Copy full SHA for b8be488 - Browse repository at this point
Copy the full SHA b8be488View commit details -
Configuration menu - View commit details
-
Copy full SHA for cb9d774 - Browse repository at this point
Copy the full SHA cb9d774View commit details
Commits on Jun 24, 2024
-
test: finish verify start complete flow for pepe integration tests
* chore: fix bindings
Configuration menu - View commit details
-
Copy full SHA for b333d9b - Browse repository at this point
Copy the full SHA b333d9bView commit details -
Configuration menu - View commit details
-
Copy full SHA for eb6eef2 - Browse repository at this point
Copy the full SHA eb6eef2View commit details
Commits on Jun 25, 2024
-
build: partial withdrawal batching upgrade scripts (#598)
* build: preprod pod upgrade scripts * chore: cleanup unused files
Configuration menu - View commit details
-
Copy full SHA for a190a01 - Browse repository at this point
Copy the full SHA a190a01View commit details -
Configuration menu - View commit details
-
Copy full SHA for 64b0d0a - Browse repository at this point
Copy the full SHA 64b0d0aView commit details
Commits on Jun 26, 2024
-
docs: finish main eigenpod docs and improve commenting
* docs: finish main eigenpod docs
Configuration menu - View commit details
-
Copy full SHA for 4bfc599 - Browse repository at this point
Copy the full SHA 4bfc599View commit details -
Configuration menu - View commit details
-
Copy full SHA for 44115a7 - Browse repository at this point
Copy the full SHA 44115a7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 01be04b - Browse repository at this point
Copy the full SHA 01be04bView commit details -
Configuration menu - View commit details
-
Copy full SHA for a9502e4 - Browse repository at this point
Copy the full SHA a9502e4View commit details -
Configuration menu - View commit details
-
Copy full SHA for d148952 - Browse repository at this point
Copy the full SHA d148952View commit details
Commits on Jul 2, 2024
-
chore: upgrade preprod eigenpods (#611)
* chore: upgrade preprod eigenpods * chore: remove unneeded logs * chore: deploy and update deployment addresses
Configuration menu - View commit details
-
Copy full SHA for 0979b36 - Browse repository at this point
Copy the full SHA 0979b36View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1d117eb - Browse repository at this point
Copy the full SHA 1d117ebView commit details
Commits on Jul 8, 2024
-
docs: update user flow diagrams to mention supported tokens
* also increases resolution
Configuration menu - View commit details
-
Copy full SHA for 6321f16 - Browse repository at this point
Copy the full SHA 6321f16View commit details
Commits on Jul 10, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 333facd - Browse repository at this point
Copy the full SHA 333facdView commit details
Commits on Jul 15, 2024
-
Configuration menu - View commit details
-
Copy full SHA for bc82e9b - Browse repository at this point
Copy the full SHA bc82e9bView commit details -
Configuration menu - View commit details
-
Copy full SHA for d2a87e9 - Browse repository at this point
Copy the full SHA d2a87e9View commit details -
Configuration menu - View commit details
-
Copy full SHA for c84f30c - Browse repository at this point
Copy the full SHA c84f30cView commit details -
Configuration menu - View commit details
-
Copy full SHA for b540c27 - Browse repository at this point
Copy the full SHA b540c27View commit details -
Configuration menu - View commit details
-
Copy full SHA for 593b7f5 - Browse repository at this point
Copy the full SHA 593b7f5View commit details
Commits on Jul 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for dfdc0e3 - Browse repository at this point
Copy the full SHA dfdc0e3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9d1fba3 - Browse repository at this point
Copy the full SHA 9d1fba3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1b2121e - Browse repository at this point
Copy the full SHA 1b2121eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5b61569 - Browse repository at this point
Copy the full SHA 5b61569View commit details -
Merge remote-tracking branch 'upstream/feat/partial-withdrawal-batchi…
…ng' into otakar/specs
Configuration menu - View commit details
-
Copy full SHA for fd02d98 - Browse repository at this point
Copy the full SHA fd02d98View commit details -
Configuration menu - View commit details
-
Copy full SHA for c2261e6 - Browse repository at this point
Copy the full SHA c2261e6View commit details
Commits on Jul 26, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 77e5b5d - Browse repository at this point
Copy the full SHA 77e5b5dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 43826fe - Browse repository at this point
Copy the full SHA 43826feView commit details
Commits on Jul 29, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 5186fbc - Browse repository at this point
Copy the full SHA 5186fbcView commit details
Commits on Jul 31, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 09800e9 - Browse repository at this point
Copy the full SHA 09800e9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9bf5b47 - Browse repository at this point
Copy the full SHA 9bf5b47View commit details -
Configuration menu - View commit details
-
Copy full SHA for bf4fa77 - Browse repository at this point
Copy the full SHA bf4fa77View commit details
Commits on Aug 5, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 56cd40b - Browse repository at this point
Copy the full SHA 56cd40bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5da7c23 - Browse repository at this point
Copy the full SHA 5da7c23View commit details -
Configuration menu - View commit details
-
Copy full SHA for a5eb974 - Browse repository at this point
Copy the full SHA a5eb974View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6e83c06 - Browse repository at this point
Copy the full SHA 6e83c06View commit details
Commits on Aug 6, 2024
-
added mutations for BeaconChainProof contract
ofek mostovoy authored and ofek mostovoy committedAug 6, 2024 Configuration menu - View commit details
-
Copy full SHA for 55e1c7c - Browse repository at this point
Copy the full SHA 55e1c7cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 78c926d - Browse repository at this point
Copy the full SHA 78c926dView commit details
Commits on Aug 7, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 5c201ea - Browse repository at this point
Copy the full SHA 5c201eaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 37105be - Browse repository at this point
Copy the full SHA 37105beView commit details -
Configuration menu - View commit details
-
Copy full SHA for 75dc88d - Browse repository at this point
Copy the full SHA 75dc88dView commit details
Commits on Aug 8, 2024
-
Configuration menu - View commit details
-
Copy full SHA for c6aa28e - Browse repository at this point
Copy the full SHA c6aa28eView commit details
Commits on Aug 9, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d898f2b - Browse repository at this point
Copy the full SHA d898f2bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 563fcdb - Browse repository at this point
Copy the full SHA 563fcdbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3521fb0 - Browse repository at this point
Copy the full SHA 3521fb0View commit details
Commits on Aug 10, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 501c141 - Browse repository at this point
Copy the full SHA 501c141View commit details -
Configuration menu - View commit details
-
Copy full SHA for a041a61 - Browse repository at this point
Copy the full SHA a041a61View commit details -
Configuration menu - View commit details
-
Copy full SHA for 69ef55a - Browse repository at this point
Copy the full SHA 69ef55aView commit details -
Merge branch 'otakar/specs' of github.com:Certora/eigenlayer-contract…
…s into otakar/specs
Configuration menu - View commit details
-
Copy full SHA for 27304eb - Browse repository at this point
Copy the full SHA 27304ebView commit details
Commits on Aug 11, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d571def - Browse repository at this point
Copy the full SHA d571defView commit details -
Configuration menu - View commit details
-
Copy full SHA for 37fa88e - Browse repository at this point
Copy the full SHA 37fa88eView commit details
Commits on Aug 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for e4d644a - Browse repository at this point
Copy the full SHA e4d644aView commit details -
Configuration menu - View commit details
-
Copy full SHA for f8b4c6f - Browse repository at this point
Copy the full SHA f8b4c6fView commit details
Commits on Aug 14, 2024
-
Configuration menu - View commit details
-
Copy full SHA for a84161b - Browse repository at this point
Copy the full SHA a84161bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4bf01aa - Browse repository at this point
Copy the full SHA 4bf01aaView commit details
Commits on Aug 20, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d6e9dfa - Browse repository at this point
Copy the full SHA d6e9dfaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 663d1c0 - Browse repository at this point
Copy the full SHA 663d1c0View commit details -
Configuration menu - View commit details
-
Copy full SHA for da89231 - Browse repository at this point
Copy the full SHA da89231View commit details -
Configuration menu - View commit details
-
Copy full SHA for 70b18a2 - Browse repository at this point
Copy the full SHA 70b18a2View commit details -
Configuration menu - View commit details
-
Copy full SHA for e5b0b01 - Browse repository at this point
Copy the full SHA e5b0b01View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9255227 - Browse repository at this point
Copy the full SHA 9255227View commit details