Finish implementation of ZK Barrier