Skip to content

Commit

Permalink
test add liquidity (keep-starknet-strange#95)
Browse files Browse the repository at this point in the history
* test add liquidity

* small improvements

---------

Co-authored-by: 0xChqrles <[email protected]>
  • Loading branch information
chachaleo and 0xChqrles authored Sep 26, 2024
1 parent b66caff commit 74c8e3b
Show file tree
Hide file tree
Showing 4 changed files with 188 additions and 17 deletions.
3 changes: 2 additions & 1 deletion contracts/.tool-versions
Original file line number Diff line number Diff line change
@@ -1 +1,2 @@
scarb 2.8.0
scarb 2.8.2
starknet-foundry 0.30.0
1 change: 1 addition & 0 deletions contracts/src/contracts/ramps/revolut/interface.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -54,6 +54,7 @@ pub trait ZKRampABI<TState> {
fn liquidity_share_request(self: @TState, offchain_id: OffchainId) -> Option<LiquidityShareRequest>;
fn add_liquidity(ref self: TState, amount: u256, offchain_id: OffchainId);
fn retrieve_liquidity(ref self: TState, liquidity_key: LiquidityKey);
fn initiate_liquidity_retrieval(ref self: TState, liquidity_key: LiquidityKey);
fn initiate_liquidity_withdrawal(
ref self: TState, liquidity_key: LiquidityKey, amount: u256, offchain_id: OffchainId
);
Expand Down
4 changes: 2 additions & 2 deletions contracts/src/contracts/ramps/revolut/revolut.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -83,7 +83,7 @@ pub mod RevolutRamp {

#[event]
#[derive(Drop, starknet::Event)]
enum Event {
pub enum Event {
#[flat]
OwnableEvent: OwnableComponent::Event,
#[flat]
Expand Down Expand Up @@ -203,7 +203,7 @@ pub mod RevolutRamp {
self.liquidity.write(liquidity_key, existing_amount + amount);

// unlocks liquidity
self.locked_liquidity.write(liquidity_key, true);
self.locked_liquidity.write(liquidity_key, false);

// use the escrow to lock the funds
self.escrow.lock(from: caller, :token, :amount);
Expand Down
197 changes: 183 additions & 14 deletions contracts/src/contracts/ramps/revolut/revolut_test.cairo
Original file line number Diff line number Diff line change
@@ -1,8 +1,13 @@
use core::num::traits::Bounded;
use core::starknet::{ContractAddress, get_caller_address};
use openzeppelin::presets::interfaces::ERC20UpgradeableABIDispatcher;
use openzeppelin::presets::interfaces::{ERC20UpgradeableABIDispatcher, ERC20UpgradeableABIDispatcherTrait};
use openzeppelin::utils::serde::SerializedAppend;
use snforge_std::{declare, DeclareResultTrait, ContractClassTrait};
use snforge_std::{
EventSpyAssertionsTrait, spy_events, declare, DeclareResultTrait, ContractClassTrait, start_cheat_caller_address,
stop_cheat_caller_address, test_address
};
use zkramp::contracts::ramps::revolut::interface::{ZKRampABIDispatcher, ZKRampABIDispatcherTrait, LiquidityKey};
use zkramp::contracts::ramps::revolut::revolut::RevolutRamp::{Event, LiquidityAdded};
use zkramp::tests::constants;
use zkramp::tests::utils;

Expand Down Expand Up @@ -35,31 +40,173 @@ fn setup() -> (ZKRampABIDispatcher, ERC20UpgradeableABIDispatcher) {
// add_liquidity
//

// #[test]
// #[should_panic(expected: 'Caller is not registered')]
#[test]
#[should_panic(expected: 'Caller is not registered')]
fn test_add_liquidity_with_unregistered_offchain_id() {
panic!("Not implemented yet");
let contract_address = test_address();
let (revolut_ramp, _) = setup();
let liquidity_owner = constants::OTHER();
let offchain_id = constants::REVOLUT_ID();
let amount = 42;

start_cheat_caller_address(contract_address, liquidity_owner);

// add liquidity with unregistered offchain id
revolut_ramp.add_liquidity(:amount, :offchain_id);
}

// #[test]
// #[should_panic(expected: 'Amount cannot be null')]
#[test]
#[should_panic(expected: 'Amount cannot be null')]
fn test_add_zero_liquidity() {
panic!("Not implemented yet");
let contract_address = test_address();
let (revolut_ramp, _) = setup();
let liquidity_owner = constants::OTHER();
let offchain_id = constants::REVOLUT_ID();
let amount = 0;

start_cheat_caller_address(contract_address, liquidity_owner);

// register offchain id
revolut_ramp.register(:offchain_id);

// add zero liquidity
revolut_ramp.add_liquidity(:amount, :offchain_id);
}

// #[test]
#[test]
fn test_add_liquidity() {
panic!("Not implemented yet");
let (revolut_ramp, erc20) = setup();
let mut spy = spy_events();
let liquidity_owner = constants::OTHER();
let offchain_id = constants::REVOLUT_ID();
let amount = 42;
let liquidity_key = LiquidityKey { owner: liquidity_owner, offchain_id };

// fund the account
fund_and_approve(token: erc20, recipient: liquidity_owner, spender: revolut_ramp.contract_address, :amount);

// register offchain ID
start_cheat_caller_address(revolut_ramp.contract_address, liquidity_owner);
revolut_ramp.register(:offchain_id);

// assert state before
assert_eq!(revolut_ramp.all_liquidity(:liquidity_key), 0);
assert_eq!(revolut_ramp.available_liquidity(:liquidity_key), 0);
assert_eq!(erc20.balance_of(liquidity_owner), amount);

// add liquidity
revolut_ramp.add_liquidity(amount, offchain_id);

// assert state after
assert_eq!(revolut_ramp.all_liquidity(:liquidity_key), amount);
assert_eq!(revolut_ramp.available_liquidity(:liquidity_key), amount);
assert_eq!(erc20.balance_of(liquidity_owner), 0);

// check on emitted events
spy
.assert_emitted(
@array![(revolut_ramp.contract_address, Event::LiquidityAdded(LiquidityAdded { liquidity_key, amount }))]
)
}

// #[test]
#[test]
fn test_add_liquidity_twice() {
panic!("Not implemented yet");
let (revolut_ramp, erc20) = setup();
let mut spy = spy_events();
let liquidity_owner = constants::OTHER();
let offchain_id = constants::REVOLUT_ID();
let amount1 = 42;
let amount2 = 75;
let liquidity_key = LiquidityKey { owner: liquidity_owner, offchain_id };

// fund the account
fund_and_approve(
token: erc20, recipient: liquidity_owner, spender: revolut_ramp.contract_address, amount: amount1 + amount2
);

// register offchain ID
start_cheat_caller_address(revolut_ramp.contract_address, liquidity_owner);
revolut_ramp.register(:offchain_id);

assert_eq!(revolut_ramp.all_liquidity(liquidity_key), 0);
assert_eq!(revolut_ramp.available_liquidity(liquidity_key), 0);
assert_eq!(erc20.balance_of(liquidity_owner), amount1 + amount2);

// add liquidity
revolut_ramp.add_liquidity(amount: amount1, :offchain_id);
revolut_ramp.add_liquidity(amount: amount2, :offchain_id);

assert_eq!(revolut_ramp.all_liquidity(liquidity_key), amount1 + amount2);
assert_eq!(revolut_ramp.available_liquidity(liquidity_key), amount1 + amount2);
assert_eq!(erc20.balance_of(liquidity_owner), 0);

// check on emitted events
spy
.assert_emitted(
@array![
(
revolut_ramp.contract_address,
Event::LiquidityAdded(LiquidityAdded { liquidity_key, amount: amount1 })
),
(
revolut_ramp.contract_address,
Event::LiquidityAdded(LiquidityAdded { liquidity_key, amount: amount2 })
)
]
)
}

// #[test]
#[test]
fn test_add_liquidity_to_locked_liquidity() {
panic!("Not implemented yet");
let (revolut_ramp, erc20) = setup();
let mut spy = spy_events();
let liquidity_owner = constants::OTHER();
let offchain_id = constants::REVOLUT_ID();
let amount1 = 42;
let amount2 = 75;
let liquidity_key = LiquidityKey { owner: liquidity_owner, offchain_id };

// fund the account
fund_and_approve(
token: erc20, recipient: liquidity_owner, spender: revolut_ramp.contract_address, amount: amount1 + amount2
);

// register offchain ID
start_cheat_caller_address(revolut_ramp.contract_address, liquidity_owner);
revolut_ramp.register(:offchain_id);

// add liquidity
revolut_ramp.add_liquidity(amount: amount1, :offchain_id);

// locks liquidity
revolut_ramp.initiate_liquidity_retrieval(:liquidity_key);

assert_eq!(revolut_ramp.all_liquidity(liquidity_key), amount1);
assert_eq!(revolut_ramp.available_liquidity(liquidity_key), 0);
assert_eq!(erc20.balance_of(liquidity_owner), amount2);

// add liquidity again
revolut_ramp.add_liquidity(amount: amount2, :offchain_id);

// assert state after
assert_eq!(revolut_ramp.all_liquidity(liquidity_key), amount1 + amount2);
assert_eq!(revolut_ramp.available_liquidity(liquidity_key), amount1 + amount2);
assert_eq!(erc20.balance_of(liquidity_owner), 0);

// check on emitted events
spy
.assert_emitted(
@array![
(
revolut_ramp.contract_address,
Event::LiquidityAdded(LiquidityAdded { liquidity_key, amount: amount1 })
),
(
revolut_ramp.contract_address,
Event::LiquidityAdded(LiquidityAdded { liquidity_key, amount: amount2 })
)
]
)
}

//
Expand Down Expand Up @@ -342,3 +489,25 @@ fn test_liquidity_share_request_valid() {
fn test_liquidity_share_request_withdrawn() {
panic!("Not implemented yet");
}

//
// Helpers
//

fn fund(token: ERC20UpgradeableABIDispatcher, recipient: ContractAddress, amount: u256) {
// fund from owner
start_cheat_caller_address(token.contract_address, constants::OWNER());
token.transfer(:recipient, :amount);
stop_cheat_caller_address(token.contract_address);
}

fn fund_and_approve(
token: ERC20UpgradeableABIDispatcher, recipient: ContractAddress, spender: ContractAddress, amount: u256
) {
fund(:token, :recipient, :amount);

// approve
start_cheat_caller_address(token.contract_address, recipient);
token.approve(:spender, amount: Bounded::MAX);
stop_cheat_caller_address(token.contract_address);
}

0 comments on commit 74c8e3b

Please sign in to comment.