PSE#129: Call synthesize in MockProver multiple times to behave same as real prover
related to scroll/halo2: #61, and commit 7a62a6bd: add phase-check feature
PSE#168: Extend Circuit trait to take parameters in config
feature flag circuit-params and type Params = ();
PSE#180: feat: send sync region
To enable parallel layouts for large circuits, the Region struct is modified to be Send and Sync by constraining its inner element
PSE#185: Implement native shuffle argument and api
introduces ConstraintSystem::shuffle API, enabling efficient one-to-one mapping in dynamic lookup applications, saving permutation witness columns
PSE#209: Implement Sum & Prod trait impls for Expression
Improvement
PSE#150: feat(MockProver): replace errors by asserts
In MockProver, replace all code that returns an error by an assert that panics instead of returning the error
PSE#156: Allow halo2 constraint names to have non static names
name: &'static str >>> name: AsRef<str>
PSE#154: Improve halo2 query calls
Remove the dependency on VirtualCells to query cells from columns
PSE#192: feat: public cells to allow for implementations of custom Layouter
exposes the Layouter trait to allow for custom layouter implementation and makes cell.region_index and cell.row_offset public
PSE#199: Synchronize with zcash-halo2 [+2024, −1752]
updates the impl for SyncDeps to maintain backward compatibility, modifies CI to test different feature sets, resolves issues
PSE#211: Improve root calculation for KZG setup()
performance: ParamsKZG::setup
API change
PSE#129: Expose mod permutation and re-export permutation::keygen::Assembly
PSE#157: change: Migrate workspace to pasta_curves-0.5
ports the the workspace to the pasta_curves-0.5.0, ff-0.13 and group-0.13 deps
also to update a bit the halo2-gadgets
PSE#181: Add more getters to expose internal fields
Change Log
New feature
synthesize
inMockProver
multiple times to behave same as real prover related to scroll/halo2: #61, and commit 7a62a6bd: add phase-check featurecircuit-params
and type Params = ();Improvement
name: &'static str
>>>name: AsRef<str>
API change
Bug fix
selector.len() / 8 + 1
>>>(selector.len() + 7) / 8
Commits that we didn't pick
domain.constant_lagrange(C::Scalar::one());
as random_poly