# Poseidon: zk-SNARK setup tool

Poseidon is your one-stop tool to setup zk-snark circuit environment, compile circom circuits, setup trusted setup with tau ceremony, generate zkProofs and verify them too. This tool is designed for both beginners and advanced users to simplify the workflow.&#x20;

Poseidon can be labelled as an automation tool but its main functionality is about setting and being your best assistant when it comes to dealing with zk-SNARK circuits.

*Please note that this is only for zk-SNARK's. Refer here for differences -*  [*https://consensys.io/blog/zero-knowledge-proofs-starks-vs-snarks*](https://consensys.io/blog/zero-knowledge-proofs-starks-vs-snarks)

### Jump right in

<table data-view="cards"><thead><tr><th></th><th></th><th data-type="rating" data-max="5"></th><th data-hidden data-card-cover data-type="files"></th><th data-hidden></th><th data-hidden data-card-target data-type="content-ref"></th></tr></thead><tbody><tr><td><strong>Getting Started</strong></td><td>Quickstart your zk-SNARK circuit development</td><td>5</td><td><a href="https://3990568542-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2Fyd8fNhxk7VSuvAYoJxRT%2Fuploads%2F3x1AgLPn6vSpy9OmLqAg%2FScreenshot%202025-05-09%20214447.png?alt=media&#x26;token=c29bc099-7666-4b35-8552-70b07f0ce265">Screenshot 2025-05-09 214447.png</a></td><td></td><td><a href="getting-started/quickstart">quickstart</a></td></tr><tr><td>Circuit Compilation</td><td>Advanced - Compile Only</td><td>5</td><td></td><td></td><td><a href="circuit-compilation/compile-circuit-advanced">compile-circuit-advanced</a></td></tr></tbody></table>
