Security Audit: Reentrancy checks

[meshackyaro]

Description

This issue aims to address the implementation of Security Audit: Reentrancy checks.

The core objective is to: Verify all state-changing functions occur before external token transfers.

By completing this feature, we will ensure that the TrustFlow protocol maintains its high standards for security, usability, and decentralized logic. This issue requires careful attention to the Smart Contracts architecture and adherence to the existing project conventions.

When picking up this issue, please ensure you document any new dependencies or architectural decisions made during development.

Component

Smart Contracts

Difficulty

🔴 Hard

Tasks

• Review Soroban architecture and soroban-cli usage
• Implement Rust logic for: Security Audit: Reentrancy checks
• Write comprehensive unit tests in Rust
• Ensure proper event emission for indexing
• Run cargo fmt and cargo clippy
• Verify soroban contract build successfully compiles to WASM without bloating size

Acceptance Criteria

• Feature accurately implements the objective: Verify all state-changing functions occur before external token transfers.
• Any PR that introduces TypeScript/Rust errors is automatically blocked
• CI pipeline runs in under 3 minutes per PR
• Code is properly reviewed and approved by codeowners

Estimated Time

1-3 days