Code

Flexible circuit values#416

Code

Merged

mitschabaude merged 30 commits intomaino1-labs/o1js:mainfrom feature/flexible-circuit-valueso1-labs/o1js:feature/flexible-circuit-valuesCopy head branch name to clipboardSep 28, 2022

+133,022-132,210

Commits

Commits on Sep 14, 2022

• refactor to/from auxiliary

  mitschabaude

  committed
  467927e

  Copy full SHA for 467927e

• make fromFields not pull apart input

  mitschabaude

  committed
  054f8cc

  Copy full SHA for 054f8cc

• ofFields -> fromFields, ofBits -> fromBits

  mitschabaude

  committed
  7449160

  Copy full SHA for 7449160

• replace AsFieldElements with AsFieldsAndAux, implement Circuit.witness in JS

  mitschabaude

  committed
  67257f8

  Copy full SHA for 67257f8

• update bindings for CI

  mitschabaude

  committed
  2b238ec

  Copy full SHA for 2b238ec

Commits on Sep 15, 2022

• use more general type almost everywhere

  mitschabaude

  committed
  6eb5912

  Copy full SHA for 6eb5912

• unify some types

  mitschabaude

  committed
  ad8c388

  Copy full SHA for ad8c388

• wip: overhaul circuit value, unit tests failing still

  mitschabaude

  committed
  22db1d3

  Copy full SHA for 22db1d3

• fixup unit tests

  mitschabaude

  committed
  a1d3a2d

  Copy full SHA for a1d3a2d

Commits on Sep 19, 2022

• make circuitValue usable as class

  mitschabaude

  committed
  39b8e28

  Copy full SHA for 39b8e28

• start using new circuit value

  mitschabaude

  committed
  2d5513d

  Copy full SHA for 2d5513d

• fix type

  mitschabaude

  committed
  d1263c8

  Copy full SHA for d1263c8

Commits on Sep 20, 2022

• fix circuit value class type, export a different VerificationKey from snarkyjs

  mitschabaude

  committed
  008e265

  Copy full SHA for 008e265

• pass in verification key in dex contract

  mitschabaude

  committed
  997b93d

  Copy full SHA for 997b93d

• Merge branch 'main' into feature/flexible-circuit-values

  mitschabaude

  committed
  20d11fc

  Copy full SHA for 20d11fc

• minor

  mitschabaude

  committed
  18f7167

  Copy full SHA for 18f7167

• add missing check to Circuit.witness & test it

  mitschabaude

  committed
  72a5ef1

  Copy full SHA for 72a5ef1

• add Boolean

  mitschabaude

  committed
  87fe555

  Copy full SHA for 87fe555

• update token example to update vk

  mitschabaude

  committed
  07172b4

  Copy full SHA for 07172b4

Commits on Sep 27, 2022

• renaming to Struct / provable

  mitschabaude

  committed
  50e4fe8

  Copy full SHA for 50e4fe8

• remove accidentally added file

  mitschabaude

  committed
  d32f345

  Copy full SHA for d32f345

• infer whether Struct is pure at the type level

  mitschabaude

  committed
  0348150

  Copy full SHA for 0348150

• naming tweaks and use struct in example

  mitschabaude

  committed
  6165d71

  Copy full SHA for 6165d71

• add massive amounts of doccomments

  mitschabaude

  committed
  af53d5a

  Copy full SHA for af53d5a

• doccomment provable

  mitschabaude

  committed
  819d0b9

  Copy full SHA for 819d0b9

• Merge branch 'main' into feature/flexible-circuit-values

  mitschabaude

  committed
  e7a06fb

  Copy full SHA for e7a06fb

Commits on Sep 28, 2022

• Merge branch 'main' into feature/flexible-circuit-values

  mitschabaude

  committed
  64ffaf0

  Copy full SHA for 64ffaf0

• update changelog

  mitschabaude

  committed
  9ac2c27

  Copy full SHA for 9ac2c27

• update bindings

  mitschabaude

  committed
  18b0536

  Copy full SHA for 18b0536

• changelog

  mitschabaude

  committed
  467a39a

  Copy full SHA for 467a39a