All pull requests

Pull requests

• fix(gpu): preserve 40-bit replay cycles and skip empty arenas

  #1404·hero78119 opened Sep 22, 2026Collaborator·

  ·

• feat(zkLLM): Add proof-bound TensorBus execution for Llama-7B/2048

  #1402·hero78119 opened Aug 28, 2026Collaborator·

  ·
  1

• [CI] avoid token unset and replace with short mint token

  #1371·hero78119 opened Jun 24, 2026Collaborator·

  ·

• fix(soundness): #1296 RISC-V opcode soundness audit

  #1345·spherel opened May 29, 2026Contributor·7 tasks done·

  ·
  3

  

• [recursion] refactor with static inline

  #1252·hero78119 opened Feb 6, 2026Collaborator·

  ·

• feat: group expressions by selectors

  #1251·spherel opened Feb 1, 2026Contributor·

  ·

• lw/sw single chip

  #1219·hero78119 opened Jan 7, 2026Collaborator·

  ·
  1

• feat: add more tests

  #1146·lightsing opened Nov 21, 2025Contributor·

  ·

• improve arithmetics efficiency of expression

  #1122·hero78119 opened Nov 7, 2025Collaborator·

  ·
  6

• Additional testing for changes due to rayon being replaced by p3::maybe-rayon

  #1080·Sahilgill24 opened Oct 1, 2025·

  ·
  3

• ci test for non-u16limb-circuit

  #1049·hero78119 opened Sep 1, 2025Collaborator·

  ·

• [DONT' MERGE] simple babybear arithmetic examples

  #997·kunxian-xia opened Aug 4, 2025Contributor·

  ·

• [Experiment] new crates subprotocols

  #960·hero78119 opened May 30, 2025Collaborator·

  ·

• docs (README.md): fix typo

  #958·gap-editor opened May 28, 2025·

  ·

• [EXPERIMENT] experiment 4-1 logup/product arguments

  #932·hero78119 opened Apr 30, 2025Collaborator·

  ·

• Fix an example code in doc comments (cargo test tries to run it)

  #928·yczhangsjtu opened Apr 28, 2025Contributor·

  ·
  1

• Add binary exec to generate test vectors for verifier

  #916·yczhangsjtu opened Apr 23, 2025Contributor·

  ·

• [Experiment] ceno + babybear

  BabyBear
  #905·hero78119 opened Apr 17, 2025Collaborator·

  ·
  1

  1

• Batched commitment of polys with different sizes on mpcs layer

  mpcsoptimization
  #864·Jiangkm3 opened Mar 18, 2025·

  ·
  5

• Improve CLI hints

  #829·mcalancea opened Feb 11, 2025Contributor·

  ·

• chore: fix several typos in docs and comments

  #825·roublardise opened Feb 1, 2025·

  ·

• Support for benchmarks

  #822·matthiasgoergens opened Jan 14, 2025Contributor·

  ·
  5

• Debugger support for guests (WIP)

  #812·matthiasgoergens opened Jan 7, 2025Contributor·

  ·

• accelerate wit_infer_by_expr via grid-strde-loop & vector pool

  #775·hero78119 opened Dec 19, 2024Collaborator·2 tasks done·

  ·
  3

• Remove ROM from platform

  #773·matthiasgoergens opened Dec 18, 2024Contributor·

  ·
  1