Introduction

powdr is a modular compiler stack to build zkVMs. It is ideal for implementing existing VMs and experimenting with new designs with minimal boilerplate.

• Domain specific languages are used to specify the VM and its underlying constraints, not low level Rust code
• Automated witness generation
• Support for multiple provers as well as aggregation schemes
• Support for hand-optimized co-processors when performance is critical
• Built in Rust 🦀

Contributing

powdr is free and open source. You can find the source code on GitHub. Issues and feature requests can be posted on the GitHub issue tracker.

License

The powdr source and documentation are released under the MIT License.