Let's generate a proof from the dashboard. Select proof type from Modal. Then upload the circom file and input file to start generating proof. On our app, small circuits can be generated immediately. Let's update the status and check by reloading your browser. Once you have generated the proof, you can download the zip file on the table. You can get proof.json, public.json and verification-key.json.