search

pkel / cpr

consensus protocol research
9 stars 2 forks source link

Redundant case in Tailstorm policy. #18

Closed pkel closed 2 years ago

pkel commented 2 years ago

https://github.com/pkel/cpr/blob/3f8cc5eae624c7f72c4ed8c19abad9de3d00d5ca/ocaml/protocols/tailstorm_ssz.ml#L333-L335

This likely is also the case in the other attack spaces.