search

privacy-scaling-explorations / chiquito

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

Implementing parser for declarations of arrays of singals and variables #293

Closed leolara closed 2 weeks ago

leolara commented 2 months ago

For example:

signal A[10];
var B[15];

Size is integer.

We should extend TypedIdDecl to allow for arrays.