implementation of a toy zero knowledge virtual machine
- setup
- constraints
- conditions
- FRI
- variant
- fiat-shamir
- compilation
- program
- input
- output
- recursion
- assembly
- primitives
- polynomial constraints
- degree
- control, derived and external columns
- instructions
- permutation
- multiple permutation
- lookup
- injective lookup
- permutation and lookup with multiple columns
- instruction set
- operands and flag
- unsigned multiplation
- setting flag for zero result
- arithmetic and comparisons
- logic
- word range
- signed arithmetic
- memory
- program lookup
- protocol
- vm configuration
- prover
- verifier