MCPcopy Index your code
hub / github.com/RareSkills/zero-knowledge-puzzles

github.com/RareSkills/zero-knowledge-puzzles @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
16 symbols 38 edges 37 files 0 documented · 0%
What it actually does AI analysis from the code graph — generated when you open this
loading…
README

zero knowledge puzzles

Zero knowledge puzzles to learn writing circuits in circom lang.

Installation

Rust

Circom compiler requires rust . For MacOs and Linux users,

curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf | sh

Circom compiler

Clone the circom repository

git clone https://github.com/iden3/circom.git

Enter the repository

cargo build --release

Install

cargo install --path circom

Libraries

yarn install 

Using Docker for testing

Ensure you have docker installed and running in your system

Then to run a test against the circuit, please pass the relative path to the Javascript test file

yarn run docker:test test/Add.js  

Solving puzzles.

Write your solution .

Then run the following command

yarn test ./test/<TestName>.js

Suggested Order for the Puzzles.

Relevant links

Play Sujiko Game using circom proofs

Congrats on completing all the challenges, you can play Sujiko Game .

  • Go to Frontend directory
  • Install libraries using
npm install
  • Then, start the front end:-
npm run dev

Troubleshoot

Mac users getting this error on circom installation

error: linking with `cc` failed: exit status: 1

Install xcode , then restart your mac .

xcode-select --install

Contributors

Extension points exported contracts — how you extend this code

SquareProps (Interface)
(no doc)
Sujiko/Frontend/pages/index.tsx

Core symbols most depended-on inside this repo

handleSquareClick
called by 9
Sujiko/Frontend/pages/index.tsx
unstringifyBigInts
called by 2
test/Compile.js
handleChange
called by 2
Sujiko/Frontend/pages/index.tsx
unstringifyBigInts
called by 2
Sujiko/Frontend/proofs/proof.js
load
called by 1
Sujiko/Frontend/pages/index.tsx
groth16calldata
called by 1
Sujiko/Frontend/proofs/proof.js
VerifyProof
called by 1
Sujiko/Frontend/proofs/Verify.js
Footers
called by 0
Sujiko/Frontend/pages/footer.tsx

Shape

Function 15
Interface 1

Languages

TypeScript100%

Modules by API surface

Sujiko/Frontend/pages/index.tsx8 symbols
Sujiko/Frontend/proofs/proof.js2 symbols
test/Compile.js1 symbols
Sujiko/Frontend/proofs/Verify.js1 symbols
Sujiko/Frontend/pages/footer.tsx1 symbols
Sujiko/Frontend/pages/api/hello.ts1 symbols
Sujiko/Frontend/pages/_document.tsx1 symbols
Sujiko/Frontend/pages/_app.tsx1 symbols

For agents

$ claude mcp add zero-knowledge-puzzles \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact