WASM build

[numtel]

Hello,

I'm creating a website called circuitscan.org and would like to include Circomspect outputs along with the circom code. To do this, I would like to build circomspect for WASM use but I'm not very familiar with using Rust. Can I get some help getting the runner output into JSON?

Thanks, Ben

[CLAassistant]

All committers have signed the CLA.

[numtel]

Seems to work with the simple template from the test case:

template Foo(n) {
    signal input a[2];

    a[0] === a[1];
}

[
  {
    "category": "Warning",
    "message": "The parameter `n` is never read.",
    "primary_file_ids": [
      0
    ],
    "primary": "28,29",
    "secondary": "",
    "notes": [],
    "code": "UnusedParameterValue"
  },
  {
    "category": "Warning",
    "message": "The signals `a[2]` are not constrained by the template.",
    "primary_file_ids": [
      0
    ],
    "primary": "51,68",
    "secondary": "",
    "notes": [],
    "code": "UnconstrainedSignal"
  }
]

I'll run more tests as I integrate it into the site.

[numtel]

Ok I think this is working pretty well now. It's live on https://circuitscan.org too