Code

General-purpose token contract#1384

Code

Merged

mitschabaude merged 103 commits intomaino1-labs/o1js:mainfrom feature/token-contracto1-labs/o1js:feature/token-contractCopy head branch name to clipboardFeb 12, 2024

+670-458

Commits

Commits on Jan 22, 2024

• merkle list

  mitschabaude

  committed
  4644fb5

  Copy full SHA for 4644fb5

• export unconstrained properly

  mitschabaude

  committed
  90261ff

  Copy full SHA for 90261ff

• export hash with prefix

  mitschabaude

  committed
  c91e52c

  Copy full SHA for c91e52c

• generic merkle tree

  mitschabaude

  committed
  57c720b

  Copy full SHA for 57c720b

• start call forest

  mitschabaude

  committed
  872a4dd

  Copy full SHA for 872a4dd

• dump initial token contract code (copied)

  mitschabaude

  committed
  7880ad3

  Copy full SHA for 7880ad3

• hashed can take an alternative hash function

  mitschabaude

  committed
  f5a581d

  Copy full SHA for f5a581d

• call forest logic

  mitschabaude

  committed
  64c650f

  Copy full SHA for 64c650f

Commits on Jan 23, 2024

• properly generic merkle list

  mitschabaude

  committed
  b1b23b9

  Copy full SHA for b1b23b9

• tweak hased input type

  mitschabaude

  committed
  3ef39b0

  Copy full SHA for 3ef39b0

• make callforest a merkle list

  mitschabaude

  committed
  afc5d5a

  Copy full SHA for afc5d5a

• correct dummy hash

  mitschabaude

  committed
  79fd9ec

  Copy full SHA for 79fd9ec

• start writing pop account update

  mitschabaude

  committed
  c68cf5b

  Copy full SHA for c68cf5b

• finish core pop account update logic

  mitschabaude

  committed
  cdb62ff

  Copy full SHA for cdb62ff

• finish pop account update & refactor partial call forest

  mitschabaude

  committed
  76007d0

  Copy full SHA for 76007d0

• improve variable naming

  mitschabaude

  committed
  962482e

  Copy full SHA for 962482e

• merkle array type

  mitschabaude

  committed
  a24e092

  Copy full SHA for a24e092

• make call forest a merkle array, iteration

  mitschabaude

  committed
  3dd1880

  Copy full SHA for 3dd1880

• tweaks, doccomments

  mitschabaude

  committed
  503fdba

  Copy full SHA for 503fdba

• improve comment

  mitschabaude

  committed
  5e4f58f

  Copy full SHA for 5e4f58f

• move files for now

  mitschabaude

  committed
  9d9ed56

  Copy full SHA for 9d9ed56

• start creating test

  mitschabaude

  committed
  b49f917

  Copy full SHA for b49f917

• compute stack hash that is equivalent between provable & mins-aigner, but not yet the new implementation

  mitschabaude

  committed
  cde3325

  Copy full SHA for cde3325

• test on wider/deeper trees

  mitschabaude

  committed
  acd039c

  Copy full SHA for acd039c

• debugging

  mitschabaude

  committed
  60e21eb

  Copy full SHA for 60e21eb

• bindings

  mitschabaude

  committed
  8318ed7

  Copy full SHA for 8318ed7

Commits on Jan 24, 2024

• fix test by fixing order in hashCons

  mitschabaude

  committed
  d36c79f

  Copy full SHA for d36c79f

• fix hash.empty() and merkleArray.next()

  mitschabaude

  committed
  b0f6c94

  Copy full SHA for b0f6c94

• make some code generic for reuse

  mitschabaude

  committed
  37f2ba7

  Copy full SHA for 37f2ba7

• refactor, start test that traverses the tree

  mitschabaude

  committed
  d561ee0

  Copy full SHA for d561ee0

• confirm that callforest.next() works

  mitschabaude

  committed
  0550703

  Copy full SHA for 0550703

• it actually works when not skipping subtrees

  mitschabaude

  committed
  eea09cd

  Copy full SHA for eea09cd

• finish unit tests for call forest iteration

  mitschabaude

  committed
  2471c10

  Copy full SHA for 2471c10

• rename, doccomments

  mitschabaude

  committed
  b3ca62e

  Copy full SHA for b3ca62e

Commits on Jan 25, 2024

• unify base types of merklelist/array

  mitschabaude

  committed
  1a52cc0

  Copy full SHA for 1a52cc0

• simple way to update unconstrained

  mitschabaude

  committed
  598ba44

  Copy full SHA for 598ba44

• change merkle array start index from -1 to 0

  mitschabaude

  committed
  832f123

  Copy full SHA for 832f123

• invert internal order in merkle list

  mitschabaude

  committed
  3e03b27

  Copy full SHA for 3e03b27

• make merkle list the main callforest intf

  mitschabaude

  committed
  f3a4a29

  Copy full SHA for f3a4a29

• token contract using call forest iterator

  mitschabaude

  committed
  d232aa9

  Copy full SHA for d232aa9

• start testing

  mitschabaude

  committed
  ff799de

  Copy full SHA for ff799de

• only zkapps with proof authorization can be called

  mitschabaude

  committed
  83a4d9f

  Copy full SHA for 83a4d9f

• lower level deps for merkle list

  mitschabaude

  committed
  1b54524

  Copy full SHA for 1b54524

• move merkle list

  mitschabaude

  committed
  ca471a4

  Copy full SHA for ca471a4

• expose merkle list/array

  mitschabaude

  committed
  491b93b

  Copy full SHA for 491b93b

• remove unnecessary code

  mitschabaude

  committed
  29829d4

  Copy full SHA for 29829d4

• split out general base contract which example contract is implemented on

  mitschabaude

  committed
  5465321

  Copy full SHA for 5465321

• fix dependencies

  mitschabaude

  committed
  b1ce658

  Copy full SHA for b1ce658

• fix build

  mitschabaude

  committed
  407d31a

  Copy full SHA for 407d31a

Commits on Jan 27, 2024

• add edge case to investigate

  mitschabaude

  committed
  91dbd97

  Copy full SHA for 91dbd97

Commits on Jan 29, 2024

• export token contract

  mitschabaude

  committed
  a3a25d0

  Copy full SHA for a3a25d0

• more token contract methods

  mitschabaude

  committed
  14b7aed

  Copy full SHA for 14b7aed

• fix token contract child adopting

  mitschabaude

  committed
  cface0f

  Copy full SHA for cface0f

• unlink account updates to prevent them from being in caller's public input in compile()

  mitschabaude

  committed
  926901a

  Copy full SHA for 926901a

Commits on Jan 31, 2024

• (wip) use base token contract for dex

  mitschabaude

  committed
  70ed6da

  Copy full SHA for 70ed6da

• wip debugging / start fixing

  mitschabaude

  committed
  b46bd14

  Copy full SHA for b46bd14

• add data structure for in-circuit call forest construction which only persists through a contract call

  mitschabaude

  committed
  ad8ce69

  Copy full SHA for ad8ce69

• fixed Hashed default hash

  mitschabaude

  committed
  8f45168

  Copy full SHA for 8f45168

• fix edge case in ecdsa unit test

  mitschabaude

  committed
  27bf6fa

  Copy full SHA for 27bf6fa

• restructure code to fix import cycles in account_update.ts

  mitschabaude

  committed
  c016072

  Copy full SHA for c016072

• fixup

  mitschabaude

  committed
  fd6e36d

  Copy full SHA for fd6e36d

• fix proof systems unit test

  mitschabaude

  committed
  d40a8de

  Copy full SHA for d40a8de

• minor

  mitschabaude

  committed
  8f5acbd

  Copy full SHA for 8f5acbd

• remove unusedd code which just adds confusion

  mitschabaude

  committed
  c6f3218

  Copy full SHA for c6f3218

• move annoying debug code out of sight

  mitschabaude

  committed
  a4dec71

  Copy full SHA for a4dec71

• move call forest code next to account update

  mitschabaude

  committed
  a3b2e97

  Copy full SHA for a3b2e97

• make token contract work w/ dex (hacky first iteration)

  mitschabaude

  committed
  f291743

  Copy full SHA for f291743

• dump vks

  mitschabaude

  committed
  b8e43cc

  Copy full SHA for b8e43cc

Commits on Feb 1, 2024

• submodules

  mitschabaude

  committed
  a811a87

  Copy full SHA for a811a87

• Merge branch 'feature/hashed-provable' into feature/token-contract

  mitschabaude

  committed
  e78c928

  Copy full SHA for e78c928

• merge fixups

  mitschabaude

  committed
  c40bfa3

  Copy full SHA for c40bfa3

• Merge branch 'feature/call-forest-iterator' into feature/token-contract

  mitschabaude

  committed
  3c1a31f

  Copy full SHA for 3c1a31f

• fixup

  mitschabaude

  committed
  6792c90

  Copy full SHA for 6792c90

• fixup

  mitschabaude

  committed
  0162679

  Copy full SHA for 0162679

• better file name

  mitschabaude

  committed
  b8ac126

  Copy full SHA for b8ac126

• Merge branch 'feature/call-forest-iterator' into tmp

  mitschabaude

  committed
  a104c8e

  Copy full SHA for a104c8e

• update to new names, dump new vks

  mitschabaude

  committed
  085f7ab

  Copy full SHA for 085f7ab

• remove unused code

  mitschabaude

  committed
  1435bb5

  Copy full SHA for 1435bb5

• remove deployZkapp

  mitschabaude

  committed
  943d871

  Copy full SHA for 943d871

• revisit erc20 example and tweak base token contract to be more similar to erc20

  mitschabaude

  committed
  25718e0

  Copy full SHA for 25718e0

• revert renaming towards erc20

  mitschabaude

  committed
  c23b64a

  Copy full SHA for c23b64a

• minor

  mitschabaude

  committed
  09960d1

  Copy full SHA for 09960d1

• remove debug stuff

  mitschabaude

  committed
  1f46370

  Copy full SHA for 1f46370

• remove debug stuff

  mitschabaude

  committed
  08f99b5

  Copy full SHA for 08f99b5

• minor stuff

  mitschabaude

  committed
  c171442

  Copy full SHA for c171442

Commits on Feb 2, 2024

• use erc20 example for dex with actions

  mitschabaude

  committed
  97709a6

  Copy full SHA for 97709a6

• allow skipping dummies

  mitschabaude

  committed
  b593927

  Copy full SHA for b593927

• support skipping dummies

  mitschabaude

  committed
  4a9c05c

  Copy full SHA for 4a9c05c

• improve name and clean up code

  mitschabaude

  committed
  e6b2a4a

  Copy full SHA for e6b2a4a

• minor

  mitschabaude

  committed
  b582e70

  Copy full SHA for b582e70

• dump vks

  mitschabaude

  committed
  36dc9a3

  Copy full SHA for 36dc9a3

Commits on Feb 5, 2024

• simple ledger to record permissions changes throughout tx validation

  mitschabaude

  committed
  fd45ad7

  Copy full SHA for fd45ad7

• token contract unit test

  mitschabaude

  committed
  dec1286

  Copy full SHA for dec1286

• only use internal apply on existing accounts for now

  mitschabaude

  committed
  1a672a5

  Copy full SHA for 1a672a5

• adapt upgradability test

  mitschabaude

  committed
  d26c792

  Copy full SHA for d26c792

• Merge branch 'feature/call-forest-iterator' into feature/token-contract

  mitschabaude

  committed
  54a6b52

  Copy full SHA for 54a6b52

Commits on Feb 6, 2024

• changelog

  mitschabaude

  committed
  12774c5

  Copy full SHA for 12774c5

• dump vks

  mitschabaude

  committed
  15b1b02

  Copy full SHA for 15b1b02

• minor

  mitschabaude

  committed
  1c2648c

  Copy full SHA for 1c2648c

• Merge branch 'feature/call-forest-iterator' into feature/token-contract

  mitschabaude

  committed
  e334e0c

  Copy full SHA for e334e0c

Commits on Feb 12, 2024

• Merge branch 'main' into feature/token-contract

  mitschabaude

  committed
  e64c96b

  Copy full SHA for e64c96b

• address review

  mitschabaude

  committed
  e60b6d7

  Copy full SHA for e60b6d7

• fixup dex live test

  mitschabaude

  committed
  b5ef432

  Copy full SHA for b5ef432