AztecProtocol/barretenberg

Issues

• Manual self_reduce() in sumcheck on bigfield

  #1197 opened 9 hours ago
  0

• Evaluate multithreading for even distribution

  #1195 opened 5 days ago
  0

• Handle edge cases in PCS

  #1194 opened 6 days ago
  0

• More robust solution for MAX_LOOKUP_TABLES_SIZE

  #1193 opened 7 days ago
  0

• Stacktraces in errors

  #1192 opened 7 days ago
  1

• Shplemini Refactor

  #1191 opened 8 days ago
  0

• Superlinearity of the prover

  #1190 opened 7 days ago
  1

• Recursion: generate TOML? Break up TOML?

  #1189 opened 8 days ago
  0

• Proper stdlib logic in SmallSubgroupIPA

  #1186 opened 13 days ago
  0

• Move IPA specific functionality to IPA class

  #1184 opened 8 days ago
  0

• Use Rollup Root proof type for root rollup circuit

  #1183 opened 12 days ago
  0

• Move IPA proof handling to ProofSurgeon class

  #1182 opened 22 days ago
  0

• Create enum for honk_recursion bool

  #1181 opened 22 days ago
  0

• Avoid initing grumpkin CRS when unnecessary

  #1180 opened 22 days ago
  0

• Implement failure tests for UltraVanillaClientIVC

  #1177 opened a month ago
  0

• ZK for Ultra

  #1176 opened a month ago
  0

• Translation evaluation correctness in the presence of ZK

  #1174 opened a month ago
  0

• Validate whether our randomness generation is secure

  #1173 opened a month ago
  0

• Update `regenerate_verify_honk_proof_inputs.sh`

  #1172 opened a month ago
  0

• Merge protocol soundness

  #1170 opened a month ago
  0

• Change constants values for rollup honk

  #1169 opened a month ago
  0

• Add proof lengths to flavors

  #1168 opened 8 days ago
  0

• Further optimise the grand product construction based on the active rows

  #1167 opened a month ago
  0

• Optimise fr::batch_invert (ambient trace structure work)

  #1166 opened a month ago
  0

• Consistent mechanism for indicating kernel circuits from ACIR

  #1165 opened a month ago
  0

• Support for compile-time folding: deprecate?

  #1164 opened a month ago
  0

• Dynamic setting of CRS sizes in Client IVC via bb main

  #1163 opened 2 months ago
  0

• Refactor parsing of ACIR program stacks to efficiently unite the runtime and compiletime cases

  #1162 opened 2 months ago
  0

• Refactor `acir_format::create_circuit`

  #1161 opened 2 months ago
  0

• Update the active_ranges in the DeciderProvingKey construction to avoid the two falling out of sync

  #1160 opened 2 months ago
  0

• Decouple constants like CONST_ECCVM_LOG_N from core primitives

  #1159 opened 2 months ago
  0

• Ensure public input delta is correct if polynomial virtual size increases (not an issue in ClientIVC just isolated tests)

  #1158 opened 2 months ago
  0

• Ensure all the checks and public inputs are set correctly for the hiding circuit

  #1156 opened 2 months ago
  0

• NonAztecClientIVC

  #1155 opened 2 months ago
  0