standard folder structure after compilation, tau and proving key setup
If everything went well your folder structure should look something similar to this,
Note:circuit1.circom is the default example circuit. If you used a different name, that name will appear throughout the generated files.
Similarly, pot10 refers to the Powers of Tau file suited for small circuits. For larger circuits, this will change (e.g., pot12, pot14, etc.) depending on the circuit complexity.
poseidon/
│── circom
│── circomlib/ # Standard library for Circom components
│── circuit1_js
└── circuit1.wasm # WebAssembly file used to compute the witness
└── generate_witness.js
└── witness_calculator.js
│── circuits/ # Where your .circom files go
│ └── circuit1.circom # A starter circuit with boilerplate
│── circuit1_000.zkey # Final proving key used for generating zk-SNARK proofs
│── circuit1_final.zkey
│── circuit1.r1cs
│── circuit1.sym # Symbol file used for debugging constraint errors
│── pot10_0000.tau
│── pot10_0001.tau
│── pot10_final.tau # Finalized Powers of Tau file used in Phase 2
│── requirements.txt
│── poseidon.py