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

• make fromFields not pull apart input

  mitschabaude

  committed
  054f8cc

• ofFields -> fromFields, ofBits -> fromBits

  mitschabaude

  committed
  7449160

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

  mitschabaude

  committed
  67257f8

• update bindings for CI

  mitschabaude

  committed
  2b238ec

Commits on Sep 15, 2022

• use more general type almost everywhere

  mitschabaude

  committed
  6eb5912

• unify some types

  mitschabaude

  committed
  ad8c388

• wip: overhaul circuit value, unit tests failing still

  mitschabaude

  committed
  22db1d3

• fixup unit tests

  mitschabaude

  committed
  a1d3a2d

Commits on Sep 19, 2022

• make circuitValue usable as class

  mitschabaude

  committed
  39b8e28

• start using new circuit value

  mitschabaude

  committed
  2d5513d

• fix type

  mitschabaude

  committed
  d1263c8

Commits on Sep 20, 2022

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

  mitschabaude

  committed
  008e265

• pass in verification key in dex contract

  mitschabaude

  committed
  997b93d

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

  mitschabaude

  committed
  20d11fc

• minor

  mitschabaude

  committed
  18f7167

• add missing check to Circuit.witness & test it

  mitschabaude

  committed
  72a5ef1

• add Boolean

  mitschabaude

  committed
  87fe555

• update token example to update vk

  mitschabaude

  committed
  07172b4

Commits on Sep 27, 2022

• renaming to Struct / provable

  mitschabaude

  committed
  50e4fe8

• remove accidentally added file

  mitschabaude

  committed
  d32f345

• infer whether Struct is pure at the type level

  mitschabaude

  committed
  0348150

• naming tweaks and use struct in example

  mitschabaude

  committed
  6165d71

• add massive amounts of doccomments

  mitschabaude

  committed
  af53d5a

• doccomment provable

  mitschabaude

  committed
  819d0b9

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

  mitschabaude

  committed
  e7a06fb

Commits on Sep 28, 2022

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

  mitschabaude

  committed
  64ffaf0

• update changelog

  mitschabaude

  committed
  9ac2c27

• update bindings

  mitschabaude

  committed
  18b0536

• changelog

  mitschabaude

  committed
  467a39a