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