AztecProtocol/barretenberg

Issues

• Attach IPA proofs to Honk proofs for rollup

  #1154 opened a month ago by lucasxia01
  0

• Add IPA evaluation to the witness indices for the IPA claim

  #1153 opened a month ago by lucasxia01
  0

• Correct active range for databus

  #1152 opened a month ago by ledwards2225
  0

• Refactor the removal of repeated commitments in Shplemini + Better structure in Flavors' entities

  #1151 opened a month ago by iakovenkos
  0

• Only create witnesses for VK and pub inputs in ivc recursion constraint

  #1117 opened a month ago by ledwards2225
  0

• Figure out what to hash in IPA

  #1150 opened a month ago by lucasxia01
  0

• Full trace structure should be usable

  #1149 opened a month ago by codygunton
  0

• Complete mock IVC functionality needed for kernel write_vk flow

  #1148 opened a month ago by ledwards2225
  0

• Couple Oink with ZK Sumcheck (efficiently)

  #1136 opened 2 months ago by iakovenkos
  1

• Add tests for checking that ECCVM, Translator recursive verifiers and Tube circuit have fixed VK

  #1146 opened 2 months ago by lucasxia01
  0

• Add proper constraints for taking log of field_t

  #1144 opened 2 months ago by lucasxia01
  0

• Running unit tests in GTest

  #1143 opened 2 months ago by codygunton
  0

• Handle the VerifierAccumulator returned by the IPA recursive verifier

  #1142 opened 2 months ago by lucasxia01
  0

• Fix Translator relations

  #1128 opened 2 months ago by Rumata888
  0

• correctness check: pr 9366

  #1141 opened 2 months ago by Maddiaa0
  0

• Use batch_invert in IPA native verifier

  #1140 opened 2 months ago by lucasxia01
  0

• Dynamically remove databus commitments from tube public inputs

  #1125 opened 2 months ago by ledwards2225
  0

• Default value for databus column commitments

  #1138 opened 2 months ago by ledwards2225
  0

• Tidy up and improve commitment schemes tests

  #1137 opened 2 months ago by maramihali
  0

• Optimize Pippenger so that it uses num_initial_points = size of the span rather than start_index + size of span

  #1135 opened 2 months ago by lucasxia01
  0

• Short scalars in recursive verifier

  #1134 opened 3 months ago by codygunton
  0

• Short scalars for folding

  #1133 opened 3 months ago by codygunton
  0

• Google Bench memory benchmarks

  #1132 opened 3 months ago by codygunton
  0

• Complete acir_tests suite for Honk

  #1124 opened 3 months ago by maramihali
  0

• Perform precomputation for z_perm commitment to reduce memory peak

  #1131 opened 3 months ago by ledwards2225
  0

• Reorganize and/or remove MsmSorter

  #1130 opened 3 months ago by ledwards2225
  0

• Reinstate slab allocator initialization for UltraHonk

  #1129 opened 3 months ago by codygunton
  0

• Optimise the PCS round in ECCVM

  #1127 opened 3 months ago by maramihali
  0

• Gate count between Honk and Plonk differs

  #1126 opened 3 months ago by lucasxia01
  0

• BB panics when proving acir program regression_5045

  #1108 opened 3 months ago by sirasistant
  1

• Lazy commitment key allocation

  #1121 opened 3 months ago by lucasxia01
  0

• document `DUMMY_TAG` insertion in `UltraCircuitBuilder` constructors

  #1123 opened 3 months ago by maramihali
  0

• fix acir test `regression_5045` with Honk

  #1118 opened 3 months ago by maramihali
  1

• Tracy in WASM

  #1122 opened 3 months ago by lucasxia01
  1

• Investigate why restricting databus_id leads to biggroup_goblin batch_mul failure

  #1107 opened 3 months ago by lucasxia01
  0

• Reorder blocks in structured trace for more optimal memory

  #1112 opened 3 months ago by lucasxia01
  0

• Consider optimizing memory to that its based on the actual block sizes, etc...

  #1113 opened 3 months ago by lucasxia01
  0

• Use structured polynomials to optimize sumcheck memory

  #1120 opened 3 months ago by lucasxia01
  0

• Gas measurement and benchmarking for Honk Solidity Verifier

  #1119 opened 3 months ago by maramihali
  0

• Support for reset and tail in the databus/ClientIVC

  #1111 opened 3 months ago by sirasistant
  0

• Remove manual kernel tagging in main client_ivc_prove flow

  #1116 opened 3 months ago by ledwards2225
  0

• Special handling of first subrelation value in `process_subrelation_evaluations`

  #1115 opened 3 months ago by codygunton
  0

• Proper handling of dummy rounds in stdlib universe

  #1114 opened 3 months ago by maramihali
  2

• Make UltraKeccak derived from UltraFlavor

  #1105 opened 3 months ago by lucasxia01
  1

• Pick which hash function to use based on is_recursive_circuit

  #1110 opened 3 months ago by lucasxia01
  0

• Switch all the provers and verifiers to Shplemini

  #1109 opened 3 months ago by maramihali
  0

• !=0 needs to be converted to !x.is_zero() checks in circuit_checker

  #1106 opened 3 months ago by Rumata888
  0

• Make Shplemini work with Translator

  #1104 opened 3 months ago by maramihali
  0

• Initialize transcript with vk hash

  #1103 opened 3 months ago by codygunton
  0

• mac builds can't use empty modules

  #1102 opened 3 months ago by ludamad
  0