curves.json

{
  "noir_version": "0.36.0+801c71880ecf8386a26737a5d8bb5b4cb164b2ab",
  "hash": 17214534902077038861,
  "abi": {
    "parameters": [
      { "name": "x", "type": { "kind": "field" }, "visibility": "private" },
      { "name": "y", "type": { "kind": "field" }, "visibility": "public" }
    ],
    "return_type": null,
    "error_types": {}
  },
  "bytecode": "H4sIAAAAAAAA/7VUUQ6DIAwFYdn2Pb1HK6Dw51Vmhvc/wpYoS1P5s7yEtKHk8VpatNphf+umzjCHXQ7rYPI+z2NGh28Y0xoD+LBOESOGGD5jdC5HH+e0phkSepdxC8ltsINywTWgFtTVyemCUkddqadm9YRrQEnduvLuTQSbBrxWuElb5G1JgYV4QTVsLqtkm8syndSvDct/88lsT+JGMOHCP7Thh3slx574A8uzI7FFSEPhKxNe+/U7FitnH0yflteHisFU7ip4Eb/EvzCVYtHSBgAA",
  "debug_symbols": "lZDBCoMwEET/Zc851NZQyK+UIhtNZGHZSBILJfjvTdWD1xzfzGMOU2Bydp0HEh8SmFcBDiNmClKpwG2P0oLyp5QxZjC9VuBkAqO7TYEndmCeensr6Nr0e5v+aNP7Fr2CjcRM83A9oMYfjISW3Yl+lfHS5u9yNHXiBw==",
  "file_map": {
    "75": {
      "source": "fn main(x: Field, y: pub Field) {\n    assert(x != y);\n}\n\n#[test]\nfn test_main() {\n    main(1, 2);\n    // Uncomment to make test fail\n    // main(1, 1);\n}\n",
      "path": "/home/ayman/openpassport/curves/src/main.nr"
    }
  },
  "names": ["main"],
  "brillig_names": ["directive_invert"]
}