kth-tcs/trustfull-demonstrator

use the typescript port of the JS client in the demo

Opened this issue · 2 comments

we are porting part of https://github.com/verificatum/verificatum-vjsc to typescript and splitting into modules.

the prototype is still on Douglas' computer.

we would push it to a new repo say verificatum-vjsc-ng (or verificatum-vjsc-ts or verificatum-vtsc), to be decided

the demonstrator will use the new TS code instead of the old JS code

license will be strong to allow for commercialization, say AGPL + full copyrights

Cool !

One interesting thing that we could take into account, right now only muladd is ported to Wasm. Since there is a plan to migrate verificatum to typescript, why not to fully compile it into Wasm following the typeset of AssemblyScript, https://www.assemblyscript.org/ ?

We will only need to annotate (if it is possible) the parameters and returning of functions to AssemblyScript types. We could have language diversification by having a hybrid JS-Wasm as a whole and CROW and wasm-mutate for the Wasm pieces.