arkworks-rs / accumulation Goto Github PK

What is the easiest way to produce data used in Figure 7 here: https://eprint.iacr.org/2020/1618.pdf? Also, how about the number of constraints for the accumulation verifier for the NARK for R1CS in this paper?

It looks like the examples (e.g., scaling-as) report the prover time/verifier time/etc. but not the number of constraints of the accumulation verifier.

To optimize the NARK and the accumulation verifier, we could use the "open a linear-equation" idea from Marlin, where for row-check instead of providing evaluations for z_a, z_b, z_c, v_h and q, we provide evaluations for z_a and v_H only, and then check that z_a(beta) * z_b - z_c - v_H(beta) * q = 0 at beta

this reduces the accumulator size, and eliminates some non-native work

(above I assume that we're committing to v_H too)

There may be 0 padding in some implementations of native to_bytes, making it differ from the constraints equivalent. It may be worthwhile to consistently take a subset of the bytes (based on the number of bits in the field) to make the outputs consistent between native and constraints to_bytes.

Dependabot can't resolve your Rust dependency files.

As a result, Dependabot couldn't update your dependencies.

The error Dependabot encountered was:

Updating git repository `https://github.com/arkworks-rs/algebra`
    Updating git repository `https://github.com/Will-Lin4/poly-commit`
    Updating git repository `https://github.com/arkworks-rs/sponge/`
    Updating git repository `https://github.com/arkworks-rs/utils`
    Updating crates.io index
    Updating git repository `https://github.com/arkworks-rs/curves`
error: no matching package named `ark-sponge` found
location searched: https://github.com/Will-Lin4/poly-commit?branch=accumulation-experimental#0688fc5f
required by package `ark-poly-commit v0.1.0 (https://github.com/Will-Lin4/poly-commit?branch=accumulation-experimental#0688fc5f)`
    ... which is depended on by `ark-accumulation v0.1.0 (/home/dependabot/dependabot-updater/dependabot_tmp_dir)`

If you think the above is an error on Dependabot's side please don't hesitate to get in touch - we'll do whatever we can to fix it.

View the update logs.