refactored TxConfig: moved ZKProxy into the module implementations