I cofounded a company doing also this [1] you can check the repositories [2].
Why though? The dispute resolution game is eminently trollable and can be made very expensive by an adversary.
Then you try to make it N-party, which reduces all of the security assumptions down to one which isn't verifiable on-chain and doesn't inherit any of Bitcoin's security.
Yes, technically it's possible, should it be done? Probably not... Would I trust it? No... Does it come anywhere near the security of SP1... Absolutely not.
this is the only legit effort to use Bitcoin to verify ZKPs