search

privacy-scaling-explorations / chiquito

DSL for Halo2 circuits
https://docs.pecadorplonkish.xyz/
161 stars 36 forks source link

implemented rule to check if true and false are being used inside of … #236

Closed rutefig closed 3 months ago

rutefig commented 3 months ago

…logical expressions