All pull requests

Pull requests

• Release ProveKit v1.0.3 (zstd 0.14 security bump)

  #519·alessandromazza98 opened Oct 26, 2026·

  ·

• fix(deps): bump zstd to 0.14 (RUSTSEC-2026-0391/0398/0403/0410)

  #518·alessandromazza98 opened Oct 26, 2026·

  ·
  3

• feat: consume the single mavros artifact

  #515·BornPsych opened Oct 21, 2026Collaborator·2/2·

  ·
  2

• Succint Verifier Experiments

  #514·recmo opened Oct 21, 2026Contributor·

  ·
  1

• Perf: Covector reuse and parallelization (20% less proving time)

  #513·zkfriendly opened Oct 20, 2026Collaborator·

  ·
  2

• fix(r1cs-compiler): make spread_decompose term order deterministic

  #511·ThePhatPhox opened Oct 18, 2026·

  ·
  1

  1

• feat: Mavros main and sound Mavros public-input binding

  #507·BornPsych opened Oct 12, 2026Collaborator·1/2·

  ·
  4

• feat: store the ABI as CBOR instead of a JSON string

  #499·Developerayo opened Sep 25, 2026·

  ·
  1

  1

• Build whitepaper PDF with GitHub Actions

  #492·wf-orbie opened Aug 28, 2026Collaborator·

  ·
  2

• chore(ci): add Kani workflow

  #491·wf-orbie opened Aug 27, 2026Collaborator·

  ·
  2

• bench: publish ProveKit V1 benchmark results

  #483·dcbuild3r opened Jul 23, 2026Collaborator·

  ·
  6

• feat(groth16): on-chain Groth16+BSB22 verifier

  #447·rose2221 opened May 26, 2026Collaborator·

  ·
  1

• perf(prover): collapse R1CS row-covectors into one before WHIR

  #446·BornPsych opened May 22, 2026Collaborator·3 of 4 tasks·

  ·

• WASM Mavros integration

  #445·veljkovranic opened May 20, 2026Collaborator·

  ·
  2

• Drop unused r1cs after sumcheck and use par_iter in accumulate

  #441·zkfriendly opened May 14, 2026Collaborator·

  ·

• feat: add Groth16+BSB22 backend

  #427·rose2221 opened Apr 29, 2026Collaborator·

  ·
  2

• Zkfr/irs commit

  #418·zkfriendly opened Apr 21, 2026Collaborator·

  ·

• docs: overhaul README

  #415·Bisht13 opened Apr 20, 2026Collaborator·

  ·

• chore(readme): Simplify Mavros' instructions by merging with Nargo's

  #312·Savio-Sou opened Mar 4, 2026·

  ·