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

Preconditions #207

Merged
merged 50 commits into from
Jun 9, 2022
Merged
Changes from 1 commit
Commits
Show all changes
50 commits
Select commit Hold shift + click to select a range
d1d982a
expose verification of tx proofs
mitschabaude May 26, 2022
a1c97d7
start writing precondition logic
mitschabaude May 27, 2022
6aa176f
start adding .get() for account fields
mitschabaude May 27, 2022
e55897e
move executionstate off of smart contract
mitschabaude May 31, 2022
5bf05cd
add method to check equality of two snarky types
mitschabaude May 31, 2022
bdf4c96
add `account` field to Party, adapt party cloning
mitschabaude May 31, 2022
36a9beb
error when getting account fields w/o constraining
mitschabaude May 31, 2022
2dc2deb
fix alternate way of signing tx
mitschabaude May 31, 2022
9cc14dd
implement assertions on account preconditions
mitschabaude May 31, 2022
d8adf47
don't hard-code range conditions
mitschabaude May 31, 2022
571b5a8
better error message on missing account fields
mitschabaude May 31, 2022
e80ddea
add logic to fetch protocol state at best tip
mitschabaude May 31, 2022
2e2c4e6
renaming
mitschabaude May 31, 2022
30c42da
compute precondition class type more intelligently
mitschabaude Jun 1, 2022
d6170d9
implement this.network
mitschabaude Jun 1, 2022
8294ec3
make Types.{UInt32, UInt64} distuingishable
mitschabaude Jun 1, 2022
2370bc7
unify this.account impl with this.network
mitschabaude Jun 1, 2022
8c171d0
make type invariants more local
mitschabaude Jun 1, 2022
38b8444
parse fetched preconditions into compatible type
mitschabaude Jun 1, 2022
0225489
add more stuff to Bool
mitschabaude Jun 3, 2022
631f93a
plug in fetching of network state
mitschabaude Jun 3, 2022
0f110aa
allow precondition.get() outside transaction
mitschabaude Jun 3, 2022
dab7ed9
add method to simple_zkapp that uses preconditions
mitschabaude Jun 3, 2022
ad8dd5f
Merge branch 'main' into feature/preconditions
mitschabaude Jun 3, 2022
08c3517
Merge branch 'main' into feature/verify-proofs
mitschabaude Jun 3, 2022
975baca
fix serve:web script
mitschabaude Jun 6, 2022
187ea84
don't modify function.name, not supported well
mitschabaude Jun 6, 2022
440e92b
add missing methods to worker_spec; fixes proving
mitschabaude Jun 6, 2022
5df9800
Merge pull request #231 from o1-labs/fix/zkapps-web-main
mitschabaude Jun 6, 2022
960c0e9
Merge branch 'feature/preconditions-refactor' into feature/preconditions
mitschabaude Jun 7, 2022
902462c
Merge branch 'main' into feature/verify-proofs
mitschabaude Jun 7, 2022
60999a7
clean variable cache to avoid messing up circuits
mitschabaude Jun 7, 2022
6d4fbdd
check that precondition works in a proof
mitschabaude Jun 7, 2022
6a8a176
tweak uint types
mitschabaude Jun 8, 2022
0a62267
fetch network state more efficiently
mitschabaude Jun 8, 2022
2f0d293
throw when accessing unimplemented precondition
mitschabaude Jun 8, 2022
72ef4f1
fix: properly clean up if precondition check fails
mitschabaude Jun 8, 2022
3db29f1
add unimplemented preconditions
mitschabaude Jun 8, 2022
22def5c
build fixes
mitschabaude Jun 8, 2022
3f497cb
fix ts linting in .test files
mitschabaude Jun 8, 2022
68dc9ac
add timestamp to unimplemented preconditions
mitschabaude Jun 8, 2022
899d14c
add precondition unit tests
mitschabaude Jun 8, 2022
d104558
remove unused imports
mitschabaude Jun 8, 2022
118401c
update bindings
mitschabaude Jun 8, 2022
8774937
Merge pull request #208 from o1-labs/feature/verify-proofs
mitschabaude Jun 8, 2022
6b2073f
Merge pull request #235 from o1-labs/feature/preconditions-refactor
mitschabaude Jun 8, 2022
3562b3c
address pr comments
mitschabaude Jun 8, 2022
0d67182
Merge branch 'main' into feature/preconditions
mitschabaude Jun 8, 2022
adf7bc9
clean up bindings
mitschabaude Jun 9, 2022
92d2308
update bindings
mitschabaude Jun 9, 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
Prev Previous commit
Next Next commit
Merge pull request #235 from o1-labs/feature/preconditions-refactor
`@state` refactor
mitschabaude authored Jun 8, 2022
commit 6b2073f31df79da4140dd00874db661e8ce7454f

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.