List<int> toBytes() { return [ ...BigintUtils.variableNatEncode(slot), ...BigintUtils.variableNatEncode(txIndex), ...BigintUtils.variableNatEncode(certIndex), ]; }