## TODO

- Document the language
- Integrate with zkvm command line
- Integrate with ZKVMCircuit: allocs and constraints
- Added CryptoOperation such double and square to core.rs
- Adapt ZKContract to use lisp to read contract and execute