New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Zk-study] Create a circuit with boojum #40

Open

thomas-nguy opened this issue Aug 17, 2023 · 1 comment

Member

thomas-nguy commented Aug 17, 2023 •

edited

Loading

Similarly to zksync v1.4 circuit definition

https://github.com/matter-labs/era-zkevm_test_harness/tree/v1.4.0/circuit_definitions

Use the boojum library to create a simple circuit and test it
https://github.com/matter-labs/era-boojum

XinyuCRO commented Sep 15, 2023

A simple circuit using boojum library: https://gist.github.com/XinyuCRO/1705b1d8fce53a3f6a8245e64157233e

put the gist in the examples folder and use cargo run --example simple to run the script

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment