Allow empty blobs and commitments

[kevaundray]

Empty blobs and commitments currently cause a panic.

This PR aims to handle this particular edge case.

[kevaundray]

Latest commit refers to the review left here by @asn-d6

[asn-d6]

Pushed two commits that resolve the linter error and add an assert here: https://github.com/asn-d6/consensus-specs/tree/pr_3093

All in all, I think the changes are sensible.

Given the details of this special case, I'd like to do another review pass (probably early next week). Also, it would be great if @dankrad could take a look.

[kevaundray]

Pushed two commits that resolve the linter error and add an assert here: https://github.com/asn-d6/consensus-specs/tree/pr_3093

All in all, I think the changes are sensible.

Given the details of this special case, I'd like to do another review pass (probably early next week). Also, it would be great if @dankrad could take a look.

Merged changes into the branch to update ci

[hwwhww]

@kevaundray the CI errors happend at:

1. In evaluate_polynomial_in_evaluation_form:
   • Need to cast int(z) in result = result * (pow(z, width, BLS_MODULUS) - 1) * inverse_width % BLS_MODULUS
     -> result = result * (pow(int(z), width, BLS_MODULUS) - 1) * inverse_width % BLS_MODULUS.
2. In the empty blobs and case, evaluate_polynomial_in_evaluation_form failed when checking assert z not in ROOTS_OF_UNITY

[djrtwo]

This makes sense to me. I think it's much more natural than to have network messages with the absence of a SideCar