logos-co
/
staking
mirror of https://github.com/logos-co/staking.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 28341fa99d
         Merge 5e6e3dc804 into 769f32f718 Ricardo Guilherme Schmidt 2024-09-30 16:15:30 -0300
  • 5e6e3dc804
         refactor(StakeManager): remove unused startTime field in Epoch struct and optimize epoch finalization and execution improve-executeEpoch Ricardo Guilherme Schmidt 2024-09-29 19:06:59 -0300
  • ac4945cb5c
         refactor(StakeManager): change finalizeEpoch to write epoch all at once analyze-prover-behavior Ricardo Guilherme Schmidt 2024-09-30 15:01:32 -0300
  • b9a83c9d61
         Refactor(StakeManager) remove unused Account struct split-account-header-body Ricardo Guilherme Schmidt 2024-09-29 17:49:07 -0300
  • 87ba390162
         refactor(StakeManager): optimize account storage by splitting commonly changing values of rarely changing values Ricardo Guilherme Schmidt 2024-09-29 17:46:32 -0300
  • 93ab5643e7
         Merge e2646f8e1b into 769f32f718 Ricardo Guilherme Schmidt 2024-09-28 23:26:06 -0300
  • e2646f8e1b
         chore(StakeManager.spec): fix wrong Sload requirement remove-mintBonusMP-function Ricardo Guilherme Schmidt 2024-09-28 23:24:45 -0300
  • 34fe48d919
         WIP abstract-mp-math Ricardo Guilherme Schmidt 2024-09-28 20:01:34 -0300
  • ba6902643c
         WIP Ricardo Guilherme Schmidt 2024-09-28 20:01:04 -0300
  • fefc4dc4f0
         chore(StakeManager.spec): fix spec to don't load totalMP greater than current sumOfMultipliers Ricardo Guilherme Schmidt 2024-09-28 17:51:51 -0300
  • 16d31199e2
         Merge 795e76279a into 769f32f718 Ricardo Guilherme Schmidt 2024-09-28 15:23:24 -0300
  • 795e76279a
         refactor(StakeManager): Abstact out codehash verification to better code reusability abstract-codehash-access Ricardo Guilherme Schmidt 2024-09-28 15:21:43 -0300
  • 9a7101e037
         wip Ricardo Guilherme Schmidt 2024-09-28 15:13:25 -0300
  • 509383ccd8
         refactor(StakeManager): Abstact out codehash verification to better code reusability Ricardo Guilherme Schmidt 2024-09-28 11:02:31 -0300
  • 41b43621f7
         fix(certora): exclude `stake()` from rule that checks account balance change r4bbit 2024-09-27 15:16:57 +0200
  • 978b4dcf30
         refactor(StakeManager): optimize stake and lock functionality by removing mintBonusMP function Ricardo Guilherme Schmidt 2024-09-26 16:07:06 -0300
  • 769f32f718 refactor(StakeManager): replace epoch.startTime with a global startTime develop Ricardo Guilherme Schmidt 2024-09-25 12:55:53 -0300
  • 4a261e8b48 refactor(StakeManager): optimize epoch finalization and execution of accounts and epochs Ricardo Guilherme Schmidt 2024-09-25 12:53:59 -0300
  • 142137dee7 fix(StakeManager): fix finalizeEpoch to use last epoch epochEnd and add tests to catch error Ricardo Guilherme Schmidt 2024-09-25 12:45:59 -0300
  • 3dd28749bf
         refactor(StakeManager): replace epoch.startTime with a global startTime fix-epochStartTime Ricardo Guilherme Schmidt 2024-09-25 12:55:53 -0300
  • b10cec2f7b
         refactor(StakeManager): optimize epoch finalization and execution of accounts and epochs Ricardo Guilherme Schmidt 2024-09-25 12:53:59 -0300
  • 9a4e3f4607
         refactor(StakeManager): replace epoch.startTime with a global startTime improve-executeFunctions Ricardo Guilherme Schmidt 2024-09-25 12:55:53 -0300
  • 34eea3c892
         refactor(StakeManager): optimize epoch finalization and execution of accounts and epochs Ricardo Guilherme Schmidt 2024-09-25 12:53:59 -0300
  • 057aee1340
         fix(StakeManager): fix finalizeEpoch to use last epoch epochEnd and add tests to catch error Ricardo Guilherme Schmidt 2024-09-25 12:45:59 -0300
  • 4a545a0ed4 chore(test): fix fuzzing function to properly test whats suppoused to and make it deterministic in amount of calls Ricardo Guilherme Schmidt 2024-09-25 08:22:16 -0300
  • 28305cd550
         chore(test): fix fuzzing function to properly test whats suppoused to and make it deterministic in amount of calls make-reports-deterministic Ricardo Guilherme Schmidt 2024-09-25 08:22:16 -0300
  • 85b88fa757 chore: improve comments and documentation in README.md Ricardo Guilherme Schmidt 2024-09-25 06:43:46 -0300
  • 4e10291c37
         chore: improve comments and documentation in README.md add-details-README Ricardo Guilherme Schmidt 2024-09-25 06:43:46 -0300
  • 2a47e2aa75
         chore: improve details on README.md update-project Ricardo Guilherme Schmidt 2024-09-25 06:39:11 -0300
  • 097bd05665 chore: update pull request template and README.md Ricardo Guilherme Schmidt 2024-09-24 17:30:00 -0300
  • 653fe5a542 chore: update project description and author information, update README.md Ricardo Guilherme Schmidt 2024-09-24 12:00:35 -0300
  • 9c38c50820
         chore: update pull request template and README.md Ricardo Guilherme Schmidt 2024-09-24 17:30:00 -0300
  • ff223c5efa
         chore: update project description and author information, update README.md Ricardo Guilherme Schmidt 2024-09-24 12:00:35 -0300
  • 474e7cacf5 chore(foundry.toml): update fuzzing settings Ricardo Guilherme Schmidt 2024-09-23 02:10:01 -0300
  • e20e931728
         chore(foundry.toml): update fuzzing settings 3esmit/issue125 Ricardo Guilherme Schmidt 2024-09-23 02:10:01 -0300
  • 2a90b3e6ad chore(.gas-report, .gas-snapshot): update reports Ricardo Guilherme Schmidt 2024-09-19 10:35:45 -0300
  • dcc44813f4
         chore(.gas-report, .gas-snapshot): update reports update-gas-report Ricardo Guilherme Schmidt 2024-09-19 10:35:45 -0300
  • 40c5be49bc refactor(certora): introduce shared.spec to reuse helper functions r4bbit 2024-09-17 13:28:57 +0200
  • 33e2ff048b
         refactor(certora): introduce shared.spec to reuse helper functions refactor/specs r4bbit 2024-09-17 13:28:57 +0200
  • 3e5361f9be fix(StakeManager): change order of call of mintBonusMP to fix intended behavior. Ricardo Guilherme Schmidt 2024-09-12 02:35:02 -0300
  • 0c58dfe241 test(StakeManager): add test to catch bug in minting more bonus MPs when stake with lock Ricardo Guilherme Schmidt 2024-09-12 02:09:45 -0300
  • a271720ae6 fix(StakeManager): change order of call of mintBonusMP to fix intended behavior. 3esmit/issue111 Ricardo Guilherme Schmidt 2024-09-12 02:35:02 -0300
  • dcc4f7c1a0 test(StakeManager): add test to catch bug in minting more bonus MPs when stake with lock Ricardo Guilherme Schmidt 2024-09-12 02:09:45 -0300
  • 8683376160 feat(StakeManager): optimizations on processAccount Ricardo Guilherme Schmidt 2024-09-05 10:15:00 -0300
  • d8b48b7c5e
         feat(StakeManager): optimizations on processAccount optimize-process-account Ricardo Guilherme Schmidt 2024-09-05 10:15:00 -0300
  • b19182ad20 chore(StakeManager): remove unnecessary `finalizeEpoch` modifier from `migrateTo` Ricardo Guilherme Schmidt 2024-09-11 09:31:41 -0300
  • 6e494e4c43
         chore(StakeManager): remove unnecessary `finalizeEpoch` modifier from `migrateTo` 3esmit/issue109 Ricardo Guilherme Schmidt 2024-09-11 09:31:41 -0300
  • 58ca65120f chore(StakeManager: remove irrelevant code from `_mintBonusMP` function Fixes #108 Ricardo Guilherme Schmidt 2024-09-11 09:28:12 -0300
  • e8b4efe5cc
         chore(StakeManager: remove irrelevant code from `_mintBonusMP` function Fixes #108 3esmit/issue108 Ricardo Guilherme Schmidt 2024-09-11 09:28:12 -0300
  • b2a0d0cf25 fix(StakeManager): use while loop instead of hacky for loop in process account Ricardo Guilherme Schmidt 2024-09-11 09:05:18 -0300
  • 3123df83d9 feat(StakeManager): add test for executing account with limit Ricardo Guilherme Schmidt 2024-09-11 08:55:51 -0300
  • 0dd04a179e chore(package.json): fix gas-report command Ricardo Guilherme Schmidt 2024-09-11 09:05:45 -0300
  • 1f7880a573 fix(StakeManager): use while loop instead of hacky for loop in process account 3esmit/issue110 Ricardo Guilherme Schmidt 2024-09-11 09:05:18 -0300
  • dab591290c feat(StakeManager): add test for executing account with limit Ricardo Guilherme Schmidt 2024-09-11 08:55:51 -0300
  • c9895355ee chore(package.json): fix gas-report command Ricardo Guilherme Schmidt 2024-09-11 09:05:45 -0300
  • 6a102c9be9 refactor: Update VaultManager contract to include maximum MP minting and remove restake ability vault-manager Ricardo Guilherme Schmidt 2024-09-11 07:21:21 -0300
  • fd8e2c4de6 refactor: update balanceOf function to include maximum MP minting Ricardo Guilherme Schmidt 2024-09-11 07:20:09 -0300
  • fcb620743b refactor(StakeManager): Remove debug code and optimize epoch finalization fix-bonus-mp Ricardo Guilherme Schmidt 2024-09-11 06:35:33 -0300
  • d3b4e95ab3 DEBUG WIP: possible bug in solidity Ricardo Guilherme Schmidt 2024-09-11 04:44:05 -0300
  • b312c59177 chore: add adorno command to package.json Ricardo Guilherme Schmidt 2024-08-30 23:41:03 -0300
  • b8347599a7
         chore: add adorno command to package.json add-npm-adorno Ricardo Guilherme Schmidt 2024-08-30 23:41:03 -0300
  • 5dec595a20 feat(StakeManager): implement multiplier points estimation r4bbit 2024-09-04 09:54:45 +0200
  • 2465618007 chore: update pnpm lock r4bbit 2024-09-04 10:20:40 +0200
  • 530bec0b50
         feat(StakeManager): implement multiplier points estimation mp-estimate r4bbit 2024-09-04 09:54:45 +0200
  • dbe6f08431
         chore: update pnpm lock r4bbit 2024-09-04 10:20:40 +0200
  • 5b4a8fa4fb
         Merge 2b33c994fa into f90a3ce365 r4bbit 2024-09-02 12:08:37 -0300
  • f0fb5dfafd
         WIP mp-estimate-cleanup r4bbit 2024-09-02 12:27:25 +0200
  • 3fee281214 WIP: vault manager Ricardo Guilherme Schmidt 2024-09-01 04:18:46 -0300
  • 5d204fee27 refactor: remove restake ability from the same vault remove-old-behavior Ricardo Guilherme Schmidt 2024-08-31 00:15:06 -0300
  • 9e1192dc00 fix: revert line_lenght to 110 Ricardo Guilherme Schmidt 2024-08-28 16:36:32 -0300
  • 99370f1a23 fix: ran foundryup, reverted to 120 max chars and ran forge fmt Ricardo Guilherme Schmidt 2024-08-28 16:13:53 -0300
  • 5af8d35e97 fix: update foundry.toml line_lenght to 110 to fix conflict with prettier Ricardo Guilherme Schmidt 2024-08-27 13:34:54 -0300
  • 12f16e300c fix: line lenght (other way) Ricardo Guilherme Schmidt 2024-08-27 13:14:40 -0300
  • d2345d21c8 fix: line lenght size Ricardo Guilherme Schmidt 2024-08-27 13:12:34 -0300
  • 7bf91d45b2 fix: adorno and workaroud test Ricardo Guilherme Schmidt 2024-08-27 12:56:58 -0300
  • c84a6ad76f
         WIP r4bbit 2024-08-27 13:35:33 +0200
  • 24081580c9
         WIP: add estimatied MPs to migration system Ricardo Guilherme Schmidt 2024-08-15 00:35:10 -0300
  • ffeceef6d2
         fix: shift mps not minted in stake epoch to final epoch of account MP generation Ricardo Guilherme Schmidt 2024-08-09 15:57:49 -0300
  • f4f59ac7e3
         WIP: improve gas, fix halfway epoch stake estimation, reject too low stake amount, fix doubling totalSupply of epochs, add view to calculate MPs for externally any amount for any delta time Ricardo Guilherme Schmidt 2024-08-07 20:09:34 -0300
  • 3035ca28a3
         chore: update .gas-report Ricardo Guilherme Schmidt 2024-08-07 13:51:45 -0300
  • 6de3e81e07
         chore: remove old comments Ricardo Guilherme Schmidt 2024-08-07 11:59:31 -0300
  • 4de0b9a401
         chore: remove console.logs and old comments Ricardo Guilherme Schmidt 2024-08-07 11:58:23 -0300
  • adc3bbaba1
         fix: remove from estimation mps that would not be minted in currentEpoch when account starts staking in middle of epoch Ricardo Guilherme Schmidt 2024-08-05 16:36:32 -0300
  • fbe4e7aee5
         fix: mp estimation to exact correct values Ricardo Guilherme Schmidt 2024-08-01 12:51:03 -0300
  • 2aa92c962d
         WIP r4bbit 2024-07-30 14:54:44 +0200
  • 14d73c8123
         WIP: more mp estimation debugging r4bbit 2024-07-19 17:01:43 +0200
  • 780005d466
         WIP: fixing one-off error for MP estimation r4bbit 2024-07-19 14:23:22 +0200
  • 3ad524893c
         WIP: continue implementing mp estimation r4bbit 2024-07-18 14:28:59 +0200
  • 6391436bc6
         WIP: make tests compile again r4bbit 2024-07-17 16:20:40 +0200
  • ed9877945a
         WIP: make code compile again r4bbit 2024-07-17 16:20:02 +0200
  • bb364a970c
         WIP: custom revert when restaking r4bbit 2024-07-17 16:19:36 +0200
  • 5c82bfceeb
         WIP estimated MP Ricardo Guilherme Schmidt 2024-07-17 09:50:13 -0300
  • aaf7e7b988
         WIP r4bbit 2024-07-03 13:36:47 +0200
  • d7debd717d
         wip mp estimate Ricardo Guilherme Schmidt 2024-07-02 10:18:26 -0300
  • 5344ac69c1
         WIP mp estimate Ricardo Guilherme Schmidt 2024-07-02 09:37:38 -0300
  • f90a3ce365 chore(StakeManager): formatting as foundry changed its mind r4bbit 2024-08-27 14:08:33 +0200
  • b62ac5233e chore(CI): update certora-cli to 7.10.2 r4bbit 2024-08-27 13:39:12 +0200
  • db2118f6d5
         chore(StakeManager): formatting as foundry changed its mind r4bbit 2024-08-27 14:08:33 +0200
  • 27f8e65194
         chore(CI): update certora-cli to 7.10.2 r4bbit 2024-08-27 13:39:12 +0200
  • 6744ce19ec WIP: add estimatied MPs to migration system Ricardo Guilherme Schmidt 2024-08-15 00:35:10 -0300