3/10/23, 5:30 PM GitHub – rdi-berkeley/zkp-mooc-lab
A rdi-berkeley / zkp-mooc-lab * 28 stars ” 27 forks tr Star
Public
■
0 Notifications
<> Code 0 Issues 141 Pull requests ® Actions El Projects 0 Security L Insights
p main , Go to file
9: deevashwer Update README.md …
View code
last week 0 5
README.md
Assignment: Writing and Proving Arithmetic Circuits
In this assignment you’ll learn about:
• circom : a domain-specific language for describing arithmetic circuits, and • snarkjs : a tool for generating and verifying zk-SNARKs for circuit satisfiability.
Setup
1. Install nodejs (includes npm ). 2. Install circom following this installation guide. Once installed, ensure that you’re using the correct version of circom by running circom –version . You should see circom compiler 2.1.4 or later. 3. Install snarkjs : run npm install -g snarkjs@latest . 4. Install the mocha test runner : run npm install -g mocha . 5. Run npm install in the same directory as this readme to install the dependencies for this assignment. 6. Run mocha test and verify that most of the tests fail, but not because of missing dependencies. https://github.com/rdi-berkeley/zkp-mooc-lab 1/4