GuildOfWeavers / genSTARK

A library for generating zk-STARKs.
MIT License
142 stars 18 forks source link

Refactor arithmetic script parsing #10

Closed bobbinth closed 5 years ago

bobbinth commented 5 years ago

The current approach uses self-implemented parser. This works for simple script semantics, but adding functionality to the script becomes more difficult. A better way would be to use some off-the-shelf lexer/parser to do the work.

Potential options:

bobbinth commented 5 years ago

Closed by #11