search

kth-tcs / trustfull-demonstrator

Code for the demonstrator of the Trustfull project based on the e-voting system verificatum
1 stars 4 forks source link

use the typescript port of the JS client in the demo #18

Open monperrus opened 2 years ago

monperrus commented 2 years ago

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

Jacarte commented 2 years ago

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.

algomaster99 commented 1 year ago

Link to the TS port - https://github.com/verificatum/verificatum-vts.