Scroll ZkEVM 4844 Blob

Findings · 7

1. 1 BarycentricEvaluationConfig circuit does not constrain the size of blob values Informational
2. 2 Public statement not included in the challenge preimage High
3. 3 Challenges are not uniformly random due to modulo bias Informational
4. 4 Initial oset is ignored in assign_data_bytes Informational
5. 5 Witness generation and constraint generation are not separated Informational
6. 6 Constraints are not suciently documented Informational
7. 7 BarycentricEvaluationConfig circuit returns zero on roots of unity Informational

Findings extracted from the published report PDF. See the full report below for details and remediation.