implemented rule to check if the machine declaration contains anythin… - Githubissues

privacy-scaling-explorations / chiquito

DSL for Halo2 circuits

https://docs.pecadorplonkish.xyz/

161 stars 36 forks source link

implemented rule to check if the machine declaration contains anythin… #225

Closed rutefig closed 3 months ago

rutefig commented 3 months ago

…g other than state, wgvars and signals decls