darkfi/lisp/TODO.md

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