Glossary

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