Keeping the AM in CakeML is beneficial, but having a well-defined JSON interface surrounding the AM would allow this trusted component to be isolated and stubs to easily communicate from any other language.
TODOs...
Create a JSON interface to core AM components:
[x] CVM
[x] Appraisal
[ ] ASPs
[ ] Update cmake config and glue code to build and invoke these new wrappers.
Keeping the AM in CakeML is beneficial, but having a well-defined JSON interface surrounding the AM would allow this trusted component to be isolated and stubs to easily communicate from any other language.
TODOs...
Create a JSON interface to core AM components: