為堆疊增加可驗證性