AztecProtocol/barretenberg

Issues

• structured polys: reduce amount of CRS points needed

  #1097 opened 19 days ago by ludamad
  1

• Special handling of first subrelation value in `process_subrelation_evaluations`

  #1115 opened a month ago by codygunton
  0

• Proper handling of dummy rounds in stdlib universe

  #1114 opened a month ago by maramihali
  2

• Implement Shplemini verifier in Solidity

  #1093 opened 2 months ago by maramihali
  0

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

  #1113 opened a month ago by lucasxia01
  0

• Reorder blocks in structured trace for more optimal memory

  #1112 opened a month ago by lucasxia01
  0

• Make UltraKeccak derived from UltraFlavor

  #1105 opened a month ago by lucasxia01
  1

• DSL: Merge aggregation of Honk and AVM RecursionConstraints

  #1095 opened a month ago by jeanmon
  0

• Support for reset and tail in the databus/ClientIVC

  #1111 opened a month ago by sirasistant
  0

• Pick which hash function to use based on is_recursive_circuit

  #1110 opened a month ago by lucasxia01
  0

• Switch all the provers and verifiers to Shplemini

  #1109 opened a month ago by maramihali
  0

• BB panics when proving acir program regression_5045

  #1108 opened a month ago by sirasistant
  0

• Investigate why restricting databus_id leads to biggroup_goblin batch_mul failure

  #1107 opened a month ago by lucasxia01
  0

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

  #1106 opened 2 months ago by Rumata888
  0

• Protogalaxy verifier differs between first and second IVC step

  #1087 opened 2 months ago by codygunton
  0

• Static analyzer for standard an ultra circuits

  #1086 opened 2 months ago by Rumata888
  0

• Finalize replacement of old ClientIvc with new version

  #1101 opened 2 months ago by ledwards2225
  0

• Make Shplemini work with Translator

  #1104 opened 2 months ago by maramihali
  0

• Initialize transcript with vk hash

  #1103 opened 2 months ago by codygunton
  0

• mac builds can't use empty modules

  #1102 opened 2 months ago by ludamad
  0

• Should `finalize_circuit` always `add_gates_to_ensure_all_polys_are_non_zero`?

  #1100 opened 2 months ago by codygunton
  0

• Get num gates could be incorrectly estimating range constraints

  #1099 opened 2 months ago by Rumata888
  0

• Make the ultra_honk_tests target operate on both UltraFlavor and UltraKeccakFlavor

  #1075 opened 2 months ago by maramihali
  1

• Optimize copying in Solidity verifier

  #1098 opened 2 months ago by lucasxia01
  0

• Fix and improve verification key to fields (de)serialization

  #1090 opened 2 months ago by ledwards2225
  0

• Add aggregation to merge/decider/translator recursive verifiers

  #1069 opened 3 months ago by lucasxia01
  2

• Consider a row reference class to replace get_row

  #1096 opened 2 months ago by ludamad
  0

• Renaming around Protogalaxy

  #1083 opened 2 months ago by codygunton
  0

• Update the Solidity Verifier to verify the Poseidon relations

  #1078 opened 2 months ago by maramihali
  0

• Figure out a way to remove duplication in Honk Solidity verifier unit tests

  #1091 opened 2 months ago by maramihali
  0

• Finalise aggregagation

  #1094 opened 2 months ago by maramihali
  0

• Optimise relations in Honk Solidity verifier

  #1092 opened 2 months ago by maramihali
  0

• Move public inputs to the front of proof

  #1089 opened 2 months ago by ledwards2225
  0

• Benchmark AztecIVC in Wasm

  #1088 opened 2 months ago by lucasxia01
  0

• Dataflow Sanitizer mechanism for checking transcript security

  #1080 opened 2 months ago by Rumata888
  1

• Investigating non-unique witness in ultra SHA256

  #1085 opened 2 months ago by Rumata888
  0

• Reducing the number and sizes of batch_muls in Verifiers paired with Shplemini

  #1084 opened 2 months ago by iakovenkos
  0

• Byte_array initialization in stdlib could use fewer gates

  #1082 opened 2 months ago by Rumata888
  0

• Recursive sumcheck verifier is unsound

  #1081 opened 2 months ago by Rumata888
  1

• Biggroup from_witness (used in recurisve verifiers) costs 97 gates before finalization in ultra

  #1079 opened 2 months ago by Rumata888
  0

• Investigate MSAN on eccvm_recursion_tests

  #1077 opened 2 months ago by maramihali
  0

• Update combiner tests to Mega and remove Ultra instantiation

  #1076 opened 2 months ago by codygunton
  0

• Use new verify_proof_with_type() in noir where necessary

  #1074 opened 3 months ago by ledwards2225
  0

• Reduce the next perturbator calculation cost in exchange for memory

  #1073 opened 3 months ago by codygunton
  0

• Polynomial allocation benchmark jump in AztecIvc

  #1072 opened 3 months ago by ledwards2225
  0

• Distinguish between two calldata columns in noir

  #1070 opened 3 months ago by ledwards2225
  0

• Make a NetCrsFactory that reacts to actual circuit sizes

  #1071 opened 3 months ago by ludamad
  0

• Add aggregation to native Honk verifier.

  #1068 opened 3 months ago by lucasxia01
  0

• cycle_group(field_t _x, field_t _y, bool_t is_infinity) should check the new point is on curve

  #1067 opened 3 months ago by maramihali
  0

• Remove add_gates_to_ensure_all_polys_are_non_zero()

  #1066 opened 3 months ago by ledwards2225
  0