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