search

privacy-scaling-explorations / chiquito

DSL for Halo2 circuits
https://docs.pecadorplonkish.xyz/
185 stars 39 forks source link

213 semantic analysier expressions #219

Closed rutefig closed 7 months ago

rutefig commented 7 months ago

Did a rule to statements regarding assertions and a helper function to check recursively every expression inside of the statement