Skip to content

Docs: vault external call ordering analysis (token interactions) #166

@greatest0fallt1me

Description

@greatest0fallt1me

Description

Write an analysis of ordering for storage updates vs token transfers for deposit/deduct/withdraw flows under Soroban execution semantics.

Requirements and context

  • Identify any reentrancy-like risks at the token interface boundary.
  • Code changes only if a concrete issue is found.

Suggested execution

  • Fork the repo and create a branch: git checkout -b docs/vault-external-calls
  • Implement changes in the Callora-Contracts Soroban workspace (contracts/*/src/).
  • Run cargo fmt, cargo clippy --all-targets --all-features -- -D warnings, and cargo test from the workspace root.
  • For WASM release builds: cargo build --target wasm32-unknown-unknown --release -p callora-vault (adjust -p if the crate name differs).

Deliverables

  • docs/vault-external-calls.md or a SECURITY.md section.

Test and commit

  • Run tests and ./scripts/coverage.sh (or cargo tarpaulin per tarpaulin.toml).
  • Cover edge cases; include summarized test output and brief security notes in the PR description.

Example commit message

docs(vault): external call ordering security analysis

Guidelines

  • Minimum 95% line coverage for touched crates (workspace policy).
  • Clear documentation (Rust /// on public items where applicable; repo markdown as needed).
  • Timeframe: 96 hours from assignment unless agreed otherwise.

Metadata

Metadata

Assignees

No one assigned

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions