feat: ADVZ PayloadProver support requests that span multiple polynomi…

…al (#438) * refactor test, add failing test case * wip untested payload_proof for SmallRangeProof allow range to span multiple polynomials * support arbitrary ranges for ShortRangeProof with tests (yay) * support arbitrary ranges for LongRangeProof with tests (yay) * offset_elem slightly less ugly * final_points_range_end slightly less ugly * remove TODO * update changelog * add test for a wrong proof as per #438 (comment)
EspressoSystems · Dec 5, 2023 · 080ff32 · 080ff32
1 parent 833d7ca
commit 080ff32
Show file tree

Hide file tree

Showing 2 changed files with 246 additions and 185 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -38,6 +38,7 @@ and follow [semantic versioning](https://semver.org/) for our releases.
 - [#381](https://github.com/EspressoSystems/jellyfish/pull/381) VID take iterator instead of slice
 - [#389](https://github.com/EspressoSystems/jellyfish/pull/389) Hello-world namespace support for ADVZ VID scheme
 - [#406](https://github.com/EspressoSystems/jellyfish/pull/406) Implement KZG multiproof
+- [#438](https://github.com/EspressoSystems/jellyfish/pull/438) ADVZ PayloadProver support requests that span multiple polynomial
 
 ### Changed