GitHub repository: psugihara/anybody-problem
Description: Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.