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