6 merged PRs (1), 1 closed issues (1), 3 open issues (1)
- PR: Merkle Proving by @tchataigner
- PR: bellpepper-bls12381 implementation by @wwared
- PR: Add check_equality and assert_equality for points on ed25519 by @varunthakore
- PR: feat: keccak/sha3 gadgets by @huitseeker
- PR: feat: Implement support for SHA-512/256 variant in sha512 crate by @huitseeker
- PR: ci: update CI to use reusable workflows by @huitseeker
6 merged PRs (1), 1 closed issues (1), 3 open issues (1)
- PR: Merkle Proving by @tchataigner
- PR: bellpepper-bls12381 implementation by @wwared
- PR: Add check_equality and assert_equality for points on ed25519 by @varunthakore
- PR: feat: keccak/sha3 gadgets by @huitseeker
- PR: feat: Implement support for SHA-512/256 variant in sha512 crate by @huitseeker
- PR: ci: update CI to use reusable workflows by @huitseeker
102 merged PRs (1, 2, 3, 4, 5, 6, 7, 8), 37 closed issues (1, 2, 3, 4, 5, 6), 26 open issues (1, 2, 3, 4, 5)
- PR: Merkle Proving by @tchataigner
- PR: Test vectors & benchmark for PCS by @tchataigner
- PR: Implement MemoSet. by @porcuquine
- PR: bellpepper-bls12381 implementation by @wwared
- PR: Store refactor by @gabriel-barrett
- PR: Refactor 'kzg_verify_batch' closure in MLKZG verification by @storojs72
- PR: Introducing Keccak example and cleanup by @tchataigner
- PR: Saving scalar multiplications while computing 'UVKZGPCSCommitment' by @storojs72
- PR: Accumulate insertions in HashMap to avoid sort. by @porcuquine
- PR: Chore: generalize the REPL field and enable BN256 by @arthurpaulino
- PR: Chore: folding in parallel with witness generation for NIVC by @arthurpaulino
- PR: Refactor Supernova benchmarks and config for CI by @samuelburnham
- PR: Optimising proving by avoiding recomputing final
Pi
polynomial in MLKZG by @storojs72 - PR: Add check_equality and assert_equality for points on ed25519 by @varunthakore
- PR: feat: keccak/sha3 gadgets by @huitseeker
- PR: Refactor public parameters based on Arecibo changes by @huitseeker
- PR: Environment optimization by @gabriel-barrett
- PR: Multiple lookups, simpler rec environment by @gabriel-barrett
- PR: feat: Implement batch operations in non_hiding_kzg module by @huitseeker
- PR: (Easy) Supernova feedback by @huitseeker
- PR: Parallel computation of
Pi
polynomials by @storojs72 - PR: chore: Refine git source permissions by @huitseeker
- PR: feat: Implement support for SHA-512/256 variant in sha512 crate by @huitseeker
- PR: ci: Fix GPU bench regression check by @samuelburnham
- PR: ci: Use reusable workflows for code quality tests by @samuelburnham
- PR: Fixed load command by @gabriel-barrett
- PR: fix: allow SuperNova compressed proof serialization and size computation by @huitseeker
- PR: Minor MLKZG adjustments (Nova forward ports) by @huitseeker
- PR: ci: Refactor GitHub workflows by @huitseeker
- PR: Add Grumpkin-Pasta bindings by @winston-h-zhang
- PR: Cleanup memory pipeline for SuperNova by @winston-h-zhang
- PR: fix: Add a working
cuda
feature by @winston-h-zhang - PR: fix: Guard ADX Feature by @winston-h-zhang
- PR: Add pasta bindings by @winston-h-zhang
- PR: Separate coroutine circuits. by @porcuquine
- PR: Use Bn256/Grumpkin curves as a default setting by @storojs72
- PR: chore: dependency updates by @huitseeker
- PR: fix: typos by @Thabokani
- PR: Generic
Prover
by @gabriel-barrett - PR: Make internal insertion transcript optional with config. by @porcuquine
- PR: [Issue#1018] Reproducible example (and fix) by @storojs72
- PR: ci: nightly GitHub Action workflow by @huitseeker
- PR: Fix examples by @gabriel-barrett
- PR: ci: Fix GPU CI required status check by @samuelburnham
- PR: Make circuit own coprocessor and coroutine. by @porcuquine
- PR: ci: Fix GPU merge regression check action by @samuelburnham
- PR: Move memoset to coroutine module. by @porcuquine
- PR: Remove LEM path by @gabriel-barrett
- PR: chore: proofreading soundness-nodes.md by @BorkBorked
- PR: chore: Drop OpenCL, and refactor Cargo.toml for workspace use by @huitseeker
- PR: refactor: simplify some memoset generics by @huitseeker
- PR: Make memoset API generic by @gabriel-barrett
- PR: chore: Update halo2curves and other dependencies by @huitseeker
- PR: Remove uneeded bounds on structs by @huitseeker
- PR: refactor: Remove MultiFrameTrait by @huitseeker
- PR: Request review from
lurk-eval
for changes insrc/lem/eval.rs
by @arthurpaulino - PR: Chore: generalize the REPL's Lang by @arthurpaulino
- PR: fix: adapt to arecibo changes by @huitseeker
- PR: chore: Update Rust dependencies and Dependabot configuration by @huitseeker
- PR: chore: Refine git source permissions by @huitseeker
- PR: refactor: avoid superfluous clones in
ProverKey
andVerifierKey
for Nova & SuperNova by @huitseeker - PR: refactor: add missing Debug implementations by @huitseeker
- PR: Enable
grumpkin-msm
CUDA feature by @samuelburnham - PR: Nova forward ports by @huitseeker
- PR: chore: Upgrade rust toolchain by @huitseeker
- PR: ci: Disable debug info for GPU tests by @samuelburnham
- PR: ci: Improve GitHub GPU regression action by @huitseeker
- PR: Shorten benchmark names and fix CI by @samuelburnham
- PR: refactor: Implement and integrate
rlc
function for simplified lin. combination by @huitseeker - PR: ci: Fix errors by @samuelburnham
- PR: ci: Fix GPU merge regression check workflow by @samuelburnham
- PR: chore: Refactor GPU tests and dependencies, remove OpenCL support by @huitseeker
- PR: chore: Update halo2curves dependency and adjust grumpkin-msm source by @huitseeker
- PR: Fix docs by @huitseeker
- PR: ci: Add comparative GPU benchmarks on
merge_group
by @samuelburnham - PR: Remove uneeded bounds on structs by @huitseeker
- PR: fix: remove needless visibility modifiers by @huitseeker
- PR: fix: make sure tests compile on Wasm properly by @huitseeker
- PR: ci: Add GPU tests on
merge_group
by @samuelburnham - PR: chore: Refactors CPU MSM operations using halo2curves library by @huitseeker
- PR: Developer quality of life improvements (Nova forward ports) by @huitseeker
- PR: Delete direct snark by @huitseeker
- PR: chore: Refine git source permissions by @huitseeker
- PR: Refactor pre-processing SNARK by @huitseeker
- PR: CI: install nightly & clean up by @huitseeker
- PR: fix: typos by @vuittont60
- PR: ci: set up nextest profile and
dev-ci
Cargo profile by @huitseeker - PR: Fix poseidon.rs by @gabriel-barrett
- PR: chore: upgrade generic-array & re-export it by @huitseeker
- PR: chore: Refine git source permissions by @huitseeker
- PR: ci: Nightly job + toolchain update by @huitseeker
- PR: Ci maintenance by @huitseeker
- PR: ci: update CI to use reusable workflows by @huitseeker
- PR: ci: Introduce 'dev-ci' profile in Cargo.toml by @huitseeker
- PR: chore: Upgrade
halo2curves
dependency to version0.6.0
by @huitseeker - PR: Restore CUDA feature flag in
build.rs
by @winston-h-zhang - PR: ci: use reusable workflows by @huitseeker
- PR: refactor: re-organize build script by @huitseeker
- PR: Add ThirdPartyNotice by @winston-h-zhang
- PR: ci: use reusable ci by @huitseeker
- PR: chore: fix typo in README by @tchataigner
- PR: ci: switch to dtolnay/rust-toolchain by @huitseeker