Skip to content

Conversation

@numtel
Copy link

@numtel numtel commented Sep 12, 2024

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
Copy link

CLAassistant commented Sep 12, 2024

CLA assistant check
All committers have signed the CLA.

@numtel
Copy link
Author

numtel commented Sep 23, 2024

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 numtel marked this pull request as ready for review September 24, 2024 22:06
@numtel numtel requested a review from fegge as a code owner September 24, 2024 22:06
@numtel
Copy link
Author

numtel commented Sep 24, 2024

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants