This repository shows a small example of how to use powdr as a Rust library to generate ZK proofs. It contains the same steps as shown in the CLI Hello World docs. This repository is also the example used in the powdr-as-a-library docs.
This repository shows a small example of how to use powdr as a Rust library to generate ZK proofs. It contains the same steps as shown in the CLI Hello World docs. This repository is also the example used in the powdr-as-a-library docs.