Số hóa Bộ máy Nhà nước – Hiến pháp 2013
🏠 Home / task6.md

Để hiện thực hóa cấu trúc phân cấp từ Trung ương (Hành pháp) $\rightarrow$ Tỉnh $\rightarrow$ Huyện $\rightarrow$ Xã, chúng ta cần xây dựng một Smart Contract theo mô hình "Cây phân cấp hành chính" (Hierarchical Tree Structure).

Trong mô hình này, mỗi đơn vị hành chính cấp trên sẽ đóng vai trò "người quản trị" (administrator) cho các đơn vị hành chính cấp dưới. Điều này đảm bảo tính logic, thứ bậc và sự kiểm soát nghiêm ngặt theo Hiến pháp.

1. Kiến trúc logic phân cấp

Chúng ta sẽ thiết lập mối quan hệ kế thừa và quản lý như sau:

2. Thiết kế Smart Contract: LocalGovernmentContract.sol

Hợp đồng này được thiết kế để tích hợp với ExecutiveBranchContract đã định nghĩa trước đó, sử dụng địa chỉ của hợp đồng Hành pháp để xác thực thẩm quyền.

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

// Interface để tương tác với Khối Hành pháp (đã định nghĩa trước đó)
interface IExecutiveBranch {
    function ministries(address) external view returns (string memory, string memory, address, bool);
}

/**
 * @title LocalGovernmentContract
 * @dev Quản lý phân cấp chính quyền địa phương (Tỉnh -> Huyện -> Xã)
 */
contract LocalGovernmentContract {

    enum AdminLevel { Province, District, Commune }

    struct LocalEntity {
        string name;            // Tên đơn vị (VD: "UBND Hà Nội", "UBND Quận Hoàn Kiếm")
        AdminLevel level;       // Cấp hành chính
        address parentAddress;  // Địa chỉ cơ quan cấp trên quản lý (VD: Huyện quản lý bởi Tỉnh)
        address entityAddress;  // Địa chỉ ví xác thực của cơ quan
        bool isActive;          // Trạng thái
    }

    address public executiveContract; // Địa chỉ của hợp đồng Hành pháp (Root của hệ thống)
    mapping(address => LocalEntity) public entities;

    event EntityRegistered(address indexed entity, string name, AdminLevel level, address indexed parent);

    constructor(address _executiveContract) {
        executiveContract = _executiveContract;
    }

    modifier onlySuperior(address _parentAddress) {
        // Kiểm tra quyền: Hoặc là Chính phủ, hoặc là cơ quan cấp trên trực tiếp
        require(msg.sender == executiveContract || msg.sender == _parentAddress, "Khong co tham quyen quan ly");
        _;
    }

    /**
     * @dev Đăng ký cơ quan hành chính địa phương mới
     * @param _name Tên đơn vị
     * @param _level Cấp hành chính
     * @param _parentAddress Cơ quan cấp trên trực tiếp quản lý
     * @param _entityAddress Ví của cơ quan mới
     */
    function registerLocalEntity(
        string memory _name,
        AdminLevel _level,
        address _parentAddress,
        address _entityAddress
    ) public onlySuperior(_parentAddress) {
        
        // Logic kiểm tra tính hợp lệ của phân cấp
        if (_level == AdminLevel.District) {
            require(entities[_parentAddress].level == AdminLevel.Province, "Huyen phai truc thuoc Tinh");
        } else if (_level == AdminLevel.Commune) {
            require(entities[_parentAddress].level == AdminLevel.District, "Xa phai truc thuoc Huyen");
        }

        entities[_entityAddress] = LocalEntity({
            name: _name,
            level: _level,
            parentAddress: _parentAddress,
            entityAddress: _entityAddress,
            isActive: true
        });

        emit EntityRegistered(_entityAddress, _name, _level, _parentAddress);
    }

    /**
     * @dev Truy vấn chuỗi phân cấp hành chính (Audit Trail)
     * Giúp kiểm tra một cơ quan thuộc tỉnh/huyện nào
     */
    function getEntityChain(address _entityAddress) public view returns (address[] memory) {
        address[] memory chain = new address[](3); // Chuỗi tối đa 3 cấp
        LocalEntity memory current = entities[_entityAddress];
        
        chain[0] = _entityAddress;
        chain[1] = current.parentAddress;
        chain[2] = entities[current.parentAddress].parentAddress;
        
        return chain;
    }
}

3. Phân tích Logic "Phối hợp & Kiểm soát"

Trong thiết kế này, logic kiểm soát được thực thi thông qua mã nguồn:

  1. Thẩm quyền dọc (Vertical Authority): Hàm registerLocalEntity sử dụng modifier onlySuperior. Điều này ngăn chặn việc cấp dưới tự ý khai báo hoặc thay đổi cấu trúc mà không có sự phê duyệt/liên kết từ cấp trên (cấp trên là msg.sender thực hiện giao dịch).
  2. Tính toàn vẹn (Integrity): Quy tắc require trong hàm đăng ký ép buộc cấu trúc cây:
  1. Tích hợp vĩ mô: Thông qua executiveContract, hệ thống địa phương có thể kiểm tra xem một văn bản hành chính có hợp lệ hay không bằng cách truy vấn ngược lại ExecutiveBranchContract. Ví dụ: Khi UBND Tỉnh ban hành quyết định, nó có thể tự động kiểm tra tính hiệu lực của Nghị định/Thông tư từ Chính phủ/Bộ liên quan trước khi triển khai.

4. Gợi ý triển khai thực tế