feat(test): Fuzz poseidon hases against an external library #6273

aakoshh · 2024-10-10T14:54:29Z

Description

Problem*

Related to #6141

Summary*

Testing std::hash::poseidon::bn254::hash_[1-12] against https://github.com/Lightprotocol/light-poseidon/tree/v0.2.0

The library doesn't support inputs wider than 12 (doesn't have the parameters for it), so the Noir function hash_[13-16] are not covered.

Additional Context

Documentation*

Check one:

No documentation needed.
Documentation included in this PR.
[For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

I have tested the changes locally.
I have formatted the changes with Prettier and/or cargo fmt on default settings.

Cargo.toml

tooling/nargo_cli/Cargo.toml

TomAFrench

I'm not clear on one of the changes to poseidon2 but otherwise LGTM.

tooling/nargo_cli/tests/stdlib-props.rs

…ry (noir-lang/noir#6273) feat: remove byte decomposition in `compute_decomposition` (noir-lang/noir#6159) fix: address inactive public key check in `verify_signature_noir` (noir-lang/noir#6270) feat(test): Fuzz test poseidon2 hash equivalence (noir-lang/noir#6265) fix!: Integer division is not the inverse of integer multiplication (noir-lang/noir#6243) feat(perf): Flamegraphs for test program execution benchmarks (noir-lang/noir#6253) fix: visibility for impl methods (noir-lang/noir#6261) feat: Add `checked_transmute` (noir-lang/noir#6262) feat!: kind size checks (noir-lang/noir#6137) feat: don't crash LSP when there are errors resolving the workspace (noir-lang/noir#6257) fix: don't warn on unuse global if it has an abi annotation (noir-lang/noir#6258) fix: don't warn on unused struct that has an abi annotation (noir-lang/noir#6254) feat: don't suggest private struct fields in LSP (noir-lang/noir#6256) feat: visibility for struct fields (noir-lang/noir#6221) fix: handle dfg databus in SSA normalization (noir-lang/noir#6249) fix: homogeneous input points for EC ADD (noir-lang/noir#6241) chore: add regression test for #5756 (noir-lang/noir#5770) feat: allow `unconstrained` after visibility (noir-lang/noir#6246) feat: optimize `Quoted::as_expr` by parsing just once (noir-lang/noir#6237) fix(frontend): Do not warn when a nested struct is provided as input to main (noir-lang/noir#6239) fix!: Change tag attributes to require a ' prefix (noir-lang/noir#6235) feat: recover from '=' instead of ':' in struct constructor/pattern (noir-lang/noir#6236)

…g/noir#6273) feat: remove byte decomposition in `compute_decomposition` (noir-lang/noir#6159) fix: address inactive public key check in `verify_signature_noir` (noir-lang/noir#6270) feat(test): Fuzz test poseidon2 hash equivalence (noir-lang/noir#6265) fix!: Integer division is not the inverse of integer multiplication (noir-lang/noir#6243) feat(perf): Flamegraphs for test program execution benchmarks (noir-lang/noir#6253) fix: visibility for impl methods (noir-lang/noir#6261) feat: Add `checked_transmute` (noir-lang/noir#6262) feat!: kind size checks (noir-lang/noir#6137) feat: don't crash LSP when there are errors resolving the workspace (noir-lang/noir#6257) fix: don't warn on unuse global if it has an abi annotation (noir-lang/noir#6258) fix: don't warn on unused struct that has an abi annotation (noir-lang/noir#6254) feat: don't suggest private struct fields in LSP (noir-lang/noir#6256) feat: visibility for struct fields (noir-lang/noir#6221) fix: handle dfg databus in SSA normalization (noir-lang/noir#6249) fix: homogeneous input points for EC ADD (noir-lang/noir#6241) chore: add regression test for #5756 (noir-lang/noir#5770) feat: allow `unconstrained` after visibility (noir-lang/noir#6246) feat: optimize `Quoted::as_expr` by parsing just once (noir-lang/noir#6237) fix(frontend): Do not warn when a nested struct is provided as input to main (noir-lang/noir#6239) fix!: Change tag attributes to require a ' prefix (noir-lang/noir#6235) feat: recover from '=' instead of ':' in struct constructor/pattern (noir-lang/noir#6236)

…oir-lang/noir#6279) feat(test): Fuzz poseidon hases against an external library (noir-lang/noir#6273) feat: remove byte decomposition in `compute_decomposition` (noir-lang/noir#6159) fix: address inactive public key check in `verify_signature_noir` (noir-lang/noir#6270) feat(test): Fuzz test poseidon2 hash equivalence (noir-lang/noir#6265) fix!: Integer division is not the inverse of integer multiplication (noir-lang/noir#6243) feat(perf): Flamegraphs for test program execution benchmarks (noir-lang/noir#6253) fix: visibility for impl methods (noir-lang/noir#6261) feat: Add `checked_transmute` (noir-lang/noir#6262) feat!: kind size checks (noir-lang/noir#6137) feat: don't crash LSP when there are errors resolving the workspace (noir-lang/noir#6257) fix: don't warn on unuse global if it has an abi annotation (noir-lang/noir#6258) fix: don't warn on unused struct that has an abi annotation (noir-lang/noir#6254) feat: don't suggest private struct fields in LSP (noir-lang/noir#6256) feat: visibility for struct fields (noir-lang/noir#6221) fix: handle dfg databus in SSA normalization (noir-lang/noir#6249) fix: homogeneous input points for EC ADD (noir-lang/noir#6241) chore: add regression test for #5756 (noir-lang/noir#5770) feat: allow `unconstrained` after visibility (noir-lang/noir#6246) feat: optimize `Quoted::as_expr` by parsing just once (noir-lang/noir#6237) fix(frontend): Do not warn when a nested struct is provided as input to main (noir-lang/noir#6239) fix!: Change tag attributes to require a ' prefix (noir-lang/noir#6235) feat: recover from '=' instead of ':' in struct constructor/pattern (noir-lang/noir#6236)

…ir#6279) feat(test): Fuzz poseidon hases against an external library (noir-lang/noir#6273) feat: remove byte decomposition in `compute_decomposition` (noir-lang/noir#6159) fix: address inactive public key check in `verify_signature_noir` (noir-lang/noir#6270) feat(test): Fuzz test poseidon2 hash equivalence (noir-lang/noir#6265) fix!: Integer division is not the inverse of integer multiplication (noir-lang/noir#6243) feat(perf): Flamegraphs for test program execution benchmarks (noir-lang/noir#6253) fix: visibility for impl methods (noir-lang/noir#6261) feat: Add `checked_transmute` (noir-lang/noir#6262) feat!: kind size checks (noir-lang/noir#6137) feat: don't crash LSP when there are errors resolving the workspace (noir-lang/noir#6257) fix: don't warn on unuse global if it has an abi annotation (noir-lang/noir#6258) fix: don't warn on unused struct that has an abi annotation (noir-lang/noir#6254) feat: don't suggest private struct fields in LSP (noir-lang/noir#6256) feat: visibility for struct fields (noir-lang/noir#6221) fix: handle dfg databus in SSA normalization (noir-lang/noir#6249) fix: homogeneous input points for EC ADD (noir-lang/noir#6241) chore: add regression test for #5756 (noir-lang/noir#5770) feat: allow `unconstrained` after visibility (noir-lang/noir#6246) feat: optimize `Quoted::as_expr` by parsing just once (noir-lang/noir#6237) fix(frontend): Do not warn when a nested struct is provided as input to main (noir-lang/noir#6239) fix!: Change tag attributes to require a ' prefix (noir-lang/noir#6235) feat: recover from '=' instead of ':' in struct constructor/pattern (noir-lang/noir#6236)

feat(improve): Remove scan through globals (noir-lang/noir#6282) feat: show LSP diagnostic related information (noir-lang/noir#6277) feat: trait inheritance (noir-lang/noir#6252) feat: optimize reading a workspace's files (noir-lang/noir#6281) fix: prevent compiler panic when popping from empty slices (noir-lang/noir#6274) feat(test): Include the PoseidonHasher in the fuzzing (noir-lang/noir#6280) feat: slightly improve "unexpected token" error message (noir-lang/noir#6279) feat(test): Fuzz poseidon hases against an external library (noir-lang/noir#6273) feat: remove byte decomposition in `compute_decomposition` (noir-lang/noir#6159) fix: address inactive public key check in `verify_signature_noir` (noir-lang/noir#6270) feat(test): Fuzz test poseidon2 hash equivalence (noir-lang/noir#6265) fix!: Integer division is not the inverse of integer multiplication (noir-lang/noir#6243) feat(perf): Flamegraphs for test program execution benchmarks (noir-lang/noir#6253) fix: visibility for impl methods (noir-lang/noir#6261) feat: Add `checked_transmute` (noir-lang/noir#6262) feat!: kind size checks (noir-lang/noir#6137) feat: don't crash LSP when there are errors resolving the workspace (noir-lang/noir#6257) fix: don't warn on unuse global if it has an abi annotation (noir-lang/noir#6258) fix: don't warn on unused struct that has an abi annotation (noir-lang/noir#6254) feat: don't suggest private struct fields in LSP (noir-lang/noir#6256) feat: visibility for struct fields (noir-lang/noir#6221) fix: handle dfg databus in SSA normalization (noir-lang/noir#6249) fix: homogeneous input points for EC ADD (noir-lang/noir#6241) chore: add regression test for #5756 (noir-lang/noir#5770) feat: allow `unconstrained` after visibility (noir-lang/noir#6246) feat: optimize `Quoted::as_expr` by parsing just once (noir-lang/noir#6237) fix(frontend): Do not warn when a nested struct is provided as input to main (noir-lang/noir#6239) fix!: Change tag attributes to require a ' prefix (noir-lang/noir#6235) feat: recover from '=' instead of ':' in struct constructor/pattern (noir-lang/noir#6236)

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE feat(test): Fuzz poseidon hases against an external library (noir-lang/noir#6273) feat: remove byte decomposition in `compute_decomposition` (noir-lang/noir#6159) fix: address inactive public key check in `verify_signature_noir` (noir-lang/noir#6270) feat(test): Fuzz test poseidon2 hash equivalence (noir-lang/noir#6265) fix!: Integer division is not the inverse of integer multiplication (noir-lang/noir#6243) feat(perf): Flamegraphs for test program execution benchmarks (noir-lang/noir#6253) fix: visibility for impl methods (noir-lang/noir#6261) feat: Add `checked_transmute` (noir-lang/noir#6262) feat!: kind size checks (noir-lang/noir#6137) feat: don't crash LSP when there are errors resolving the workspace (noir-lang/noir#6257) fix: don't warn on unuse global if it has an abi annotation (noir-lang/noir#6258) fix: don't warn on unused struct that has an abi annotation (noir-lang/noir#6254) feat: don't suggest private struct fields in LSP (noir-lang/noir#6256) feat: visibility for struct fields (noir-lang/noir#6221) fix: handle dfg databus in SSA normalization (noir-lang/noir#6249) fix: homogeneous input points for EC ADD (noir-lang/noir#6241) chore: add regression test for #5756 (noir-lang/noir#5770) feat: allow `unconstrained` after visibility (noir-lang/noir#6246) feat: optimize `Quoted::as_expr` by parsing just once (noir-lang/noir#6237) fix(frontend): Do not warn when a nested struct is provided as input to main (noir-lang/noir#6239) fix!: Change tag attributes to require a ' prefix (noir-lang/noir#6235) feat: recover from '=' instead of ':' in struct constructor/pattern (noir-lang/noir#6236) END_COMMIT_OVERRIDE --------- Co-authored-by: Tom French <[email protected]>

aakoshh requested a review from TomAFrench October 10, 2024 14:54

aakoshh commented Oct 10, 2024

View reviewed changes

Cargo.toml Outdated Show resolved Hide resolved

Test poseidon hash variants against an external library

9fae6ac

aakoshh force-pushed the fuzz-poseidon branch from 570f6e2 to 9fae6ac Compare October 10, 2024 14:58

Add light_poseidon to deny exceptions

3e09f42

TomAFrench reviewed Oct 10, 2024

View reviewed changes

tooling/nargo_cli/Cargo.toml Outdated Show resolved Hide resolved

Use the version from crates.io

5044377

aakoshh force-pushed the fuzz-poseidon branch from a3221c8 to 5044377 Compare October 10, 2024 15:29

TomAFrench approved these changes Oct 10, 2024

View reviewed changes

tooling/nargo_cli/tests/stdlib-props.rs Outdated Show resolved Hide resolved

Add back input sizes around the RATE

283b8d7

aakoshh added this pull request to the merge queue Oct 10, 2024

Merged via the queue into master with commit 8d8ea89 Oct 10, 2024
48 checks passed

aakoshh deleted the fuzz-poseidon branch October 10, 2024 18:08

noirwhal mentioned this pull request Oct 10, 2024

chore: Release Noir(0.36.0) #6213

Open

AztecBot mentioned this pull request Oct 10, 2024

feat: Sync from noir AztecProtocol/aztec-packages#9099

Merged

AztecBot mentioned this pull request Oct 14, 2024

chore(master): Release 0.58.0 AztecProtocol/aztec-packages#9068

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(test): Fuzz poseidon hases against an external library #6273

feat(test): Fuzz poseidon hases against an external library #6273

aakoshh commented Oct 10, 2024 •

edited

Loading

TomAFrench left a comment

feat(test): Fuzz poseidon hases against an external library #6273

feat(test): Fuzz poseidon hases against an external library #6273

Conversation

aakoshh commented Oct 10, 2024 • edited Loading

Description

Problem*

Summary*

Additional Context

Documentation*

PR Checklist*

TomAFrench left a comment

Choose a reason for hiding this comment

aakoshh commented Oct 10, 2024 •

edited

Loading