{
  "schema_version": "1.4.0",
  "id": "GHSA-qj3v-q2vj-4c8h",
  "modified": "2021-08-18T21:27:27Z",
  "published": "2021-08-25T20:55:58Z",
  "aliases": [
    "CVE-2021-38194"
  ],
  "summary": "Calculation error in ark-r1cs-std",
  "details": "An issue was discovered in the ark-r1cs-std crate before 0.3.1 for Rust. It does not enforce any constraints in the FieldVar::mul_by_inverse method. Thus, a prover can produce a proof that is unsound but is nonetheless verified.",
  "severity": [
    {
      "type": "CVSS_V3",
      "score": "CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:H/I:H/A:H"
    }
  ],
  "affected": [
    {
      "package": {
        "ecosystem": "crates.io",
        "name": "ark-r1cs-std"
      },
      "ranges": [
        {
          "type": "ECOSYSTEM",
          "events": [
            {
              "introduced": "0.2.0"
            },
            {
              "fixed": "0.3.1"
            }
          ]
        }
      ]
    }
  ],
  "references": [
    {
      "type": "ADVISORY",
      "url": "https://nvd.nist.gov/vuln/detail/CVE-2021-38194"
    },
    {
      "type": "WEB",
      "url": "https://github.com/arkworks-rs/r1cs-std/pull/70"
    },
    {
      "type": "WEB",
      "url": "https://github.com/arkworks-rs/r1cs-std/commit/47ddbaa411afe7c499311a248a38135e5a192b67"
    },
    {
      "type": "PACKAGE",
      "url": "https://github.com/arkworks-rs/r1cs-std"
    },
    {
      "type": "WEB",
      "url": "https://raw.githubusercontent.com/rustsec/advisory-db/main/crates/ark-r1cs-std/RUSTSEC-2021-0075.md"
    },
    {
      "type": "WEB",
      "url": "https://rustsec.org/advisories/RUSTSEC-2021-0075.html"
    }
  ],
  "database_specific": {
    "cwe_ids": [
      "CWE-682"
    ],
    "severity": "CRITICAL",
    "github_reviewed": true,
    "github_reviewed_at": "2021-08-18T21:27:27Z",
    "nvd_published_at": "2021-08-08T06:15:00Z"
  }
}