Skip to content

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

License

Notifications You must be signed in to change notification settings

smsunarto/daedalus

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Daedalus Build Badge

Daedalus

Deadalus Cover

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

About

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

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages