Skip to content

Poseidon is a zk-SNARK automation tool that streamlines the entire proof lifecycle. From circuit setup to proof generation and verification — all in one command-line interface.

License

Notifications You must be signed in to change notification settings

dave1725/poseidon

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Poseidon

Screenshot 2025-05-10 202048

Poseidon is a powerful CLI and utility toolkit for zk-SNARK circuit development using Circom. It streamlines everything from environment setup, circuit compilation, trusted setup, proof generation, and verification.

Full documentation of Poseidon can be found here.

GitHub Repo stars

Build Status

GitHub

GitHub last commit

Python Version

Circom

zk-SNARK

Status

PRs Welcome

🚀 Features

  • Simplified environment setup for Circom + snarkjs
  • Auto-generate circuit boilerplate to kickstart development
  • Compile circuit, perform trusted setup, and configure proving keys in one step
  • Flexible CLI flags for precise control over actions
  • Effortless proof generation and verification with a single command
  • Setup ready for verification (no extra configuration needed)
  • Outputs in JSON format for easy integration with other systems

Installation

Clone the repository and use the package manager pip to install required dependencies.

git clone https://github.com/dave1725/poseidon.git
python3 -m pip install -r requirements.txt

Documentation

Full documentation of Poseidon can be found here.

Contributing

Pull requests are welcome. For major changes, please open an issue first to discuss what you would like to change.

Please make sure to update tests as appropriate.

Author(s)

  • Dave @dave1725

License

This project is open-source and licensed under MIT. Feel free to contribute and be part of the digital evolution.

About

Poseidon is a zk-SNARK automation tool that streamlines the entire proof lifecycle. From circuit setup to proof generation and verification — all in one command-line interface.

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages