Awesome
acvm-backend-plonky2
This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust. Check out the docs for more detail on what this repo does.
How to generate Plonky2 proofs for your Noir circuit with docker
- You need to install docker, if you haven't already
- From a terminal, run
docker pull bweisz/acvm-backend-plonky2:0.3
to pull the docker image from dockerhub
Fast version (execute, prove, write_vk and verify all at once)
3. Run docker run -v /full/path/to/your/noir/project:/acvm-backend-plonky2/noir_example bweisz/acvm-backend-plonky2 make verification_happy_path
. This will create a container from the image 'bweisz/acvm-backend-plonky2', copy the contents of your noir project into the 'noir_example' folder inside the container and run a complete workflow of executing the circuit, generating the proof, writing the vk and verifying the proof.
Alternatively, if you want to run the commands separately and know something about docker (or not), follow the following steps.
3. Run docker run -d --name noir_with_plonky2 -v /full/path/to/your/noir/project:/acvm-backend-plonky2/noir_example bweisz/acvm-backend-plonky2 tail -f /dev/null
. This will create a container named 'noir_with_plonky2'
4. Run docker exec -it noir_with_plonky2 bash
. This will allow you to execute commands in the container.
5. From the container terminal, run separately:
make nargo_execute
make prove
make write_vk
make verify
How to set up the project locally (without docker)
For the setup, run make
on the root directory. This will do the following:
For now, until the corresponding PRs are made in the Plonky2 and the Noir repositories, the command will clone these repositories inside the project root.
Those are forks of the official Noir and Plonky2 repositories respectively, with a couple modifications. The resulting project tree must therefore look like:
plonky-2-backend-for-acir
|_ noir
|_ noir_example
|_ plonky2
|_ plonky2-backend
|_ Makefile
Then it'll build noir and plonky2. The latter with the nightly toolchain. Lastly, it'll build the custom plonky2 backend.
Running some predefined examples
If you want to try out some Noir examples, execute the python script run_examples.py
with the name of the example as the only parameter from the plonky2-backend
directory:
basic_if
fibonacci
basic_div
Manual testing
For some manual testing (local), the workflow is as follows: in the noir_example
folder there's a Noir project. In the noir_example/src/main.nr
file you can write the main function of any noir program you want to prove.
Run make run_noir_example
from the root directory. The following explanation is similar to the official Noir docs, but using the custom plonky2 backend instead of barretenberg, and it's what the command will execute.
- From the
noir_example
directory run:
../noir/target/release/nargo execute witness
. This will execute the noir program through the nargo acvm, generating:- The ACIR circuit in
target/noir_example.json
- The witness in
target/witness.gz
- The ACIR circuit in
- From the
plonky2-backend
directory run:
./target/release/plonky2-backend prove -b ../noir_example/target/noir_example.json -w ../noir_example/target/witness.gz -o ../noir_example/proof
. This will create a Plonky2 proof in../noir_example/proof
../target/release/plonky2-backend write_vk -b ../noir_example/target/noir_example.json -o ../noir_example/target/vk
. This will create the verification key in../noir_example/target/vk
./target/release/plonky2-backend verify -k ../noir_example/target/vk -p ../noir_example/proof
. This will verify the Plonky2 proof. An empty output is sign of verification success.
Contact Us
Feel free to join our telegram group for suggestions, report bugs or any question you might have! https://t.me/+HeUDkQPX_w0yMDQx
Things already implemented in this version
The Plonky2 backend for ACIR is still in a development phase. As for now, these are the implemented functionalities:
- AssertZero Opcode ✓
- MemoryInit Opcode ✓
- MemoryOp Opcode ✓
- BrilligCall Opcode ✓
- BlackBoxFunction ✓
- RANGE (up to 33 bits) ✓
- XOR ✓
- AND ✓
- SHA256 ✓
- EcdsaSecp256k1 ✓
Things not implemented yet are mostly BlackBoxFunctions.
Credits
We used some code from repos for the implementation of ECDSA verification and made some modifications to them:
If you want to try this backend with a medium size Noir project here's an example of a context free grammar checker by Pablo Dallegri, the first Plonky2 backend user.