Code

feat: Working UltraPlonk for Noir#299

Code

Merged

kevaundray merged 53 commits intomasterAztecProtocol/barretenberg:masterfrom mv/ultra-range-dbgAztecProtocol/barretenberg:mv/ultra-range-dbgCopy head branch name to clipboardApr 4, 2023

+934-268

Commits

Commits on Mar 14, 2023

• Make dsl composer agnostic.

  suyash67

  committed
  9b1010e

• change SYSTEM_COMPOSER under stdlib::types to ultra composer type

  vezenovm

  committed
  30157c6

• Merge branch 'master' into sb/composer-agnostic-dsl

  vezenovm

  committed
  106130c

Commits on Mar 15, 2023

• move to ultra w/ a few cmake changes to bb.wasm executable, merged in master

  vezenovm

  committed
  19af898

• use ultra logic constraints

  vezenovm

  committed
  c8848be

Commits on Mar 16, 2023

• in process of debugging, move to using ultra logic constraints

  vezenovm

  committed
  eb7cfb1

Commits on Mar 22, 2023

• Merge branch 'master' into mv/move-to-ultra

  vezenovm

  committed
  eaff98c

• add get_total_circuit_size method

  vezenovm

  committed
  8a9337c

Commits on Mar 24, 2023

• acir format tests showing failures with range constraints of different bit sizes

  vezenovm

  committed
  b932e99

• remove unnecessary comment

  vezenovm

  committed
  fa0801a

• (fix) Temporarily add a redundant add-gate for variables that need range constraint < 8 bits.

  suyash67

  committed
  355f10d

Commits on Mar 27, 2023

• Merge remote-tracking branch 'origin/master' into mv/move-to-ultra

  phated

  committed
  32e775b

• rename functions

  phated

  committed
  391aa92

• Implement get_solidity_verifier function

  phated

  committed
  077053c

• Fix no longer available properties

  phated

  committed
  4ac8949

• remove constraint system

  phated

  committed
  2cca246

• logic gate changes using plookup

  

  Maxim Vezenov

  authored and

  Maxim Vezenov

  committed
  8f23dc7

• Merge branch 'mv/move-to-ultra' into mv/ultra-range-dbg

  

  Maxim Vezenov

  authored and

  Maxim Vezenov

  committed
  649a2b8

• logic gate debugging

  

  Maxim Vezenov

  authored and

  Maxim Vezenov

  committed
  62a7757

• test for logic gates passing

  

  Maxim Vezenov

  authored and

  Maxim Vezenov

  committed
  5472c56

Commits on Mar 28, 2023

• last debug things XOR and AND returnign correct results, XOR still failing

  vezenovm

  committed
  ee6973b

• cleanup

  phated

  committed
  f031dd2

Commits on Mar 29, 2023

• pedersen_plookup

  phated

  committed
  8a25d81

• plookup funcs

  phated

  committed
  8f4a8aa

• add to header

  phated

  committed
  c51815f

• fixed error in pedersen hash when RHS is a circuit constant

  zac-williamson

  committed
  a289368

• Merge branch 'mv/ultra-range-dbg' of github.com:AztecProtocol/barretenberg into mv/ultra-range-dbg

  zac-williamson

  committed
  5bc8ee4

• added ACIR test for XOR gate

  Show description for 343174a
  zac-williamson

  committed
  343174a

• temp disable wasm-opt

  phated

  committed
  1258995

• Making everything compile with any composer & add a cmake flag to switch on turbo

  phated

  committed
  016ba39

• enable wasm-opt for asyncify but disable optimizations

  phated

  committed
  c0cf208

• remove using in header

  phated

  committed
  75fe80c

• fixed work queue bug with wasm

  Show description for 840360c
  zac-williamson

  committed
  840360c

• added bitwise logic operations into stdlib

  Show description for 952e2af
  zac-williamson

  committed
  952e2af

• updated acir_format to use new stdlib logic class

  Show description for 592514e
  zac-williamson

  committed
  592514e

• Merge branch 'mv/ultra-range-dbg' of github.com:AztecProtocol/barretenberg into mv/ultra-range-dbg

  zac-williamson

  committed
  138bc73

• reenable tests

  phated

  committed
  8f335a5

• linting fixes

  phated

  committed
  3bdd82a

• disable binaryen with comment

  phated

  committed
  72f0a8e

Commits on Mar 30, 2023

• write instead of read

  phated

  committed
  c60a65d

• remove random

  phated

  committed
  d254d94

• WIP

  phated

  committed
  5772a97

• cleanup the debug logging

  phated

  committed
  e40f842

• restore the randomness

  phated

  committed
  db5c8dd

• only add a zero/one test instead of replacing

  phated

  committed
  71674a5

• remove unused change

  phated

  committed
  3882450

Commits on Mar 31, 2023

• changes to make solgen work correctly in bindings

  phated

  committed
  dd7fd0a

• fix join_split_tests.test_deposit_construct_proof

  vezenovm

  committed
  0ab3760

Commits on Apr 3, 2023

• working serialized proving key size and circuit change test for ultra (#307)

  vezenovm

  authored
  6119f1e

• USE_TURBO for join_split

  phated

  committed
  b347580

• Empty-Commit

  kevaundray

  committed
  96819b2

• Don't default one function; tweak comments.

  codygunton

  committed
  0ace234

• Empty-Commit

  kevaundray

  committed
  7b35952