Horizen Labs Launches zkVerify - The Most Efficient Modular Blockchain for ZK Proof Verification (23 May)