加密交易 - KLEE-DECL