Releases · worldfnd/provekit

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-r1cs with 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_vec by @xrvdg in #176
chore: bump noir version in README and workflow by @Bisht13 in #181
feat: Parallelise generate_random_multilinear_polynomial by @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 NPS into Prover and Verifier by @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...

No results found