Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Upload Grumpkin SRS and download it in bb/bb.js #813

Open
ludamad opened this issue Dec 15, 2023 · 0 comments
Open

Upload Grumpkin SRS and download it in bb/bb.js #813

ludamad opened this issue Dec 15, 2023 · 0 comments

Comments

@ludamad
Copy link
Collaborator

ludamad commented Dec 15, 2023

We should then update bb and bb.js both to download this if not found.

saleel added a commit to AztecProtocol/aztec-packages that referenced this issue Sep 24, 2024
**Problem**: G1 data of CRS **[is not
used](https://github.com/AztecProtocol/aztec-packages/blob/master/noir/noir-repo/tooling/noir_js_backend_barretenberg/src/verifier.ts#L35-L39)**
for proof verification in both `BarretenbergVerifier` and
`UltraHonkVerifier`, yet the entire file is being download.

**Cause**: `numPoints` is set to zero in the verifiers, but `NetCrs` is
downloading the entire 6 GB G1 file during verification as `g1End` will
be `-1` and range header will become `bytes=0--1`.

**Fix**: This PR fixes the issue by returning empty Uint8Array if
required points is zero.

Note: The same fix is not made in `GrumpkinCrs` as there is no calls
with 0 points currently (maybe something to do with
[#813](AztecProtocol/barretenberg#813))
AztecBot pushed a commit that referenced this issue Sep 25, 2024
**Problem**: G1 data of CRS **[is not
used](https://github.com/AztecProtocol/aztec-packages/blob/master/noir/noir-repo/tooling/noir_js_backend_barretenberg/src/verifier.ts#L35-L39)**
for proof verification in both `BarretenbergVerifier` and
`UltraHonkVerifier`, yet the entire file is being download.

**Cause**: `numPoints` is set to zero in the verifiers, but `NetCrs` is
downloading the entire 6 GB G1 file during verification as `g1End` will
be `-1` and range header will become `bytes=0--1`.

**Fix**: This PR fixes the issue by returning empty Uint8Array if
required points is zero.

Note: The same fix is not made in `GrumpkinCrs` as there is no calls
with 0 points currently (maybe something to do with
[#813](#813))
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

No branches or pull requests

1 participant