abstracted_zk_implementation