Horizen’s Latest Upgrade Fixes zk-SNARKS Vulnerability