Skip to content

Bug: failing basefold benchmark #126

@huitseeker

Description

@huitseeker

Reproduction

On master at c2752df, run

cargo bench --bench "basefold" --features benchmark

The errors are characteristic of Merkle path verification failures:

thread '<unnamed>' panicked at /Users/huitseeker/tmp/deep-prove/mpcs/src/u
til/merkle_tree.rs:438:5:
assertion `left == right` failed
  left: Digest([Goldilocks(5400044283174810410), Goldilocks(22527883815036
40962), Goldilocks(6025583952786602466), Goldilocks(5154489468167082851)])
 right: Digest([Goldilocks(9781837785955532322), Goldilocks(84217895592758
05645), Goldilocks(11153716427546156962), Goldilocks(8270758910039691299)]
)

Full failure output at:
https://gist.github.com/huitseeker/8c413a8b7f8cde2e989184d536601abc
Run on:

rustc --version --verbose | grep host | cut -d' ' -f2
aarch64-apple-darwin

(the outcome is independent of the benchmark feature, see gist)
I think this error also occurs upstream, and may have been there for a long time.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions