Skip to content

Commit 3a78f74

Browse files
rodrigoioyzclaude
andcommitted
Fix burn formula direction in README
Burn computes synth_burned = ada_withdrawn * price (forward direction), not ada_returned = synth_burned / price (reverse). Matches actual code. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
1 parent 6dd13d2 commit 3a78f74

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -40,10 +40,10 @@ The protocol enforces:
4040

4141
### Burn (Synth USD → ADA)
4242

43-
1. User submits synth tokens to burn
43+
1. User specifies how much ADA to withdraw from the pool
4444
2. Validator reads live oracle price
45-
3. Computes ADA to return: `ada_returned = synth_burned / price`
46-
4. Checks remaining position health: `health = (remaining_ada × price) / remaining_debt ≥ liquidation_threshold`
45+
3. Computes synth to burn: `synth_burned = ada_withdrawn × raw_price / 10^abs_exp`
46+
4. Checks remaining position health: `health = (remaining_ada × raw_price / 10^abs_exp) / remaining_debt ≥ liquidation_threshold`
4747
5. Verifies the transaction is signed by the position owner
4848
6. ADA is released from the pool
4949

0 commit comments

Comments
 (0)