issues
search
privacy-scaling-explorations
/
chiquito
DSL for Halo2 circuits
https://docs.pecadorplonkish.xyz/
161
stars
36
forks
source link
Semantic Analyser: if query in logical expression, type of the symbol must be bool
#229
Closed
leolara
closed
3 weeks ago