feat: implement latest requirements - BigBank inherits Bank with min deposit limit and Admin contract with adminWithdraw functionality

- Add BigBank contract inheriting from Bank with 0.001 ether minimum deposit requirement
- Add Admin contract with own owner and adminWithdraw(IBank bank) method
- Admin contract calls IBank interface withdraw method to transfer funds
- BigBank supports ownership transfer to Admin contract
- Add comprehensive workflow tests in NewWorkflow.t.sol
- Update Bank contract with virtual functions for inheritance
- Add deployment script for latest requirements (DeployLatestRequirements.s.sol)
- Update README with complete project structure and workflow documentation
- Fix fuzz test for ownership transfer edge cases
- Enable via_ir compiler option in foundry.toml for complex inheritance
- Add Makefile commands for workflow testing

Architecture:
IBank (interface) -> Bank (implements IBank) -> BigBank (inherits Bank + min deposit) -> Admin (manages BigBank)

All tests passing: 41/41 ✅

Author: davidweb3-ctrl

Makefile

@@ -30,6 +30,9 @@ test-unit: ## Run unit tests only
 test-fuzz: ## Run fuzz tests only
 	forge test --match-contract BankFuzzTest
 
+test-workflow: ## Run complete workflow test
+	forge test --match-contract CompleteWorkflowTest -vv
+
 test-coverage: ## Run tests with coverage report
 	forge coverage
 
@@ -48,6 +51,10 @@ deploy-sepolia: ## Deploy to Sepolia testnet
 	@echo "Deploying to Sepolia..."
 	forge script script/Deploy.s.sol --rpc-url $(SEPOLIA_RPC_URL) --broadcast --verify
 
+deploy-complete: ## Deploy complete workflow (BigBank + Admin)
+	@echo "Deploying complete workflow..."
+	forge script script/DeployCompleteWorkflow.s.sol --rpc-url http://localhost:8545 --broadcast --private-key $(PRIVATE_KEY)
+
 # Interactions
 deposit: ## Make a deposit (requires BANK_CONTRACT_ADDRESS and DEPOSIT_AMOUNT env vars)
 	forge script script/interactions/Deposit.s.sol --rpc-url $(RPC_URL) --broadcast

README.md

@@ -4,12 +4,26 @@
 
 ## 功能特性
 
+### Bank合约 (基础版)
 - ✅ **存款功能**: 用户可以通过Metamask等钱包直接向合约地址发送ETH进行存款
 - ✅ **余额记录**: 合约记录每个地址的累计存款金额
 - ✅ **管理员提取**: 仅合约所有者可以提取合约中的资金
 - ✅ **排行榜**: 实时维护存款金额前3名的用户列表
 - ✅ **安全保护**: 包含重入攻击防护和访问控制
 
+### BigBank合约 (增强版)
+- ✅ **最小存款限制**: 仅支持 ≥0.001 ether 的存款，使用modifier权限控制
+- ✅ **继承Bank功能**: 完全兼容Bank合约的所有功能
+- ✅ **Admin合约管理**: 支持Admin合约调用withdraw()方法
+- ✅ **双重管理权限**: 合约owner和Admin合约都可以提取资金
+
+### Admin合约 (管理系统)
+- ✅ **独立所有权**: Admin合约有自己的Owner
+- ✅ **BigBank管理**: 可以接收BigBank合约的管理权并操作
+- ✅ **adminWithdraw功能**: 实现adminWithdraw(IBank bank)方法
+- ✅ **IBank接口调用**: 通过IBank接口调用withdraw方法
+- ✅ **资金转移**: 将Bank合约资金转移到Admin合约地址
+
 ## 技术栈
 
 - **Solidity**: ^0.8.19
@@ -22,20 +36,26 @@
 ```
 bank-foundry/
 ├── src/
-│   ├── Bank.sol              # 主合约
+│   ├── Bank.sol              # 基础Bank合约(实现IBank接口)
+│   ├── BigBank.sol           # 增强版BigBank合约(继承Bank + 最小存款限制)
+│   ├── Admin.sol             # Admin管理合约(adminWithdraw功能)
 │   └── interfaces/
-│       └── IBank.sol         # 合约接口
+│       └── IBank.sol         # Bank合约接口定义
 ├── test/
-│   ├── Bank.t.sol            # 单元测试
-│   ├── BankFuzz.t.sol        # 模糊测试
+│   ├── Bank.t.sol            # Bank合约单元测试
+│   ├── BankFuzz.t.sol        # Bank合约模糊测试
+│   ├── NewWorkflow.t.sol     # 完整工作流程测试
 │   └── utils/
 │       └── TestHelper.sol    # 测试辅助工具
 ├── script/
-│   ├── Deploy.s.sol          # 部署脚本
+│   ├── Deploy.s.sol          # Bank合约部署脚本
+│   ├── DeployLatestRequirements.s.sol  # 最新需求部署脚本
 │   └── interactions/
 │       ├── Deposit.s.sol     # 存款交互脚本
 │       └── Withdraw.s.sol    # 提取交互脚本
 ├── foundry.toml              # Foundry配置
+├── Makefile                  # 构建和部署工具
+├── GITHUB_SETUP.md           # GitHub集成指南
 └── README.md                 # 项目文档
 ```
 
@@ -74,11 +94,20 @@ forge test --match-contract BankTest
 # 运行模糊测试
 forge test --match-contract BankFuzzTest
 
+# 运行完整工作流程测试
+forge test --match-contract NewWorkflowTest -vv
+
 # 查看测试覆盖率
 forge coverage
 
 # 查看Gas报告
 forge test --gas-report
+
+# 使用Makefile命令 (推荐)
+make test              # 运行所有测试
+make test-workflow     # 运行工作流程测试
+make build             # 编译合约
+make deploy-local      # 本地部署
 ```
 
 ### 4. 本地部署测试
@@ -87,8 +116,11 @@ forge test --gas-report
 # 启动本地测试网络
 anvil
 
-# 在新终端中部署合约
+# 在新终端中部署Bank合约
 forge script script/Deploy.s.sol --rpc-url http://localhost:8545 --broadcast --private-key 0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80
+
+# 或部署最新需求的完整合约组合(BigBank + Admin)  
+forge script script/DeployLatestRequirements.s.sol --rpc-url http://localhost:8545 --broadcast --private-key 0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80
 ```
 
 ### 5. 环境配置
@@ -125,6 +157,55 @@ forge script script/Deploy.s.sol --rpc-url $SEPOLIA_RPC_URL --broadcast --verify
 forge verify-contract <CONTRACT_ADDRESS> src/Bank.sol:Bank --etherscan-api-key $ETHERSCAN_API_KEY --chain sepolia
 ```
 
+## 最新需求工作流程
+
+### 完整的BigBank + Admin工作流程
+
+按照最新需求，项目实现了以下架构：
+
+1. **Bank合约** - 实现IBank接口的基础合约
+2. **BigBank合约** - 继承Bank，添加≥0.001 ether最小存款限制
+3. **Admin合约** - 有自己的Owner，实现adminWithdraw(IBank bank)功能
+
+#### 工作流程步骤：
+
+```bash
+# 1. 部署所有合约
+forge script script/DeployLatestRequirements.s.sol --rpc-url http://localhost:8545 --broadcast
+
+# 2. BigBank合约管理权自动转移给Admin合约(部署脚本中完成)
+
+# 3. 用户向BigBank存款(必须≥0.001 ether)
+# 可以通过直接转账或调用deposit()函数
+
+# 4. Admin合约Owner调用adminWithdraw()提取BigBank资金
+# Admin合约通过IBank接口调用BigBank的withdraw()方法
+# 资金被转移到Admin合约地址
+
+# 5. Admin Owner可以进一步将资金提取到个人地址
+```
+
+#### 架构关系图：
+
+```
+IBank (interface)
+    ↑
+Bank (implements IBank)  
+    ↑
+BigBank (inherits Bank + MIN_DEPOSIT = 0.001 ether)
+    ↓ (transferOwnership)
+Admin (owner + adminWithdraw(IBank bank))
+```
+
+#### 核心特性验证：
+
+- ✅ Bank实现IBank接口
+- ✅ BigBank继承Bank并添加最小存款限制
+- ✅ BigBank支持管理权转移
+- ✅ Admin有独立的Owner
+- ✅ Admin通过IBank接口调用withdraw方法
+- ✅ 完整的工作流程测试通过
+
 ## 合约交互
 
 ### 存款操作
@@ -150,30 +231,60 @@ forge script script/interactions/Withdraw.s.sol --rpc-url $SEPOLIA_RPC_URL --bro
 
 ## 合约API
 
-### 主要函数
+### Bank合约 (IBank接口)
 
 - `deposit()`: 存款函数
 - `withdraw(uint256 amount)`: 管理员提取函数  
 - `getBalance(address user)`: 查询用户余额
 - `getTopDepositors()`: 获取前3名存款用户
 - `getTotalDeposits()`: 获取总存款额
 - `getContractBalance()`: 获取合约余额
+- `transferOwnership(address newOwner)`: 转移所有权
+
+### BigBank合约 (继承Bank)
+
+- `MIN_DEPOSIT`: 最小存款常量(0.001 ether)
+- `deposit()`: 存款函数(增强版，带最小金额限制)
+- `getMinDeposit()`: 获取最小存款要求
+- `meetsMinDeposit(uint256 amount)`: 检查金额是否满足最小存款要求
+- `transferOwnership(address newOwner)`: 转移所有权(可转给Admin合约)
+
+### Admin合约
+
+- `adminWithdraw(IBank bank)`: 从指定Bank合约提取所有资金
+- `adminWithdrawAmount(IBank bank, uint256 amount)`: 从Bank合约提取指定金额
+- `withdrawToOwner(uint256 amount)`: 将Admin合约资金提取给Owner
+- `withdrawAllToOwner()`: 提取Admin合约所有资金给Owner
+- `transferOwnership(address newOwner)`: 转移Admin合约所有权
+- `getAdminInfo()`: 获取Admin合约信息
+- `getBankInfo(IBank bank)`: 获取指定Bank合约信息
 
 ### 事件
 
 - `Deposit(address indexed user, uint256 amount, uint256 newBalance)`
 - `Withdraw(address indexed admin, uint256 amount)`
 - `TopDepositorsUpdated(address[3] topUsers, uint256[3] topAmounts)`
+- `OwnershipTransferred(address indexed previousOwner, address indexed newOwner)`
+- `AdminWithdrawal(address indexed bankContract, uint256 amount, address indexed owner)`
+- `FundsReceived(address indexed from, uint256 amount)`
 
 ## 安全特性
 
-1. **访问控制**: 只有合约所有者可以提取资金
-2. **重入保护**: 防止重入攻击
-3. **输入验证**: 验证存款和提取金额
+1. **访问控制**: 
+   - Bank/BigBank: 只有合约所有者可以提取资金
+   - Admin: 只有Admin Owner可以操作
+2. **重入保护**: 所有资金操作都使用nonReentrant修饰符
+3. **输入验证**: 
+   - 验证存款和提取金额
+   - BigBank强制最小存款限制
+   - 地址零值检查
 4. **溢出保护**: Solidity 0.8+内置溢出保护
+5. **接口隔离**: Admin通过IBank接口操作，降低耦合
+6. **权限分离**: BigBank管理权可转移给Admin合约
 
 ## 测试覆盖
 
+### Bank合约测试
 - ✅ 基本存款和提取功能
 - ✅ 排行榜更新逻辑
 - ✅ 权限控制测试
@@ -182,6 +293,25 @@ forge script script/interactions/Withdraw.s.sol --rpc-url $SEPOLIA_RPC_URL --bro
 - ✅ Gas优化测试
 - ✅ 安全性测试
 
+### BigBank合约测试
+- ✅ 继承Bank功能验证
+- ✅ 最小存款限制测试
+- ✅ modifier权限控制测试
+- ✅ 管理权转移测试
+
+### Admin合约测试
+- ✅ adminWithdraw功能测试
+- ✅ IBank接口调用测试
+- ✅ 权限控制测试
+- ✅ 资金转移测试
+
+### 完整工作流程测试
+- ✅ Bank实现IBank接口验证
+- ✅ BigBank继承Bank验证
+- ✅ 端到端工作流程测试
+- ✅ 错误场景测试
+- ✅ 架构关系验证
+
 ## Gas优化
 
 合约已经过Gas优化：
@@ -193,17 +323,37 @@ forge script script/interactions/Withdraw.s.sol --rpc-url $SEPOLIA_RPC_URL --bro
 
 ### 添加新功能
 
+#### 扩展Bank功能
 1. 在 `src/Bank.sol` 中实现新功能
-2. 在 `src/interfaces/IBank.sol` 中添加接口
+2. 在 `src/interfaces/IBank.sol` 中添加接口(如需要)
 3. 在 `test/Bank.t.sol` 中添加测试
-4. 运行测试确保功能正常
+4. 如果BigBank需要继承新功能，更新 `src/BigBank.sol`
+
+#### 扩展BigBank功能
+1. 在 `src/BigBank.sol` 中实现BigBank特有功能
+2. 在 `test/NewWorkflow.t.sol` 中添加相关测试
+3. 确保最小存款限制得到正确应用
+
+#### 扩展Admin功能
+1. 在 `src/Admin.sol` 中实现新的管理功能
+2. 确保通过IBank接口进行Bank合约操作
+3. 在 `test/NewWorkflow.t.sol` 中添加相关测试
+
+### 测试策略
+
+1. **单元测试**: 测试单个合约的功能
+2. **集成测试**: 测试合约间的交互
+3. **工作流程测试**: 测试完整的业务流程
+4. **模糊测试**: 测试边界条件和异常情况
 
 ### 提交流程
 
 1. 运行所有测试: `forge test`
-2. 检查代码覆盖率: `forge coverage`
-3. 检查Gas使用: `forge test --gas-report`
-4. 提交代码
+2. 运行工作流程测试: `forge test --match-contract NewWorkflowTest -vv`
+3. 检查代码覆盖率: `forge coverage`
+4. 检查Gas使用: `forge test --gas-report`
+5. 确保编译无警告: `forge build`
+6. 提交代码
 
 ## 许可证
 
@@ -219,4 +369,21 @@ MIT License
 - 这是一个演示项目，不建议在主网上使用真实资金
 - 部署前请进行充分的安全审计
 - 私钥管理请遵循最佳实践
-- 测试网部署建议使用测试ETH
+- 测试网部署建议使用测试ETH
+
+### 最新需求相关注意事项
+
+1. **BigBank最小存款限制**: 所有存款必须≥0.001 ether，否则交易会失败
+2. **管理权转移**: BigBank部署后应将管理权转移给Admin合约
+3. **Admin操作**: Admin合约通过IBank接口操作，确保了合约间的松耦合
+4. **测试环境**: 建议使用NewWorkflow测试验证完整工作流程
+5. **合约升级**: 如需修改需求，建议重新部署而非尝试升级合约
+
+### 部署顺序
+
+推荐的部署顺序：
+1. 部署Bank合约(可选，用于对比)
+2. 部署BigBank合约  
+3. 部署Admin合约
+4. 将BigBank管理权转移给Admin合约
+5. 测试完整工作流程

foundry.toml

@@ -6,6 +6,7 @@ solc = "0.8.19"
 optimizer = true
 optimizer_runs = 200
 gas_reports = ["*"]
+via_ir = true
 
 [profile.ci]
 fuzz = { runs = 10000 }

script/DeployLatestRequirements.s.sol

@@ -0,0 +1,46 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.19;
+
+import "forge-std/Script.sol";
+import "../src/Bank.sol";
+import "../src/BigBank.sol";
+import "../src/Admin.sol";
+import "../src/interfaces/IBank.sol";
+
+/// @title Deploy Latest Requirements Script
+/// @notice Deploys contracts according to latest requirements
+contract DeployLatestRequirementsScript is Script {
+    function run() external {
+        // Get deployment parameters
+        uint256 deployerPrivateKey = vm.envUint("PRIVATE_KEY");
+        address deployer = vm.addr(deployerPrivateKey);
+        
+        // Get admin owner address (can be same as deployer for demo)
+        address adminOwner;
+        try vm.envAddress("ADMIN_OWNER_ADDRESS") returns (address addr) {
+            adminOwner = addr;
+        } catch {
+            adminOwner = deployer;
+        }
+        
+        vm.startBroadcast(deployerPrivateKey);
+        
+        // Step 1: Deploy contracts
+        Bank bank = new Bank();
+        BigBank bigBank = new BigBank();
+        Admin admin = new Admin(adminOwner);
+        
+        // Step 2: Transfer BigBank ownership to Admin contract
+        bigBank.transferOwnership(address(admin));
+        
+        vm.stopBroadcast();
+        
+        // Verify deployments
+        require(bank.owner() == deployer, "Bank owner incorrect");
+        require(bigBank.owner() == address(admin), "BigBank owner incorrect");
+        require(admin.owner() == adminOwner, "Admin owner incorrect");
+        
+        // Log deployment information
+        // Removed console.log to avoid compilation issues
+    }
+}