Releases: worldfnd/provekit
Releases · worldfnd/provekit
provekit v1.0.0
What's Changed
- DRAFT: Implementation of FRI and WHIR in sagemath by @yswami-tfh in #2
- Add Brillig support by @benjaminwilson in #4
- Spartan + WHIR as PCS by @veljkovranic in #3
- continued support for noir -> r1cs by @dolores-park in #1
- Refactor end-to-end prover. by @recmo in #7
- Refactor overhaul to simplify architecture by @recmo in #10
- Measuring allocator and span statistics by @recmo in #11
- Add secp256r1 signature verification example by @recmo in #12
- Add serde by @recmo in #13
- Improve witness generation by @recmo in #14
- Add Interning of field elements. by @recmo in #15
- Optimizations by @recmo in #16
- Optimize Merkle Tree by @recmo in #17
- reorder CI for a faster feedback loop + minor fixes by @Dzejkop in #21
- Calculate from transcript by @batmendbar in #20
- Blackbox range function (WIP) by @vishady721 in #18
- [WIP] Noir passport program + "native" Noir SHA-256 impl by @RyanCao7 in #22
- Adds gnark input generation by @batmendbar in #24
- fix: clippy lints by @xrvdg in #36
- Complex M31 field extension and NTT by @weijiekoh in #19
- Round towards Zero by @xrvdg in #28
- Support for more architectures and rounding modes. by @recmo in #38
- BN254 Block Multiplier (Rust Version) by @Quarky93 in #34
- High Level Assembler by @xrvdg in #26
- BN254 Montgomery Multipliers (Scalar, SIMD, Block) by @xrvdg in #27
- Block skyscrapper by @Quarky93 in #23
- Add Divan benchmarks by @recmo in #39
- Fix merkle hash bench by @recmo in #41
- fmt & enable fmt in CI by @Dzejkop in #40
- Skyscraper v2 by @recmo in #42
- Parallel PoW with SkyscraperV2 by @recmo in #43
- Use a generic implementation to avoid duplicated code. by @recmo in #44
- Add codspeed by @recmo in #45
- Benchmark prover by @recmo in #46
- Fix clippies by @recmo in #47
- Vishady/offline memory checking into main by @vishady721 in #50
- Explorations in Mersenne 31 by @recmo in #25
- Vishady/witness builder enum by @vishady721 in #52
- Add Project documentation by @recmo in #53
- Fix file paths in README after cd by @ClementWalter in #48
- Binops integrated by @benjaminwilson in #51
- Vishady/adding logup by @vishady721 in #93
- mixed base range check by @vishady721 in #94
- read write memory checking using spice by @vishady721 in #95
- Vishady/binops by @vishady721 in #96
- noir native sha256 impl + sha256 test by @vishady721 in #97
- Clippy, deps & stuff by @Dzejkop in #100
- Fixes file paths by @batmendbar in #99
- Fix integration tests by @Dzejkop in #102
- Bounded test generator for Montgomery multiplication by @xrvdg in #101
- reduce_1: extend domain to full 2**256 by @xrvdg in #109
- Fix CI pipeline by @Dzejkop in #107
- CI contd. by @Dzejkop in #111
- Optimised Montgomery squaring by @xrvdg in #108
- Fix issue tracker & lock Rust version by @Dzejkop in #119
- Adds gnark-whir recursive verifier by @batmendbar in #110
- Reductionless block multipliers by @xrvdg in #116
- Document domain and range of Montgomery multiplication algorithms by @xrvdg in #118
- Add end to end CI by @batmendbar in #121
- Execute the program to generate the witness by @Dzejkop in #122
- Build on GH runners for RP5 benchmarks by @Dzejkop in #123
- Bump CodSpeed to v3 by @adriencaccia in #128
- Noir complete passport program by @RyanCao7 in #115
- Move up whir version with gnark by @batmendbar in #130
- gnark-whir: Dump CCS to file, read PK/VK from file, update Gnark to v0.13 by @wzmuda in #129
- Spark Progress by @batmendbar in #136
- Replace mock transcript with domain-separated witness RNG by @ashpect in #139
- Remove SPARK and add back direct matrix evaluation by @batmendbar in #141
- fix: uncomment compiler tests by @veljkovranic in #144
- Add ZK to WHIR and Spartan by @veljkovranic in #138
- Use zk-whir variant instead of the leaky one by @veljkovranic in #132
- Fix: Update
noir-r1cswith Skyscraper v2 by @shreyas-londhe in #142 - feat: Refactor by @Bisht13 in #153
- dockerize and server integration for gnark-whir by @ashpect in #154
- feat: revise README for command updates and benchmarks by @Bisht13 in #171
- fix gnark-verifier-ci-bug by @ashpect in #175
- Add more profiling tools by @piohei in #134
- Upgrade passport circuits to latest Noir version by @0xVikasRushi in #172
- Reduce allocations in
solve_witness_vecby @xrvdg in #176 - chore: bump noir version in README and workflow by @Bisht13 in #181
- feat: Parallelise
generate_random_multilinear_polynomialby @Bisht13 in #182 - chore: comment out noisy range check log by @veljkovranic in #183
- perf(common): Parallelize polynomial generation via spare_capacity by @Bisht13 in #186
- E2E: complete age check by @cichaczem in #180
- Passport Reader by @0xVikasRushi in #178
- chore: update whir dependency revision in Cargo.toml by @Bisht13 in #192
- Noir Passport Verifier Circuits by @0xVikasRushi in #189
- Fix: Recursive Verification by @shreyas-londhe in #185
- feat: Add Verifier Server by @Bisht13 in #173
- feat(span-stats): include current memory in span start/close output by @Bisht13 in #197
- Memory access optimised NTT for BN254 by @xrvdg in #174
- fix: automate bench files creation by @ashpect in #200
- Noir Passport Circuits Optimization by @0xVikasRushi in #194
- RecursiveVerifier Improvements by @ashpect in #206
- feat: Implement layered witness solving with batch inversion optimization by @shreyas-londhe in #196
- Feat: Add BlackBox::Sha256Compression by @shreyas-londhe in #203
- NTT Engine by @xrvdg in #202
- NTT over interleaved polynomials by @xrvdg in #204
- feat: Split
NPSintoProverandVerifierby @Bisht13 in #210 - Fix logging, tracing and tracy by @recmo in #217
- OPRF Noir implementation by @0xVikasRushi in #209
- Ignore bin_ops, range checks constraints unless necessary by @rose2221 in https://gi...