Physics OS: High-Fidelity Physics Simulations with ZK-Proofs