Contract Verification Script

delvtech / hyperdrive

An automated market maker for fixed and variable yield with on-demand terms.

Apache License 2.0

26 stars 3 forks source link

Review Checklists

Please check each item before approving the pull request. While going through the checklist, it is recommended to leave comments on items that are referenced in the checklist to make sure that they are reviewed. If there are multiple reviewers, copy the checklists into sections titled ## [Reviewer Name]. If the PR doesn't touch Solidity and/or Rust, the corresponding checklist can be removed.

[[Reviewer Name]]

Solidity

[ ] Tokens

[ ] Do all approve calls use forceApprove?
[ ] Do all transfer calls use safeTransfer?
[ ] Do all transferFrom calls use msg.sender as the from address?
- [ ] If not, is the function access restricted to prevent unauthorized token spend?

[ ] Low-level calls (call, delegatecall, staticcall, transfer, send)

[ ] Is the returned success boolean checked to handle failed calls?
[ ] If using delegatecall, are there strict access controls on the addresses that can be called? It shouldn't be possible to delegatecall arbitrary addresses, so the list of possible targets should either be immutable or tightly controlled by an admin.

[ ] Reentrancy

[ ] Are functions that make external calls or transfer ether marked as nonReentrant?
- [ ] If not, is there documentation that explains why reentrancy is not a concern or how it's mitigated?

[ ] Gas Optimizations

[ ] Is the logic as simple as possible?
[ ] Are the storage values that are used repeatedly cached in stack or memory variables?
[ ] If loops are used, are there guards in place to avoid out-of-gas issues?

[ ] Visibility

[ ] Are all payable functions restricted to avoid stuck ether?

[ ] Math

[ ] Is all of the arithmetic checked or guarded by if-statements that will catch underflows?
[ ] If Safe functions are altered, are potential underflows and overflows caught so that a failure flag can be thrown?
[ ] Are all of the rounding directions clearly documented?

[ ] Testing

[ ] Are there new or updated unit or integration tests?
[ ] Do the tests cover the happy paths?
[ ] Do the tests cover the unhappy paths?
[ ] Are there an adequate number of fuzz tests to ensure that we are covering the full input space?

Rust

[ ] Testing

[ ] Are there new or updated unit or integration tests?
[ ] Do the tests cover the happy paths?
[ ] Do the tests cover the unhappy paths?
[ ] Are there an adequate number of fuzz tests to ensure that we are covering the full input space?
[ ] If matching Solidity behavior, are there differential fuzz tests that ensure that Rust matches Solidity?

Hyperdrive Gas Benchmark

Benchmark suite	Current: 59a3de59cc917e83a00bfddc5b7ce1fd1f78435e	Previous: bd5a941ef7b7c07fe68b3e7f8e4d082ad8e03da9	Deviation	Status
`addLiquidity: min`	`33893` gas	`33893` gas	`0%`	🟰
`addLiquidity: avg`	`144481` gas	`143746` gas	`0.5113%`	🚨
`addLiquidity: max`	`428319` gas	`428335` gas	`-0.0037%`	✅
`checkpoint: min`	`40220` gas	`40220` gas	`0%`	🟰
`checkpoint: avg`	`104060` gas	`104098` gas	`-0.0365%`	✅
`checkpoint: max`	`212154` gas	`212154` gas	`0%`	🟰
`closeLong: min`	`31517` gas	`31517` gas	`0%`	🟰
`closeLong: avg`	`138117` gas	`137990` gas	`0.0920%`	🚨
`closeLong: max`	`2640435` gas	`2640435` gas	`0%`	🟰
`closeShort: min`	`31394` gas	`31394` gas	`0%`	🟰
`closeShort: avg`	`132750` gas	`132798` gas	`-0.0361%`	✅
`closeShort: max`	`227553` gas	`227553` gas	`0%`	🟰
`initialize: min`	`31305` gas	`31305` gas	`0%`	🟰
`initialize: avg`	`253630` gas	`253632` gas	`-0.0008%`	✅
`initialize: max`	`322760` gas	`322760` gas	`0%`	🟰
`openLong: min`	`33437` gas	`33437` gas	`0%`	🟰
`openLong: avg`	`167390` gas	`167437` gas	`-0.0281%`	✅
`openLong: max`	`253162` gas	`253162` gas	`0%`	🟰
`openShort: min`	`33959` gas	`33959` gas	`0%`	🟰
`openShort: avg`	`170140` gas	`170211` gas	`-0.0417%`	✅
`openShort: max`	`385650` gas	`385650` gas	`0%`	🟰
`redeemWithdrawalShares: min`	`31227` gas	`31227` gas	`0%`	🟰
`redeemWithdrawalShares: avg`	`62089` gas	`62048` gas	`0.0661%`	🚨
`redeemWithdrawalShares: max`	`167572` gas	`167572` gas	`0%`	🟰
`removeLiquidity: min`	`31191` gas	`31191` gas	`0%`	🟰
`removeLiquidity: avg`	`223136` gas	`223552` gas	`-0.1861%`	✅
`removeLiquidity: max`	`398887` gas	`398887` gas	`0%`	🟰

This comment was automatically generated by workflow using github-action-benchmark.

delvtech / hyperdrive