Issues

• Use dynamic prime field with modulus sampled at runtime

  difficulty: mediumurgency: high
  worldfnd/BitZ#136 · Filter by author frozenspider opened on Sep 24, 2026
  

• PCS: borrow reusable witnesses and lazily cache alternate layouts

  difficulty: mediumenhancementmemoryoptimization-portpcsurgency: medzero-copy
  worldfnd/BitZ#134 · Filter by author wu-s-john opened on Sep 24, 2026

• Wengert: evaluate delayed reduction for high-fan-in nodes

  delayed-reductiondifficulty: mediumenhancementoptimization-porturgency: lowwengert
  worldfnd/BitZ#133 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: evaluate one authenticated opening across BitZ and Binius roots

  batchingdifficulty: hardenhancementhybridoptimization-portpcsurgency: low
  worldfnd/BitZ#132 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: evaluate RLC families with lazy case-weighted forests

  difficulty: hardenhancementgkroptimization-portpcsrlcurgency: low
  worldfnd/BitZ#131 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: evaluate shared forests for structured tap claims

  difficulty: hardenhancementgkroptimization-portpcsstructured-tapsurgency: low
  worldfnd/BitZ#130 · Filter by author wu-s-john opened on Sep 24, 2026

• GKR: evaluate a versioned arity-four forest

  aritydifficulty: hardenhancementgkroptimization-portsumcheckurgency: low
  worldfnd/BitZ#129 · Filter by author wu-s-john opened on Sep 24, 2026

• GKR: evaluate a fourth bit-driven leaf round

  difficulty: mediumenhancementgkrlookup-tablesmemoryoptimization-porturgency: low
  worldfnd/BitZ#128 · Filter by author wu-s-john opened on Sep 24, 2026

• Grinding: batch nonce tests with SIMD and ordered parallel search

  difficulty: mediumenhancementgrindingoptimization-portparallelismsimdurgency: med
  worldfnd/BitZ#127 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: stream canonical row weights from compact sources

  difficulty: mediumenhancementeq-splitmemoryoptimization-portpcsurgency: med
  worldfnd/BitZ#126 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: qualify fold-buffer recycling on ARM

  allocationdifficulty: easyenhancementmemoryoptimization-portpcsurgency: med
  worldfnd/BitZ#125 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: evaluate two Ligerito sumcheck rounds per fold pass

  difficulty: harddouble-foldenhancementoptimization-portpcssumcheckurgency: med
  worldfnd/BitZ#124 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: compute the first sumcheck message while building the basis

  difficulty: easyenhancementoptimization-portpass-fusionpcssumcheckurgency: high
  worldfnd/BitZ#123 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: compute structured virtual claims with reusable dual-basis planes

  difficulty: hardenhancementoptimization-portpcstensor-factorurgency: medvirtual-opening
  worldfnd/BitZ#122 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: add a versioned dual-basis opening for virtual claims

  difficulty: hardenhancementoptimization-portpcsring-switchurgency: highvirtual-opening
  worldfnd/BitZ#121 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: use lookup-table kernels for ring-switch claims

  difficulty: mediumenhancementlookup-tablesoptimization-portpcsring-switchurgency: high
  worldfnd/BitZ#120 · Filter by author wu-s-john opened on Sep 24, 2026

• PCS: fold integer columns with nibble tables and shared scans

  difficulty: mediumenhancementinteger-foldlookup-tablesoptimization-portpcsurgency: high
  worldfnd/BitZ#119 · Filter by author wu-s-john opened on Sep 24, 2026

• Add x86 carryless-multiply kernels to the GKR field backend

  difficulty: hardenhancementfield-arithmeticgkroptimization-portsimdurgency: med
  worldfnd/BitZ#118 · Filter by author wu-s-john opened on Sep 24, 2026

• Prepare fixed GKR challenges and add whole-buffer AArch64 kernels

  difficulty: hardenhancementfield-arithmeticgkroptimization-portsimdurgency: med
  worldfnd/BitZ#117 · Filter by author wu-s-john opened on Sep 24, 2026

• Parallelize forest construction and select public lazy schedules

  difficulty: hardenhancementgkroptimization-portparallelismschedulingurgency: high
  worldfnd/BitZ#116 · Filter by author wu-s-john opened on Sep 24, 2026

• Gate AArch64 GKR gather prefetch by measured table footprint

  cachedifficulty: easyenhancementgkrhardwareoptimization-porturgency: low
  worldfnd/BitZ#115 · Filter by author wu-s-john opened on Sep 24, 2026

• Tile shared GKR lookups across trees and preweight fold stashes

  cachedifficulty: mediumenhancementgkrlookup-tablesoptimization-porturgency: med
  worldfnd/BitZ#114 · Filter by author wu-s-john opened on Sep 24, 2026

• Select compact GKR lookup layouts by measured table footprint

  cachedifficulty: mediumenhancementgkrlookup-tablesoptimization-porturgency: med
  worldfnd/BitZ#113 · Filter by author wu-s-john opened on Sep 24, 2026

• Skip structurally padded all-one GKR trees analytically

  difficulty: mediumenhancementgkrmemoryoptimization-portpaddingurgency: med
  worldfnd/BitZ#112 · Filter by author wu-s-john opened on Sep 24, 2026

• Fuse lazy GKR materialization with message and grid accumulation

  difficulty: mediumenhancementgkrlazy-tablesoptimization-portpass-fusionurgency: med
  worldfnd/BitZ#111 · Filter by author wu-s-john opened on Sep 24, 2026