refactor compute_var - Githubissues

zksecurity / noname

Noname: a programming language to write zkapps

https://zksecurity.github.io/noname/

178 stars 44 forks source link

Closed katat closed 4 months ago

katat commented 4 months ago

Add a new backend interface compute_val that calculate for a symbolic variable (the Value type)
Refactor the compute_var to call compute_val. (compute_var is a wrapper of compute_var)
So that compute_val can be used directly with a Value type
Change the type of WitnessEnv.cached_values from HashMap<CellVar, F> to HashMap<Value, F>

katat commented 4 months ago

We will need to review this refactor