Poseidon
  • Poseidon: zk-SNARK setup tool
  • Poseidon v1.2.0
  • Getting Started
    • What are zk-SNARK Circuits ?
    • Quickstart
  • Folder Structure
  • Circuit Compilation
    • Compile circuit - Advanced
    • Compile Circuit - Beginner
  • Expected Folder Layout
  • Zk-Proofs and Verification
    • Proof Generation - Prover
    • JSON Files
    • Proof Verification - Verifier
  • Resources
    • Circuit Development
Powered by GitBook
On this page

Folder Structure

Basic Healthy Folder Structure of Poseidon

Once --circuit-setup is done you will get the below folder structure.

circom folder will not be there if you have already got circom installed earlier - so nothing to worry !!

poseidon/
│── circom
│── circomlib/            # Standard library for Circom components
│── circuits/             # Where your .circom files go
│   └── circuit1.circom   # A starter circuit with boilerplate
│── requirements.txt
│── poseidon.py             

The Poseidon project is organized to streamline zk-SNARK development:

  • circom/ – (Optional) Place to store local circom binary or related builds.

  • circomlib/ – Standard Circom library, includes reusable components like Poseidon hash, Merkle tree, etc.

  • circuits/ – Your working directory for writing circuits in .circom files.

    • circuit1.circom – A basic starter circuit with template logic to begin with.

  • requirements.txt – Python dependencies needed by poseidon.py.

  • poseidon.py – Main CLI script to automate setup, compile, prove, and verify workflows.

This layout ensures everything is in place to begin writing and testing zero-knowledge circuits efficiently.

PreviousQuickstartNextCompile circuit - Advanced

Last updated 1 month ago