All pull requests

Pull requests

• fix(3823): cap RISC-V e2e at 30m and run dev-mock for config-only changes

  #4351·nadeemb53 opened Oct 30, 2026Member·1 of 4 tasks·

  ·
  2

• feat(verifier-ray): add minimal compiled dummy system codegen target

  #4349·ivokub opened Oct 30, 2026Contributor·2 of 4 tasks·

  ·

• test(prover-ray): guests with the same decoded table but different behaviour

  #4345·ivokub opened Oct 29, 2026Contributor·2 of 4 tasks·

  ·

• feat(prover-ray): added dummy circuit and zig verifier

  Prover-RAY
  #4344·Soleimani193 opened Oct 29, 2026Member·

  ·
  10

  

• feat(precompile): zkc ecrecover experiment

  precompile
  #4343·arijitdutta67 opened Oct 29, 2026Contributor·4 tasks·

  ·
  

• feat(riscv-guest): Refactoring to enable further Rollup GP development

  #4342·Filter94 opened Oct 29, 2026Contributor·4 tasks·

  ·
  2

• ci(deps): bump anthropics/claude-code-action from 1.0.257 to 1.0.259

  dependenciesgithub-actions
  #4341·dependabot[bot] opened Oct 29, 2026Bot·

  ·

• ci(deps): bump foundry-rs/foundry-toolchain from 1.9.1 to 1.9.2

  dependenciesgithub-actions
  #4340·dependabot[bot] opened Oct 29, 2026Bot·

  ·

• feat(coordinator): add RISC-V DaStream interface and FakeDaStream

  #4339·gauravahuja opened Oct 29, 2026Contributor·2 of 4 tasks·

  ·
  1

  

• feat(arithmetization): distinguish guest output from guest log

  #4325·DavePearce opened Oct 28, 2026Contributor·4 tasks·

  ·
  1

  6

• feat(prover-ray): field-agnostic Fiat-Shamir transcript on gnark-crypto FieldHasher

  #4306·ivokub opened Oct 26, 2026Contributor·

  ·

• feat(maru): add support of self-calculating terminal total difficulty

  team-coordinator
  #4295·jonesho opened Oct 23, 2026Contributor·4 tasks·

  ·
  17

  

• feat(verifier-ray): zkC - GKR

  #4257·Tabaie opened Oct 20, 2026Contributor·

  ·

• test(predecoding): incl. reference test vectors test and zkc checker diff

  Arithmetization
  #4247·srinathln7 opened Oct 20, 2026Contributor·

  ·
  2

  

• feat(recursion): merkle path

  #4243·ThomasPiellard opened Oct 19, 2026Contributor·6/6·

  ·
  1

  7

• feat(prover-ray): prepare centralized prover

  Prover-RAY
  #4242·Soleimani193 opened Oct 19, 2026Member·

  ·
  2

  

• feat(prover ray): remaining compilers (grandprod, logsum, lookups, messagebus) + LTHash

  Prover-RAY
  #4239·bogdanbear opened Oct 19, 2026Contributor·1 of 3 tasks·

  ·
  

• perf(prover-ray): evaluate the quotient, log-derivative and grand-product rows with vector programs

  #4203·YaoJGalteland opened Oct 13, 2026Contributor·2/2·3 of 4 tasks·

  ·
  3

• perf(prover-ray): parallelise and pool the R5 commits, opening, Lagrange evaluation and lookup

  Prover-RAY
  #4202·YaoJGalteland opened Oct 13, 2026Contributor·1/2·3 of 4 tasks·

  ·
  

• fix(postman): convert claim tx fee columns to bigint in message mapper

  #4201·s1ns3nz0 opened Oct 13, 2026·3 of 4 tasks·

  ·
  1

• feat(arithmetization): reenable block_23985771_runWithBesu and block_28279180_runWithBesu

  #4188·amkCha opened Oct 12, 2026Contributor·4 tasks·

  ·
  1

• perf(prover-ray): evaluate each shared quotient subexpression once

  #4157·YaoJGalteland opened Oct 8, 2026Contributor·3/3·3 of 4 tasks·

  ·
  1

• feat(arithmetization): add sample block tracing ci

  #4139·amkCha opened Oct 6, 2026Contributor·4 tasks·

  ·
  18

• fix(riscv-guest): Trying to fix CTT's performance

  #4133·Filter94 opened Oct 6, 2026Contributor·4 tasks·

  ·

• docs: retarget maru release workflow to maru-release.yml

  #4105·imitater-dou opened Oct 2, 2026·

  ·