This is our most research-heavy line of work and is not yet generally available.
Current status
The simulation and matchmaking layers are stable under load testing. Proof generation cost is the open question: it is acceptable for tournament finals and still too expensive for every casual match.