Code

Dex happy path#484

Code

Merged

mitschabaude merged 30 commits intomaino1-labs/o1js:mainfrom dex/redeem-liquidityo1-labs/o1js:dex/redeem-liquidityCopy head branch name to clipboardOct 19, 2022

+340-137

Commits

Commits on Oct 13, 2022

• Remove clone for lazyAuthorization

  MartinMinkov

  committed
  a24aa91

  Copy full SHA for a24aa91

• Update dex example

  MartinMinkov

  committed
  0e5648e

  Copy full SHA for 0e5648e

Commits on Oct 14, 2022

• Merge branch 'main' into dex/redeem-liquidity

  mitschabaude

  committed
  95ace78

  Copy full SHA for 95ace78

• fix dummy proof logic

  mitschabaude

  committed
  ceb4350

  Copy full SHA for ceb4350

• fixes to dex contract logic & balance sum

  mitschabaude

  committed
  7d2fd7e

  Copy full SHA for 7d2fd7e

• minor

  mitschabaude

  committed
  b963051

  Copy full SHA for b963051

• handle more cases when making account update a child

  mitschabaude

  committed
  ae3b5d9

  Copy full SHA for ae3b5d9

• try setting some zkapps to delegate_call, but creates different token owner issues

  mitschabaude

  committed
  1f99103

  Copy full SHA for 1f99103

• typos

  mitschabaude

  committed
  3afba80

  Copy full SHA for 3afba80

• make redeem liquidity work

  mitschabaude

  committed
  0eebe07

  Copy full SHA for 0eebe07

• minor

  mitschabaude

  committed
  ce8999b

  Copy full SHA for ce8999b

Commits on Oct 17, 2022

• enable changing proofsEnabled

  mitschabaude

  committed
  9f68d9d

  Copy full SHA for 9f68d9d

• dex debugging with proofs

  mitschabaude

  committed
  15df826

  Copy full SHA for 15df826

• make Circuit.witness create a new unchecked snark context, and only call exists in checked mode

  mitschabaude

  committed
  bab4483

  Copy full SHA for bab4483

• fix assertion about hashed child

  mitschabaude

  committed
  7fd540e

  Copy full SHA for 7fd540e

• any children

  mitschabaude

  committed
  a616c01

  Copy full SHA for a616c01

Commits on Oct 18, 2022

• allow children which can't delegate token spending power, as default for authorize

  mitschabaude

  committed
  cf41021

  Copy full SHA for cf41021

• wip swap happy path

  mitschabaude

  committed
  c417720

  Copy full SHA for c417720

• missing access permission issue repro

  mitschabaude

  committed
  da6622d

  Copy full SHA for da6622d

• swap fix

  mitschabaude

  committed
  8786c26

  Copy full SHA for 8786c26

Commits on Oct 19, 2022

• refine the logic for when exists is called

  mitschabaude

  committed
  30616d2

  Copy full SHA for 30616d2

• Circuit.log

  mitschabaude

  committed
  4a992ad

  Copy full SHA for 4a992ad

• stop implicitly attaching account updates to tx

  mitschabaude

  committed
  f49f613

  Copy full SHA for f49f613

• remove debugging

  mitschabaude

  committed
  6a4c86f

  Copy full SHA for 6a4c86f

• remove unused z token

  mitschabaude

  committed
  853ce0b

  Copy full SHA for 853ce0b

• changelog

  mitschabaude

  committed
  08f34b3

  Copy full SHA for 08f34b3

• remove redundant checks guarding Circuit.witness

  mitschabaude

  committed
  0b7940b

  Copy full SHA for 0b7940b

• fix precondition tests

  mitschabaude

  committed
  3fbc12c

  Copy full SHA for 3fbc12c

• changelog

  mitschabaude

  committed
  8e6bc5e

  Copy full SHA for 8e6bc5e

• fix attach logic

  mitschabaude

  committed
  0647981

  Copy full SHA for 0647981