I may not understand your full scheme, but why wouldn’t a user “slash” itself in order not to pay for the full service it received?
Perhaps this model will work better without slashing? In that case the escrow cannot be slashed, but a user’s service requests can be rate-limited and any requests over the rate limit simply ignored. In that case, though, why not use the simpler model though of simply having an escrow contract that gets probabilistically settled?
We’ve previously considered applying RLN for a “service subscription” model, where users pay to be included in a membership that has access to a service. However, we’ve imagined the payment to be settled and distributed prior to membership inclusion, which of course leaves users open to service node exploitation.
Ah that’s a good point! Maybe slashing should only be a part of the total value deposited.
Double spend is always a problem, you have to deal with it somehow. You can’t “simply” probabilistically settle transactions. Either you find an economic way to make it not worth doing or you try to find another solution.
That’s why micropayments makes more sense, if the service provider stop providing then no more payments.