• Pedersen commitment: a hiding and binding commitment scheme that takes a value and produces an elliptic curve point representing the commitment
  • zkas: the programming language in which you can write zk circuits
  • zkvm: the virtual machine in which zkas circuit binary is run
  • zkrunner: a Python script which allows you, instead of providing circuit, witness, public inputs and code to generate/verify proof, you provide circuit, witness