GitHub repository: zkMIPS/succinctx
Description: The schelling point for ZK applications.