zksecurity / noname

Noname: a programming language to write zkapps
https://zksecurity.github.io/noname/
161 stars 35 forks source link

constant-size arrays #143

Open mimoo opened 2 weeks ago

mimoo commented 2 weeks ago
const c_mul = 2;

fn main() -> [Field; 3 * c_mul + 1] {
  return [1, 2, 3, 4, 5, 6, 7];
}

^ this example should compile. If it doesn't, we should ensure that it does :)