Did you try Kotlin ?

I found out about this for zero knowledge profs that are able to be separated from the issued document.

https://github.com/microsoft/crescent-credentials

The demo I saw looked really interesting but I don't have the knowledge to say if the approach is viable or not

Docker desktop will run a virtual machine for you. But you can simply install docker engine in wsl or in a VM on mac exactly like you would on linux (you give up maybe automatic port forwarding from the VM to your host)

France has some reverse engineering exemptions, and I believe compatibility is one of them.