ZK Speedrun: Noir, Circom, Zokrates in 15 Minutes

ℹ️ Are you a Circuit Breaker hacker? Join the Scroll telegram, find project ideas and join our telegram group by visiting our Circuit Breaker cheat sheet

Zokrates

Instalation

curl -LSfs get.zokrat.es | sh
export PATH=$PATH:/home/YOURUSERNAME/.zokrates/bin

Generate a proof

Create the zokrates circuit file.

root.zok

def main(private field a, field b) {
    assert(a * a == b);
    return;
}

Now compile it and generate a proof.

zokrates compile -i root.zok
zokrates setup
zokrates compute-witness -a 3 9
zokrates generate-proof

The proof …

cheat curl def export file find hacker home ideas main noir path private project proof root telegram zokrates