v3.0.1

3.0.1 - 2026-06-08

🐛 Bug Fixes

• (verifier) Bind static proof-item size word in Fiat-Shamir absorb (7bc2c46a)
• (structure) Bound static-element Vec/Polynomial length before mod-p multiply (5d22b95e)

📚 Documentation

• (structure) Clarify VerifyNdSiIntegrity's responsibility (03f4c32e)
• (hashing) Document SampleIndices power-of-two precondition (f5229956)

⚙️ Miscellaneous

• Add regression PoC for unbound FS absorb length on static proof items (79e11aac)