Tags: spaceandtimefdn/blitzar-rs
Tags
feat: add sumcheck interface (PROOF-913) (#70) * bump blitzar version * field support * add stub for sumcheck * add sumcheck transcript * fill in sumcheck * fill in sumcheck * fill in sumcheck * fill in sumcheck * fill in sumcheck * fill in sumcheck * fill in sumcheck * fill in sumcheck * fill in sumcheck * fill in sumcheck * add stub for test * fill in sumcheck tests * reformat * fill in transcript * fill in sumcheck test * add test * fix fptr * fill in sumcheck tests * fill in sumcheck tests * add sumcheck tests * add tests * add tests * fill in documentation * add assertions * fill in sumcheck * doc * clippy * doc * clippy * reformat * reformat * fix typo * add copyrights
perf: improve ark to halo2 g1 affine point conversion (#68) * test: add random number tests to arkworks_halo2_interop_tests module * bench: add Criterion benchmarks for arkworks_halo2_interop module * perf: improve ark to halo2 conversion * refactor: add convert_halo2_to_limbs method and tests
feat: support commitment computation with halo2curves bn256 points (#58) * feat: add conversion module to help convert halo2curve to arkworks points * feat: expose the conversion module * test: add tests for the conversion module * chore: fix fmt errors * refacotr: update module names * avoid Montgomery conversion * remove unnecessary methods * feat: add halo2curves bn256 compute commitment funciton * add docs for new function * feat: expose the new halo2curves commitment computaiton funciton * test: add tests for the halo2curves bn256 commitment computation * fix: update trait name * chore: fmt code * refactor: update code to reflect upstream changes to conversion code * chore: remove extern crate from examples * refactor: improve halo2 commitment computation * remove SxtHalo2Bn256G1
feat: add conversion functions to support halo2curves bn256 points (#57) * feat: add halo2curves crate to the project * feat: add bytemuck crate to project * feat: add conversion module to help convert halo2curve to arkworks points * feat: expose the conversion module * test: add tests for the conversion module * chore: fix fmt errors * refacotr: update module names * avoid Montgomery conversion * remove unnecessary methods * perf: keep values in montgomery form
feat: Add a Method to Support Dynamic Element Sizes in `Sequence` (#44) * feat: add a method to support dynamic element sizes in `Sequence` Signed-off-by: Tarek <tareknaser360@gmail.com> * update from_raw_parts to use from_raw_parts_with_size Signed-off-by: Tarek <tareknaser360@gmail.com> --------- Signed-off-by: Tarek <tareknaser360@gmail.com>
PreviousNext