[Audit] Discrete Bondingcurve - #777

Open

FHieser wants to merge 150 commits into

devfrom

audit-discrete-bonding-curve

Commits on Jun 5, 2025

specs: v1
fabianschu
committed
95218a4
chore: refinement borrowing facility
fabianschu
committed
793a770
specs: lending facility
fabianschu
committed
b49117c
specs: main workflow context diagram
fabianschu
committed
ca9951c
feat: lib
fabianschu
committed
ef77a77
test: createSecgment, unpackSegment
fabianschu
committed
3141d09
info: instructions
fabianschu
committed
06a7dc2
chore: unit tests
fabianschu
committed
3cca943
docs: DiscreteCurveMathLib_v1
fabianschu
committed
b2377f9
chore: calc purchase return tests + stack error
fabianschu
committed
e5aab11
chore: more tests
fabianschu
committed
e7b3c20
refactor: default config in test
fabianschu
committed
9db830a
test: test_CalculatePurchaseReturn_Edge
fabianschu
committed
175ca02
test: test_CalculatePurchaseReturn_Start
fabianschu
committed
5392c21
chore: adds subfolder for notes & instructions
fabianschu
committed
df576a6
chore: reorganizes context information
fabianschu
committed
0813b4e
refactor: uses linear search instead of binary
fabianschu
committed
a841da1
chore: restrutures context files
fabianschu
committed
5f5e6de
docs: linear search
fabianschu
committed
45c45e2
feat: partial step purchases
fabianschu
committed
fc893a7
test: spanning segments with partial fill
fabianschu
committed
5787c23
refactor: pre-calc cumul supply
fabianschu
committed
951f3ff
fix: logic error in _findPositionForSupply
fabianschu
committed
34fb3bc
refactor: `getCurrentPriceAndStep`
fabianschu
committed
5e3e7d0
fix: inconsistent partial purchase logic
fabianschu
committed
fadd86b
chore: removes redundant validations
fabianschu
committed
e661953
fix: missing reverts
fabianschu
committed
368e6fb
chore: more input validation
fabianschu
committed
37a18ac
chore: move lib to formulas
fabianschu
committed
0ab2a67
chore: separates PackedSegmentLib into new file
fabianschu
committed
d4d5945
refactor: gas optimizations
fabianschu
committed
cd46d88
chore: more descriptive var naming
fabianschu
committed
b8977ca
fix: missing revert
fabianschu
committed
4da8f3f
chore: removes unused internal function
fabianschu
committed
fd87458
chore: incorporates review feedback
fabianschu
committed
30a687c
refactor: _calculatePartialPurchaseAmount
fabianschu
committed
3d09276
chore: removes redundant assert statements
fabianschu
committed
961b801
chore: overflow prtoection & tests
fabianschu
committed
f704ec2
refactor: simplification of _findPositionForSupply
fabianschu
committed
231e4ea
chore: overflow protection & specs update
fabianschu
committed
698b1e1
fix: inconsisten rounding direction
fabianschu
committed
8bf3502
chore: adds economic validations to packed segment lib
fabianschu
committed
90ce47f
docs: graph asii in tests
fabianschu
committed
dba8c64
docs: packing limitations
fabianschu
committed
4bc10a7
chore: fmt
fabianschu
committed
8d1befd
chore: cleanup structs
fabianschu
committed
78607ae
chore: underscores (coding standards)
fabianschu
committed
a043d86
chore: exposed function (coding standards)
fabianschu
committed
e16ff44
chore: memory bank
fabianschu
committed
4587224
chore: fuzzing I
fabianschu
committed
e4d2337
chore: fuzz II
fabianschu
committed
5f2e71c
chore: calc purchase return refactoring prep
fabianschu
committed
eca4f6c
tmp
fabianschu
committed
c703474
chore: tests green
fabianschu
committed
d159761
chore: removes redundant helpers
fabianschu
committed
6dd744a
docs: _calculatePurchaseReturn
fabianschu
committed
947bc8e
test: calculatePurchaseReturn (systematic case definition)
fabianschu
committed
eac6634
chore: fuzz property test for calc purchase return
fabianschu
committed
0cee885
chore: removes segment validations
fabianschu
committed
32d0aa4
test: calc sale return
fabianschu
committed
8d7b385
chore: increases test coverage
fabianschu
committed
b91b4f5
refactor: findPositionForSupply
fabianschu
committed
f25557a
chore: coverage
fabianschu
committed
895d111
fix: test_ValidateSegmentArray_FirstSegmentWithZeroSteps_Reverts
fabianschu
committed
f7d9cdb
check: full coverage on dbclib
fabianschu
committed
c5c0657
chore: test re-grouping with gherkin trees
fabianschu
committed
d84030a
chore: cleanup
fabianschu
committed
c241b24
chore: updates memory bank and docs
fabianschu
committed
b835da2
chore: removes warnings
fabianschu
committed
d3d41d1
chore: reverts toml change
fabianschu
committed
ffa3f8a

Commits on Jun 6, 2025

chore: rename FM_BC_DBC => FM_BC_Discrete
fabianschu
committed
17fc076
chore: boilerplate for funding manager
fabianschu
committed
119de70
chore: moves docs to docs folder
fabianschu
committed
0d6be68
feat: supportsInterface
fabianschu
committed
c7caea8
feat: token()
fabianschu
committed
45856a5
feat: internal setter & getter for segments
fabianschu
committed
01e3c7e
chore: missing event
fabianschu
committed
e89a173
chore: NatSpec on interface
fabianschu
committed
acdd117

Commits on Jun 7, 2025

specs: reconfigureSegments
fabianschu
committed
8088d8a
feat: transferOrchestratorToken
fabianschu
committed
8749be3

Commits on Jun 8, 2025

feat: setVirtualCollateralSupply
fabianschu
committed
b665e93
context: memory bank & impl plan
fabianschu
committed
33e97c8

Commits on Jun 9, 2025

feat: `reconfigureSegments` and `setVirtualIssuanceSupply`
fabianschu
committed
3f22534
chore: uses default segments config in test
fabianschu
committed
02232cb
feat: `getStaticPriceForBuying` and `getStaticPriceForSelling`
fabianschu
committed
07d6d47
test: buy and sell price for step transition point
fabianschu
committed
1eca012
feat: `_issueTokensFormulaWrapper`
fabianschu
committed
274d799
chore: test rename
fabianschu
committed
c899ddf
context: udpates next tasks
fabianschu
committed
a940146

Commits on Jun 10, 2025

feat: `_redeemTokensFormulaWrapper`
fabianschu
committed
6a0ece6

Commits on Jun 11, 2025

chore: setting tokens in the `_init`
fabianschu
committed
24c467a
fix: order of events
fabianschu
committed
b42dfcb
feat: `_handleCollateralTokensBeforeBuy`
fabianschu
committed
3dc1ac8
chore: gherkin tree diagrams
fabianschu
committed
7c3a5b6
feat: `_handleIssuanceTokensAfterBuy`
fabianschu
committed
fd62fd5
feat: `_handleCollateralTokensAfterSell`
fabianschu
committed
37b9b45
context: memory-bank & implementation plan
fabianschu
committed
a2a1cc5
context: implementation plan and mechanisms
fabianschu
committed
e46b717
context: mutating functions & fees
fabianschu
committed
1a91ea9
context: test setup
fabianschu
committed
9a2af3d

Commits on Jun 12, 2025

Commits on Jun 13, 2025

context: virtual `_getBuyFee` and `_getSellFee`
fabianschu
committed
c28ad93
chore: introduces internal virtual getters for project fees
fabianschu
committed
d0bf71e
chore: overrides project fee getters in fm
fabianschu
committed
aae15d9
contex: `projectBrief.md`
fabianschu
committed
636db10
refactor: removes virtual issuance
fabianschu
committed
396a4f8
refactor: BC base takes colToken from itself
fabianschu
committed
5dbb05d
feat: `buyFor`
fabianschu
committed
0b72d04
feat: `sellTo`
fabianschu
committed
0b58cc5
chore: removes redudant event emission
fabianschu
committed
a93de1f

Commits on Jun 16, 2025

docs: FM_BC_Discrete_Redeeming_VirtualSupply_v1
fabianschu
committed
ceafb5a
fix: setstoken on bonding curve bases
fabianschu
committed
805c61c

Commits on Jul 11, 2025

Update the fee cache via a separate function
FHieser
committed
a10eecf

Commits on Jul 17, 2025

Commits on Jul 18, 2025

Adapt rebalancing section to E2E
FHieser
committed
799b24e
Update DeployFullSetupAndDiscreteBondingCurveWorkflow.s.sol
FHieser
committed
70e1955

Commits on Sep 3, 2025

Fix: Remove leftover console log
marvinkruse
committed
bffd5b9

Commits on Sep 8, 2025

Fix: Simplify fee retrieval function
marvinkruse
committed
42571a6
Fix: Cache function selectors
marvinkruse
committed
dfbd5a8
Fix: Add validation for single step segments
marvinkruse
committed
9a7cf40
Chore: Remove usused error
marvinkruse
committed
539370a
Fix: Deduplicate code from calculate segment reserve function
marvinkruse
committed
120a213
Fix: Simplified calculatePurchaseReturn
marvinkruse
committed
ab7ef63
Fix: Simplify final price calculation
marvinkruse
committed
ef0e82f
Chore: Remove outdated comment about error definition
marvinkruse
committed
a493836
Fix: Resolve wrong price calculation for buys
marvinkruse
committed
d49721c

Commits on Sep 10, 2025

Commits on Sep 24, 2025

Fix: Revert faulty change
marvinkruse
committed
f210627

Commits on Sep 26, 2025

Test: Add expanded e2e test coverage
marvinkruse
committed
2450c9f
Test: Add missing tests for BC contract
marvinkruse
committed
2bd5157
Revert "Fix: Simplified calculatePurchaseReturn"
marvinkruse
committed
5763ef2
Fix: Remove unused variable
marvinkruse
committed
ef644ed
Fix: Simplify reminding budget calculation
marvinkruse
committed
54a4b26
Test: Fix assume rejection limit issues
marvinkruse
committed
add8f4d
Chore: Fix formatting
marvinkruse
committed
0702e57
Merge branch 'dev' into audit-discrete-bonding-curve
FHieser
authored
03a566a

Commits on Oct 15, 2025