richardliang/zkdsl-workshop

Noir, Circom, and Halo2 exercises for DSL workshop at ZKSummit10

ZKSummit10 - Exploring Noir, Circom, halo2 Workshop

Prompt

Write Noir, Halo2 and Circom circuits that constrain integer division i.e decimals are truncated. For example 12 / 5 = 2

Inputs: x, y where x and y are nonnegative integers < 2^32 bits

Outputs: quotient

Instructions

1. Install Rust

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

2. Install Nargo (Noir)

curl -L https://raw.githubusercontent.com/noir-lang/noirup/main/install | bash

Close terminal, and run

noirup

3. Fork this repo and git clone
4. From rootcd circom_intdiv and copy circom code into https://zkrepl.dev/. zkrepl is a great tool to prototype and is faster than installing circom and snarkjs locally
5. From root cd halo2_intdiv and fill the logic in TODO. To test your solution, run cargo test
6. From root cd noir_intdiv and fill the logic in TODO. To test your solution, run nargo test

zkdsl-workshop's Issues

Circom example question

The session was very helpful. Thank you:)

zkdsl-workshop/circom_intdiv/circuit/circuit.circom

Line 22 in f848bba

x === quotient * y + rem;

In the circom example,
wouldn't there be a need a constraint for the LessThan check, like ltrem.out*ltquo.out === 1;?