A multiplicity different than expected can cause nodes to panic.

EspressoSystems / jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

https://jellyfish.docs.espressosys.com

MIT License

408 stars 106 forks source link

A multiplicity different than expected can cause nodes to panic. #644

Closed elliedavidson closed 3 months ago

elliedavidson commented 4 months ago

This issue was observed on version 0.4.5

Nodes will panic if they attempt to verify a VID share with a different multiplicity than the node expects. An incorrectly configured node could cause many other network nodes to crash.

To reproduce:

Run 1 HotShot leader with multiplicity = 2
Run other HotShot nodes with multiplicity = 4
Replica nodes will panic in the verifiy_share function in vid/src/advz.rs

elliedavidson commented 4 months ago

This issue actually needs to be in HotShot: https://github.com/EspressoSystems/HotShot/issues/3523

ggutoski commented 4 months ago

jellyfish should not panic for that. re-opening this issue. Thanks for posting!