Justify the backend choice NIZK-R1CS #14
Description
Proposed contribution: Provide more rationale for the choice on NIZK and R1CS. Section 3.2 could benefit from a comparative overview of the various low-level backend options for representing relations. Comparing the advantages and disadvantages of interactive vs. non-interactive, and of several representations (e.g., including arithmetic circuits), may open more room for future document contributions on the cases that have not yet been explored in the existing documentation.
Related locations: Chapter 2 (implementation)
Proposed contributors: Needs contributors
Contribution context: Proposed in the "NIST comments on the initial ZKProof documentation" (April 06, 2019) --- item C17.