search

a16z / jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
https://jolt.a16zcrypto.com
MIT License
655 stars 137 forks source link

Potential Bug: timestamp_range_check commitments length does not match openings length #343

Closed sragss closed 4 months ago

sragss commented 5 months ago

For fib_e2e (and presumably elsewhere), timestamp_range_check passes 35 openings and 38 commitments to Hyrax.

Relevant snippet here.

sragss commented 5 months ago

After fixing lets add an assert to the batched hyrax opening proof to avoid in the future.