UPLC Converter prototype - Githubissues

zkFold / zkfold-base

ZkFold's Base library

https://zkfold.io

MIT License

17 stars 7 forks source link

UPLC Converter prototype #283

Closed vlasin closed 3 weeks ago

vlasin commented 2 months ago

Docs: https://docs.zkfold.io/symbolic/tools/uplc-converter/

[ ] All term types from the November 2022 spec are supported (except error).
[ ] Builtin functions: arithmetic and comparison operations on integers, comparison operations on bytestrings, and the “IfThenElse” operation are supported.
[ ] No CLI is needed in this task.