# 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](https://github.com/powdr-labs/powdr). Issues and feature requests can be posted on
the [GitHub issue tracker](https://github.com/powdr-labs/powdr/issues).

## License

<!-- markdown-link-check-disable-next-line -->
The powdr source and documentation are released under the [MIT License](https://opensource.org/license/mit/).