e-cash; payment systems; payment transaction; double-spending; security; anonymity; off-line electronic cash; Discrete Logarithm Assumption; cut-and-choose methodology