A valid theoretical attack submitted to Allocunit's open challenges prompted Allocunit to revise and republish its witness encryption design