v0.4.0

What's Changed

• Small updates to MockProver by @zemse in #256
• Frontend-Backend split by @ed255 in #254
• [Preview - historical] Frontend-Backend split by @ed255 in #243
• Move poly module from common to backend by @ed255 in #272
• fix: correct the pub types/fields(post frontend-backend split) by @duguorong009 in #276
• refactor: move the halo2_common::arithmetic to halo2_backend(post fe-be split) by @duguorong009 in #281
• docs: fix typos by @themighty1 in #284
• remove: multiexp_serial for halo2curves version by @CPerezz in #282
• fix: reset the changes introduced in getrandom import as dep by @duguorong009 in #286
• Remove/best {fft/multiexp} & other unused arithmetic functions by @CPerezz in #288
• refactor: move some types from common to backend (post-split)(plonk-0) by @duguorong009 in #287
• Make VerifyFailure::emit public by @georgwiese in #292
• chore: Doc, unit test, minors by @adria0 in #289
• Remove dependency to common ConstraintSystem in the backend by @ed255 in #290
• docs: explain unstable main, document frontend-backend split by @ed255 in #299
• Move "frontend" column types from middleware to the frontend by @ed255 in #300
• Fix filthy doc warnings that pollutes our PR diffs by @adria0 in #303
• refactor: remove the halo2_common crate(post-split) by @duguorong009 in #298
• chore: remove generic Expression::Scaled in favor of Product by @ed255 in #302
• fix: check thread-safe-region feature(post-split) by @duguorong009 in #296
• chore: document magic numbers in bytes_length by @duguorong009 in #304
• chore: fix "docs ghpages/deploy" ci by @duguorong009 in #305
• Bump peaceiris/actions-gh-pages from 3 to 4 by @dependabot in #311
• ZAL: ZK Accel Layer by @mratsim in #277
• chore: remove V2 from type names by @ed255 in #312
• feat!: remove the compress_selectors field from VerifyingKey by @duguorong009 in #310
• fix: expose more types for external projects by @duguorong009 in #314
• fix: review the pub types/fields(post-split)(1) by @duguorong009 in #307
• fix: enable the features in halo2_proofs crate by @guorong009 in #319
• fix!: roll back the compress_selectors logic by @guorong009 in #322
• reexport halo2curves in halo2_middleware so users don't need it as explicit dep by @Vindaar in #323
• Add basic code coverage by @adria0 in #328
• Update README.md by @adria0 in #330
• Increase code coverage by @adria0 in #333
• improve: apply tachyon optimizations(2 & 5) by @guorong009 in #329
• Add ParamsVerifierKZG by @davidnevadoc in #318
• minor: upgrade the halo2curves dep to 0.6.1 by @guorong009 in #339
• Implement Plonky3 frontend adaptor by @ed255 in #306
• fix: bump nightly version to build docs in CI by @ed255 in #341
• Improve Zal by @adria0 in #340
• Quick fix: random generator in ZAL MSM test by @davidnevadoc in #344
• improve: apply tachyon optimizations(1) by @guorong009 in #342
• patch: include shuffles in transcript, even when empty by @guorong009 in #348
• patch: include more fields to transcript by @guorong009 in #351
• feat: add halo2_debug package by @ed255 in #346
• Use vectors instead of slices for PI by @davidnevadoc in #353
• feat: add assertion for dynamic lookup by @guorong009 in #347
• feat: MockProver cell override by @teddav in #352
• Deterministic tests by @adria0 in #349
• fix: make lookup-any-sanity-checks optional in halo2_proofs by @ed255 in #358
• fix: correct the "plonk" benchmarking by @guorong009 in #360
• Bump halo2curves to 0.7 by @davidnevadoc in #366
• Bump to version 0.4.0 by @davidnevadoc in #367

New Contributors

• @duguorong009 made their first contribution in #276
• @themighty1 made their first contribution in #284
• @georgwiese made their first contribution in #292
• @dependabot made their first contribution in #311
• @guorong009 made their first contribution in #319
• @Vindaar made their first contribution in #323
• @teddav made their first contribution in #352

Full Changelog: v0.3.0...v0.4.0

v0.3.0

What's Changed

• Add more getters to expose internal fields by @ed255 in #181
• add a constructor by @Ethan-000 in #164
• feat: send sync region by @alexander-camuto in #180
• Fix parallelize workload imbalance by @mratsim in #186
• Implement native shuffle argument and api by @kilic in #185
• Updates halo2_curves dependency to released package by @huitseeker in #190
• feat: public cells to allow for implementations of custom Layouter by @alexander-camuto in #192
• fix: explicitly define mds diff type by @alexander-camuto in #196
• Expose transcript_repr of VerifyingKey and reduce the generic constraint by @han0110 in #200
• Synchronize with upstream by @han0110 in #199
• chore: Update rust-toolchain to 1.66 for testing by @CPerezz in #208
• fix: clippy by @thor314 in #203
• Host docs ghpages by @thogiti in #204
• Fix gh page doc index by @ChihChengLiang in #210
• Improve root calculation for KZG setup() by @chiro-hiro in #211
• Implement Sum and Product for Expression by @chokermaxx in #209
• Make multi scalar multiplication generic on the size of the Scalar by @iquerejeta in #221
• chore: fix typos in comments by @shuoer86 in #222
• feat: optionally unblinded advice columns by @alexander-camuto in #220
• [feat] Make selector compression optional by @jonathanpwang in #212
• chore: fix typos by @Insun35 in #225
• Document PSE fork features by @han0110 in #226
• Publish necessary properties for external use of KZG commitment by @chiro-hiro in #232
• chores: adjust domain api visibility by @hero78119 in #238
• remove: Delete the gadgets folder and stop support by @CPerezz in #241
• chore: correcting few mistakes in documentation by @IssouChancla in #240
• Benchmarking tool using cost estimator by @iquerejeta in #235
• Add derive_serde feature by @zemse in #246
• Expose mockprover data by @zemse in #245
• Add check for k in vk deserialization. by @davidnevadoc in #244
• update halo2curves to 0.6.0 by @kilic in #242

New Contributors

• @Ethan-000 made their first contribution in #164
• @mratsim made their first contribution in #186
• @huitseeker made their first contribution in #190
• @thor314 made their first contribution in #203
• @thogiti made their first contribution in #204
• @chiro-hiro made their first contribution in #211
• @chokermaxx made their first contribution in #209
• @iquerejeta made their first contribution in #221
• @shuoer86 made their first contribution in #222
• @Insun35 made their first contribution in #225
• @hero78119 made their first contribution in #238
• @IssouChancla made their first contribution in #240
• @zemse made their first contribution in #246
• @davidnevadoc made their first contribution in #244

Full Changelog: v2023_04_20...v0.3.0

v2023_04_20

What's Changed

• Call synthesize in MockProver multiple times to behave same as real prover by @han0110 in #129
• Expose mod permutation and re-export permutation::keygen::Assembly by @han0110 in #149
• feat(MockProver): replace errors by asserts by @ed255 in #150
• MockProver test utililities by @naure in #153
• feat: Parallel random blinder poly impl by @CPerezz in #152
• change: Migrate workspace to pasta_curves-0.5 by @CPerezz in #157
• Pin halo2curves version to 0.3.2 by @han0110 in #167
• Extend Circuit trait to take parameters in config by @ed255 in #168

New Contributors

• @ed255 made their first contribution in #150
• @naure made their first contribution in #153

Full Changelog: v2023_02_02...v2023_04_20

v2023_02_02

What's Changed

• fix: Support annotations for CellNotAssigned in verify_par by @CPerezz in #138
• feat: Add assert_satisfied_at_rows_par variant by @CPerezz in #139

Full Changelog: v2023_01_20...v2023_02_02

v2023_01_20

What's Changed

• fix: transcript instantiation in poseidon benchmark loop by @alexander-camuto in #128
• Improve performance of vk & pk keygen and of default parallelize chunking size by @pinkiebell in #127
• fix: Force VerifyFailure to own the annotations map by @CPerezz in #131

Full Changelog: v2023_01_17...v2023_01_20

v2023_01_17

What's Changed

• Implement multi-phase ConstraintSystem by @han0110 in #97
• Use stable channel rust by @han0110 in #99
• Configurable instance query by @han0110 in #96
• Add verifying key and proving key serialization by @jonathanpwang in #103
• chore: instance columns for poseidon bench by @alexander-camuto in #108
• Fix MockProver assert_verify panic errors by @CPerezz in #118
• Improve memory allocation when generating expression identifier by @adria0 in #115
• Parallelize SHPLONK multi-open prover by @jonathanpwang in #114
• fix: FailureLocation::find empty-region handling by @CPerezz in #121
• Feature: Expose Fixed columns & Assembly permutation structs in MockProver instance by @CPerezz in #123
• Feature to serialize/deserialize KZG params, verifying key, and proving key into uncompressed Montgomery form by @jonathanpwang in #111
• Add support for Column annotations for MockProver debugging by @CPerezz in #109
• chore: Move Codecov, wasm-build, Bitrot & doc-tests to push by @CPerezz in #125
• fix: Allow to compare Assembly structs by @CPerezz in #126
• Add keccak256 hasher for transcript by @kilic in #2

New Contributors

• @jonathanpwang made their first contribution in #103
• @alexander-camuto made their first contribution in #108
• @CPerezz made their first contribution in #118
• @adria0 made their first contribution in #115

Full Changelog: v2022_08_19...v2023_01_17

Apply fork commits

This release contains the followings:

• All past community contributions on the PSE fork. See #84 for specific changes
• All commits up to Zcash upstream 8ff5b1e3af95ce8e9dcf1e74173d3d62ad1770b0

Before merging the upstream

We create this release for the changes before we pull the upstream changes.

Last merged pr before this release is #78

Relicensing Announcement

After acquiring all contributors' consent in #74, we have relicensed the software from BOSL to MIT and Apache 2.0.