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
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions