Skip to content
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

test: payments spec #564

Open
wants to merge 12 commits into
base: dev
Choose a base branch
from
Open

test: payments spec #564

wants to merge 12 commits into from

Conversation

8sunyuan
Copy link
Collaborator

Created a certora spec for the PaymentCoordinator

seanmcgary and others added 12 commits May 7, 2024 15:45
* update readme

* add setup step to readme
* add token contracts

* write eigen strategy script

* deploy on holesky and update mainnet config

* chore: add token deploy script (#536)

* write eigen strategy script

* deploy on holesky and update mainnet config

* fix pragmas

* add to readme

* fix nit

* label strategy

* add header

* add eigen/beigen to readme

* docs: fix typo in README and gen bindings for token contracts

* chore: gen bindings

---------

Co-authored-by: wadealexc <[email protected]>
* feat: payments w tests and deploy script (#512)

* feat: payments w tests and deploy script

* chore: remove activatedAt and add require

checks payForRange startTimestamp
is multiple of calculationIntervalSeconds

* chore: uint32 for timestamps

* fix: storage off by one

* chore: additional natspec (#519)

* feat: payments w tests and deploy script (#512)

* feat: payments w tests and deploy script

* chore: remove activatedAt and add require

checks payForRange startTimestamp
is multiple of calculationIntervalSeconds

* chore: uint32 for timestamps

* fix: storage off by one

* chore: additional natspec

* chore: requested changes and fixes

* chore: pragmas

* refactor: reuse state read and clean up logic

* fix: relative paths

* chore: update event and tests

* fix: comments and add tests

* test: paused submitRoot flag

* chore: contract organization and added view fn

* chore: require comment

* chore: natspec

* feat: token receiver addresses

* chore: natspec with tokenReceivers

* fix: integration tests

* fix: integration tests

* chore: constants and immutables

* test: additional unit test for max index

* chore: deployed new test contract

* chore: update deployment address

* chore: add single recipient addr

* chore: upgrade payment impl

* chore: upgrade payment impl

* feat: ipfs hashes in distributionRoot

* fix: use CID instead of hash

* chore: remove ipfs

* docs: missing natspec param

* feat: update script to deploy/upgrade

* chore: make calc interval secs to immutable

* fix: add required interfaces

* docs: paymentCoordinator docs (#527)

* docs: paymentCoord docs

* docs: clean up payment docs

* docs: tree structure png
* fix comment

* docs: update single recipient addr

* docs: tweak payment docs for clarity and brevity

---------

Co-authored-by: wadealexc <[email protected]>

* refactor: small refactor for readability to surface token transfer and isolate input validation (#530)

* fix payment deploy

* fix: allow verifyInclusion for 0 len proof

also make cumulativeEarnings check strictly gt

* fix: preprod deploy

* fix: merkle diagram and docs

* feat: add payments off-chain assumptions (#533)

* feat: add offchain assumptions to docs; Add offchain variables & token requirement

* docs: simplify off-chain calculcation description

* fix: doc ref

* fix: heading typo

* refactor: make offchain constants internal

* docs: fix typos

* test: single token/earner leaves (#537)

---------

Co-authored-by: wadealexc <[email protected]>
Co-authored-by: Alex <[email protected]>
Co-authored-by: gpsanant <[email protected]>
Co-authored-by: Yash Patil <[email protected]>
use backticks

Fix for weird git error

Go away git
* docs: add merkle distributor to deployment list

* fix: remove proxy reference for distributor
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants