GeezerVison

Pull requests

• Counted pulls in formal/: LT with byte μ and soundness by finishing order, on the Clean fork

  #1031·jotabulacios opened Nov 4, 2026Collaborator·

  ·

• Add link to Contents to navigate the document

  #1029·cdesaintguilhem opened Oct 27, 2026Collaborator·

  ·
  6

• feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo…

  #1027·ColoCarletti opened Oct 22, 2026Collaborator·

  ·
  7

• Field vm/3mi whir

  #1026·jotabulacios opened Oct 21, 2026Collaborator·

  ·
  1

• Discussion: split proving implementation

  #1019·erik-3milabs opened Oct 14, 2026Collaborator·

  ·
  38

• Extend split-recursion to multiple proof systems

  #1018·RobinJadoul opened Oct 13, 2026Collaborator·

  ·
  37

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  #1014·MauroToscano opened Sep 30, 2026Contributor·

  ·
  2

• STARK no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  #1013·MauroToscano opened Sep 30, 2026Contributor·

  ·
  2

• STARK recursion with BLAKE3 on the batched CPU pipeline: the August configuration, 104.2 min / 358.2 GiB

  #1011·MauroToscano opened Sep 28, 2026Contributor·

  ·

• WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 32.62 s

  #1010·MauroToscano opened Sep 28, 2026Contributor·

  ·
  2

• STARK recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 60.18 s

  #1009·MauroToscano opened Sep 28, 2026Contributor·

  ·
  1

• Derive page configs without a per-byte image

  #1006·jotabulacios opened Sep 23, 2026Collaborator·

  ·
  4

• fix(lfm,tests): the eleven pins the main-sync port left behind, each against its mover

  #1002·MauroToscano opened Sep 21, 2026Contributor·

  ·
  2

• perf: stream Keccak lookups across histogram workers

  #1001·diegokingston opened Sep 21, 2026Collaborator·

  ·
  2

• Write the keccak state in one literal

  #1000·jotabulacios opened Sep 21, 2026Collaborator·

  ·
  9

• perf(math-cuda): round 2 — evictable leaf-layer retention (−9.1s on the block wall)

  #999·MauroToscano opened Sep 20, 2026Contributor·

  ·

• feat(multilinear): the sumcheck, and the two arguments built on it

  #998·ColoCarletti opened Sep 18, 2026Collaborator·

  ·

• refactor(stark): share what the multilinear path needs

  #997·ColoCarletti opened Sep 18, 2026Collaborator·

  ·

• Prove-and-retire prover (Approach 1), per-table and batched

  #994·jotabulacios opened Sep 18, 2026Collaborator·

  ·
  1

• build(guest): remap the absolute paths out of the guest ELF, and pin its sha256

  #993·MauroToscano opened Sep 18, 2026Contributor·

  ·

• Make the WHIR path's hash a parameter, and add an RPX256 instantiation

  #992·MauroToscano opened Sep 16, 2026Contributor·

  ·

• feat(vm): add constrained SHA-256 compression precompile

  #990·diegokingston opened Sep 15, 2026Collaborator·

  ·
  5

• Multilinear whir

  #988·ColoCarletti opened Sep 14, 2026Collaborator·

  ·
  1

• Bump ethrex to 26.0.0 and rebuild the benchmark workload

  #983·jotabulacios opened Sep 10, 2026Collaborator·

  ·
  43

• docs(tables): correct the stale per-table census and name its derivation

  #982·MauroToscano opened Sep 10, 2026Contributor·

  ·