chúng tôi hiện có một công cụ phân tích kịch bản hoạt động cho các cầu bitvm