/proof-of-approved

A proof of approved zk-graph

Primary LanguageTypeScript

zkGraph default template

Usage CLI

Block number = 2072736

Note: Only full image will be processed by zkOracle node. local (generated by commands ending with --local option) means the zkGraph is compiled locally and only contains partial computation (so that proving and executing will be faster).

The workflow of local zkGraph development must follow: Develop (code in /src) -> Compile (get compiled wasm image) -> Execute (get expected output) -> Prove (generate input and pre-test for actual proving in zkOracle) -> Verify (verify proof on-chain).

To upload and publish your zkGraph, you should Upload (upload code to IPFS), and then Publish (register zkGraph on onchain zkGraph Registry).

Commonly used commands

  • compile: npx zkgraph compile
  • exec: npx zkgraph exec <block id>
  • prove: npx zkgraph prove <block id> <expected state> -i|-t|-p
  • ……

Read more: https://github.com/hyperoracle/zkgraph-cli#cli