Daedalus

Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.

daedalus
└── pkg
    ├── daedalus-cli   // WIP: ZK swiss-army knife: compile, trusted setup, deploy
    └── prover         // WIP: Generate proofs and send result to webhook endpoint

Todo List

• Dockerize + Terraform
• Tests
  • Daedalus CLI
  • Prover

Daedalus-CLI

• Compile circuits
• Perform trusted setup
• Deploy circuits to a persistence/storage layer

Prover

• Generate proof
• Poll task queue for proving request
• Call webhook endpoint supplied by task to submit proof