Succinct Base ZK proof