Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

0.7.0 plus its commits #566

Merged
merged 509 commits into from
Nov 16, 2022
Merged
Changes from all commits
Commits
Show all changes
509 commits
Select commit Hold shift + click to select a range
18b0536
update bindings
mitschabaude Sep 28, 2022
467a39a
changelog
mitschabaude Sep 28, 2022
4eadc4d
proper link
mitschabaude Sep 28, 2022
8699922
make ./run handle files with internal imports
mitschabaude Sep 28, 2022
6005cdd
make AccountUpdate a valid method argument
mitschabaude Sep 28, 2022
f11008b
Merge pull request #416 from o1-labs/feature/flexible-circuit-values
mitschabaude Sep 28, 2022
44e11fb
add `this.authorize` to adopt update & witness its children
mitschabaude Sep 28, 2022
1af7709
restore old ./run behaviour if the new one fails
mitschabaude Sep 28, 2022
cab5f29
fix token example
mitschabaude Sep 28, 2022
d9ab18d
use struct
mitschabaude Sep 28, 2022
7d4f500
remove redundant function
mitschabaude Sep 28, 2022
e439a9a
tweak run script again
mitschabaude Sep 28, 2022
7620804
wip callback refactor
mitschabaude Sep 28, 2022
1e3fcfe
Merge branch 'main' into why-isnt-this-autogenerated/authorizationKind
mitschabaude Sep 28, 2022
c9bdf54
fixup
mitschabaude Sep 28, 2022
1c06f53
update bindings
mitschabaude Sep 28, 2022
769c7a6
Fetch Account's verification key.
shimkiv Sep 28, 2022
2fc351e
Merge pull request #443 from o1-labs/why-isnt-this-autogenerated/auth…
mitschabaude Sep 28, 2022
7288843
make tx.send async
Trivo25 Sep 28, 2022
3c33bf0
Merge branch 'main' into feature/verify-local-tx
Trivo25 Sep 28, 2022
3a3f43e
Merge pull request #452 from o1-labs/fetch-verification-key
shimkiv Sep 28, 2022
9f80fce
add error trace
Trivo25 Sep 28, 2022
ac99d19
helpers for pretty-printing updates
mitschabaude Sep 28, 2022
fbfc9c6
update changelog
Trivo25 Sep 28, 2022
a5bb465
make tx.send async in all examples and tests
Trivo25 Sep 28, 2022
f9e1e4d
More details on what to check when a state fetch fails
bkase Sep 28, 2022
e45947d
fix token test
Trivo25 Sep 28, 2022
d5993ab
tweak witness to just get & return fields
mitschabaude Sep 28, 2022
1dc386a
clone updates when witnessing, so prover doesn't interfere with tx
mitschabaude Sep 28, 2022
2a230cb
Merge pull request #458 from o1-labs/more-detailed-state-fetch-error
mitschabaude Sep 28, 2022
c58d9ba
Merge pull request #423 from o1-labs/feature/verify-local-tx
Trivo25 Sep 28, 2022
dfb14c5
Merge branch 'main' into feature/prove-callback
mitschabaude Sep 28, 2022
2bf421b
fixes
mitschabaude Sep 28, 2022
b012a9c
avert future name clash
mitschabaude Sep 29, 2022
b926b72
make unit tests rely on existing build
mitschabaude Sep 29, 2022
fb99676
merge accountUpdateFromCallback into authorize
mitschabaude Sep 29, 2022
b92044d
changelog
mitschabaude Sep 29, 2022
d528851
make child layout spec more verbose and understandable
mitschabaude Sep 29, 2022
3da779d
update bindings
mitschabaude Sep 29, 2022
3196fef
Merge pull request #428 from o1-labs/feature/prove-callback
mitschabaude Sep 29, 2022
ecb9423
fix returning values in the top-level transactoin case
mitschabaude Sep 29, 2022
8c96281
Merge branch 'main' into feature/zkapp-b-test
Trivo25 Sep 29, 2022
4271a7f
reenable having no authorization when calling zkapps
mitschabaude Sep 29, 2022
96be870
Merge pull request #461 from o1-labs/fix/return-transaction
mitschabaude Sep 29, 2022
d365ffa
Dex Application - supplyLiquidity Happy Path
MartinMinkov Sep 29, 2022
da611ae
add enableProofs
Trivo25 Sep 29, 2022
47c498b
add isDelegateCall and compute `caller` from it
mitschabaude Sep 29, 2022
bcf3e8c
Merge pull request #462 from o1-labs/disable-proving
Trivo25 Sep 29, 2022
5503339
fix logic to tompute caller in the prover
mitschabaude Sep 29, 2022
854036a
set delegate call in authorize, clone
mitschabaude Sep 29, 2022
cbef921
wip get dex running
mitschabaude Sep 29, 2022
596634b
wip add isDelegateCall to circuit
mitschabaude Sep 29, 2022
bf7c0f9
caller progress
mitschabaude Sep 30, 2022
04c9e00
label acount updates
mitschabaude Sep 30, 2022
6ede551
no delegate call from the top level
mitschabaude Sep 30, 2022
3f915f3
make token send go through
mitschabaude Sep 30, 2022
17e4012
Add failure cases for supply liquidity in DEX
MartinMinkov Oct 10, 2022
717df13
Add proof verification into the tests.
shimkiv Oct 11, 2022
004116d
Add proof verification into the tests.
shimkiv Oct 11, 2022
21542b8
Fix for tests (Proof verification).
shimkiv Oct 11, 2022
65f7c20
Skipping some tests in CI condition refactoring.
shimkiv Oct 11, 2022
a3af2f5
Commenting out txn signing to allow proving..
shimkiv Oct 12, 2022
808ee71
Merge remote-tracking branch 'origin/releases' into proof-verificatio…
shimkiv Oct 12, 2022
4841fc7
Merge pull request #477 from o1-labs/proof-verification-in-tests
shimkiv Oct 12, 2022
67733f3
add error for long token symbol & make it a struct
mitschabaude Oct 12, 2022
3e833df
fix dependency cycle
mitschabaude Oct 12, 2022
92f579e
Merge branch 'main' into fix/caller
mitschabaude Oct 12, 2022
f320d6f
make isDelegateCall a Bool
mitschabaude Oct 12, 2022
09e1e70
remove caller hacks from dex/run
mitschabaude Oct 12, 2022
663f2a3
remove unnecessary code
mitschabaude Oct 12, 2022
55009ea
remove debugging
mitschabaude Oct 12, 2022
bbcbb03
fix jest tests
mitschabaude Oct 12, 2022
d1b1675
Merge pull request #479 from o1-labs/feature/token-symbol-error
mitschabaude Oct 12, 2022
e9c1f1c
make SequenceEvents exportable for external use
Comdex Oct 13, 2022
d406e1b
delay children hashing until caller is known, fix logic to know when …
mitschabaude Oct 13, 2022
a466fb6
update bindings
mitschabaude Oct 13, 2022
77eff34
Merge pull request #481 from Comdex/main
mitschabaude Oct 13, 2022
ecffd00
Merge pull request #464 from o1-labs/fix/caller
mitschabaude Oct 13, 2022
febb3dc
instantiate subclass of struct, not base class
mitschabaude Oct 13, 2022
a24aa91
Remove clone for lazyAuthorization
MartinMinkov Oct 13, 2022
0e5648e
Update dex example
MartinMinkov Oct 13, 2022
845b240
better struct fix
mitschabaude Oct 14, 2022
252a701
Merge pull request #483 from o1-labs/fix/struct
mitschabaude Oct 14, 2022
95ace78
Merge branch 'main' into dex/redeem-liquidity
mitschabaude Oct 14, 2022
1091e80
Merge branch 'main' into feature/zkapp-b-test
Trivo25 Oct 14, 2022
ceb4350
fix dummy proof logic
mitschabaude Oct 14, 2022
7d2fd7e
fixes to dex contract logic & balance sum
mitschabaude Oct 14, 2022
b963051
minor
mitschabaude Oct 14, 2022
ae3b5d9
handle more cases when making account update a child
mitschabaude Oct 14, 2022
1f99103
try setting some zkapps to delegate_call, but creates different token…
mitschabaude Oct 14, 2022
3afba80
typos
mitschabaude Oct 14, 2022
0eebe07
make redeem liquidity work
mitschabaude Oct 14, 2022
ce8999b
minor
mitschabaude Oct 14, 2022
2a847cd
Simplify things by utilizing test fixtures.
shimkiv Oct 16, 2022
4f1a833
Merge pull request #493 from o1-labs/utilize-test-fixtures
shimkiv Oct 17, 2022
9f68d9d
enable changing proofsEnabled
mitschabaude Oct 17, 2022
15df826
dex debugging with proofs
mitschabaude Oct 17, 2022
bab4483
make Circuit.witness create a new unchecked snark context, and only c…
mitschabaude Oct 17, 2022
7fd540e
fix assertion about hashed child
mitschabaude Oct 17, 2022
a616c01
any children
mitschabaude Oct 17, 2022
b98250f
fix demo
Trivo25 Oct 17, 2022
b38de86
make tx sending async
Trivo25 Oct 17, 2022
cd2b897
temp fix
Trivo25 Oct 17, 2022
a446f07
fix integration test
Trivo25 Oct 17, 2022
529667b
add verification key test
Trivo25 Oct 17, 2022
7878b86
minor
Trivo25 Oct 17, 2022
cf41021
allow children which can't delegate token spending power, as default …
mitschabaude Oct 18, 2022
c417720
wip swap happy path
mitschabaude Oct 18, 2022
da6622d
missing access permission issue repro
mitschabaude Oct 18, 2022
3db39b4
fix dummy proof for child updates
Trivo25 Oct 18, 2022
6607ba6
fix remaining bugs
Trivo25 Oct 18, 2022
4226c51
fix tests
Trivo25 Oct 18, 2022
70304b3
remove comment
Trivo25 Oct 18, 2022
8786c26
swap fix
mitschabaude Oct 18, 2022
30616d2
refine the logic for when `exists` is called
mitschabaude Oct 19, 2022
4a992ad
Circuit.log
mitschabaude Oct 19, 2022
f49f613
stop implicitly attaching account updates to tx
mitschabaude Oct 19, 2022
6a4c86f
remove debugging
mitschabaude Oct 19, 2022
853ce0b
remove unused z token
mitschabaude Oct 19, 2022
08f34b3
changelog
mitschabaude Oct 19, 2022
0b7940b
remove redundant checks guarding Circuit.witness
mitschabaude Oct 19, 2022
3fbc12c
fix precondition tests
mitschabaude Oct 19, 2022
8e6bc5e
changelog
mitschabaude Oct 19, 2022
0647981
fix attach logic
mitschabaude Oct 19, 2022
0f17d72
Merge pull request #484 from o1-labs/dex/redeem-liquidity
mitschabaude Oct 19, 2022
310601d
Merge branch 'main' into feature/zkapp-b-test
Trivo25 Oct 19, 2022
594f076
add edgecase with proof verification
Trivo25 Oct 19, 2022
9b6e2ad
rm unused code
Trivo25 Oct 19, 2022
0888294
fix broken permission and vk tests
Trivo25 Oct 19, 2022
eddbcc8
manually specify feepayer nonce
Trivo25 Oct 19, 2022
7c92884
dont fetch nonce if nonce is specified
Trivo25 Oct 19, 2022
8a316d4
address feedback
Trivo25 Oct 19, 2022
3d9d857
add Uint.toBigInt
mitschabaude Oct 20, 2022
2817ad9
helper to check token balances
mitschabaude Oct 20, 2022
c3a96a1
add checks for supply liquidity (happy path)
mitschabaude Oct 20, 2022
c3ad460
checks for redeem liquidity (no vesting)
mitschabaude Oct 20, 2022
d8ac036
fix nonce calculation
mitschabaude Oct 20, 2022
3e7c341
start adding timing, but missing error on repeated liquidity supplying
mitschabaude Oct 20, 2022
20beab6
pretty printing improvements
mitschabaude Oct 21, 2022
a33a72f
expose account timing
mitschabaude Oct 21, 2022
f4e0e4a
use ES private class fields instead of `private`
mitschabaude Oct 21, 2022
9574b33
roll back one private field bc its not inherited
mitschabaude Oct 21, 2022
3f94159
better interface for setting local global slot
mitschabaude Oct 21, 2022
8390bb0
add vesting
mitschabaude Oct 21, 2022
be252a6
finish redeem liquidity tests
mitschabaude Oct 21, 2022
6a1bb09
swap add checks for happy path
mitschabaude Oct 21, 2022
84fab3b
Merge pull request #475 from o1-labs/dex/supply-liquidity-fail-test
mitschabaude Oct 21, 2022
c79872a
working on overflow tests
mitschabaude Oct 21, 2022
6cb138e
Add optional assertion failure messages to SnarkyJS methods (#470)
MartinMinkov Oct 21, 2022
598e979
Merge branch 'main' into dex/vesting
mitschabaude Oct 21, 2022
e401f5c
merge in existing supply failures and add the rest
mitschabaude Oct 21, 2022
4cece7f
bonus test for the supplying after lock period
mitschabaude Oct 21, 2022
950a8ab
run tests with and w/o vesting
mitschabaude Oct 21, 2022
1eb3c8f
fix uint comparisons
mitschabaude Oct 24, 2022
9e288c6
push fix to examples
mitschabaude Oct 24, 2022
f40e461
Merge pull request #361 from o1-labs/feature/zkapp-b-test
Trivo25 Oct 24, 2022
2ce8d33
add unit test for division in the prover
mitschabaude Oct 24, 2022
18a40b4
fix second run by recreating ledger
mitschabaude Oct 26, 2022
d950968
update bindings
mitschabaude Oct 26, 2022
469e34a
Merge branch 'dex/vesting' into fix/uint-lt-gt
mitschabaude Oct 26, 2022
a4159fb
Merge branch 'main' into fix/uint-lt-gt
mitschabaude Oct 26, 2022
6b22e7e
add back setGlobalSlot
mitschabaude Oct 26, 2022
e1dd482
Merge branch 'main' into dex/vesting
mitschabaude Oct 26, 2022
659bd9c
add back setGlobalSlot
mitschabaude Oct 26, 2022
3acdfc3
Merge branch 'dex/vesting' into fix/uint-lt-gt
mitschabaude Oct 26, 2022
f7c9a20
Merge pull request #501 from o1-labs/dex/vesting
mitschabaude Oct 26, 2022
2787994
Merge pull request #503 from o1-labs/fix/uint-lt-gt
mitschabaude Oct 26, 2022
928bc47
Add args to the callback method invocation (#516)
MartinMinkov Oct 26, 2022
94f5c79
remove static from methods
Trivo25 Oct 31, 2022
7806f7e
remove static definitions for field
Trivo25 Oct 31, 2022
320df3e
update changelog
Trivo25 Oct 31, 2022
c0c1438
fix internal usage
Trivo25 Oct 31, 2022
d641380
start snarky doc comments
Trivo25 Oct 31, 2022
12be568
Removes static one/zero/-1 from Field
bkase Nov 1, 2022
d45c720
Deprecates instead of removes Field members
bkase Nov 1, 2022
4c9316b
Merge pull request #524 from o1-labs/field-static-remove
bkase Nov 1, 2022
b45df3f
Add shutdown to end of primitive unit test (#525)
MartinMinkov Nov 1, 2022
7ca1641
Add timeout minutes to github action (#526)
MartinMinkov Nov 3, 2022
cf4aaeb
dump initial mina-signer experiments
mitschabaude Nov 4, 2022
a07161f
type check mina-signer
mitschabaude Nov 4, 2022
f9343b4
make transaction-helpers generic over base types
mitschabaude Nov 4, 2022
3b3648f
remove most specializations to base types away
mitschabaude Nov 4, 2022
f687991
make transaction-helpers fully generic
mitschabaude Nov 4, 2022
b32674a
lift customTypes to functor level
mitschabaude Nov 4, 2022
d90bb91
rename
mitschabaude Nov 4, 2022
8e03af1
change dir and filenames
mitschabaude Nov 4, 2022
e94e4e4
remove undefined from typemap
mitschabaude Nov 4, 2022
9284494
remove primitive types from typemap
mitschabaude Nov 4, 2022
b5251f6
autogenerate type map
mitschabaude Nov 4, 2022
660293f
move everything to common folder
mitschabaude Nov 4, 2022
10c7328
update bindings
Trivo25 Nov 7, 2022
018f2ba
Merge branch 'main' into static-cleanup
Trivo25 Nov 7, 2022
7970a59
fix tests
Trivo25 Nov 7, 2022
2e9d297
Update int.test.ts
Trivo25 Nov 7, 2022
d49dc72
fix tests
Trivo25 Nov 7, 2022
d0d981a
redo merge conflict fix
Trivo25 Nov 7, 2022
11d6fa8
Merge pull request #519 from o1-labs/static-cleanup
Trivo25 Nov 8, 2022
027514c
Add additional token tests (#522)
MartinMinkov Nov 8, 2022
e151439
Rename `authorize` to `approve` (#534)
MartinMinkov Nov 9, 2022
ec3f1c6
Make `JSONValue` internally used only (#536)
MartinMinkov Nov 9, 2022
f59c81e
cache nonce
Trivo25 Nov 10, 2022
bf04e8a
Merge branch 'main' into nonce-feepayerspec
Trivo25 Nov 10, 2022
5bbae3c
Merge pull request #497 from o1-labs/nonce-feepayerspec
Trivo25 Nov 10, 2022
a27a426
minor
Trivo25 Nov 10, 2022
108a2b3
make fetch tests run with CI && import from fetch
Trivo25 Nov 10, 2022
c076fc2
make tests abort
Trivo25 Nov 10, 2022
c0f9e6d
more tests
Trivo25 Nov 10, 2022
06b6a9b
add nested escaped string
Trivo25 Nov 10, 2022
b057468
Merge branch 'main' into pr/419
Trivo25 Nov 10, 2022
d6f8ffc
Merge pull request #542 from o1-labs/ci-fix
Trivo25 Nov 10, 2022
06dda90
Merge branch 'main' into pr/419
Trivo25 Nov 10, 2022
1ce0185
add init and show opt-in proving for it in example
mitschabaude Nov 10, 2022
e7c7b3c
fix init logic so that we can assure its only run once
mitschabaude Nov 10, 2022
dc5fec1
tweak error
mitschabaude Nov 10, 2022
5406e85
Merge branch 'main' into feature/init
mitschabaude Nov 10, 2022
a26b91d
fix token test
mitschabaude Nov 10, 2022
e588c4e
better type for numberOfRuns
mitschabaude Nov 10, 2022
d5c068b
swap import order
Trivo25 Nov 10, 2022
e46dfe0
adjust tests
Trivo25 Nov 10, 2022
9053f24
Merge pull request #419 from jdsteinhauser/jdsteinhauser/safari-regex…
Trivo25 Nov 11, 2022
3590dd7
fix dex
mitschabaude Nov 14, 2022
a570ff4
changelog
mitschabaude Nov 14, 2022
559322c
fix error parsing logic
mitschabaude Nov 14, 2022
0ee83a8
Merge branch 'main' into mina-signer/1
mitschabaude Nov 14, 2022
e90ca24
Merge branch 'mina-signer/1' into mina-signer/2
mitschabaude Nov 14, 2022
cbf3271
Merge pull request #543 from o1-labs/feature/init
mitschabaude Nov 14, 2022
9ebb9f7
replace links
Trivo25 Nov 14, 2022
e569c54
Merge pull request #548 from o1-labs/mina-signer/1
mitschabaude Nov 15, 2022
02b14a5
enable manually triggering a workflow
mitschabaude Nov 15, 2022
d1af965
Merge pull request #549 from o1-labs/mina-signer/2
mitschabaude Nov 15, 2022
2cd5c8e
fix yaml
mitschabaude Nov 15, 2022
721aaa4
move Reducer and MerkleStuff off Experimental
mitschabaude Nov 15, 2022
fa8be99
update examples
mitschabaude Nov 15, 2022
2ea0d03
move token and approve off this.experimental
mitschabaude Nov 15, 2022
ad1b3f8
update examples
mitschabaude Nov 15, 2022
279a0c5
Merge pull request #553 from o1-labs/fix/github-actions-syntax
mitschabaude Nov 15, 2022
1149d85
changelog
mitschabaude Nov 15, 2022
261d2bd
fix merkle tree tests
mitschabaude Nov 15, 2022
a9a73f2
fix token test
mitschabaude Nov 15, 2022
42c6d77
deprecate this.sign and document requireSignature
mitschabaude Nov 15, 2022
d68e574
Merge pull request #555 from o1-labs/feature/less-experimental
mitschabaude Nov 15, 2022
b91ef58
Merge branch 'main' into feature/require-signature
mitschabaude Nov 15, 2022
f1c1cea
changelog
mitschabaude Nov 15, 2022
7f44a2b
changelog
mitschabaude Nov 15, 2022
aa1e61c
Merge branch 'main' into doc-comments
Trivo25 Nov 15, 2022
cd483aa
more comments
Trivo25 Nov 15, 2022
db3e28e
more comments
Trivo25 Nov 15, 2022
c3d602f
Merge pull request #558 from o1-labs/feature/require-signature
mitschabaude Nov 15, 2022
4b46575
Merge pull request #520 from o1-labs/doc-comments
mitschabaude Nov 15, 2022
f1d9d5f
Merge branch 'releases' into fix/proper-merge-main
mitschabaude Nov 16, 2022
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view

These merge commits were added into this branch cleanly.

There are no new changes to show.