Aliran yang dapat diverifikasi