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.

Sign up for GitHub

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

Proper Int64 #171

Merged
merged 23 commits into from
May 26, 2022
Merged

Proper Int64 #171

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
10c2041
replace int64 with int65 example
mitschabaude May 23, 2022
15c10df
rename, magnitude -> UInt64, polymorphic methods
mitschabaude May 23, 2022
d4398b3
clean up int.ts file structure
mitschabaude May 23, 2022
8546eb8
make int64 methods even more polymorphic
mitschabaude May 23, 2022
9fc7b3c
make balanceChange a normal int64
mitschabaude May 23, 2022
00446ba
remove custom balance change type
mitschabaude May 23, 2022
a5439c5
fix last commit
mitschabaude May 23, 2022
fcda1ad
fix comments referencing "Int65"
mitschabaude May 23, 2022
20671a5
Merge branch 'feature/more-tests' into feature/int64
mitschabaude May 23, 2022
38b1616
workaround Field(number) bug
mitschabaude May 23, 2022
1f8b27a
adapt working Int64 tests
mitschabaude May 23, 2022
2f4b6fe
comment out missing int64 tests / make them work
mitschabaude May 23, 2022
9b8df61
add int64 mul / div test and fixes to make it work
mitschabaude May 23, 2022
6aa0124
delete old int65 example
mitschabaude May 23, 2022
37a22b7
fix field constructor and add tests for it
mitschabaude May 23, 2022
fd3ae6e
make Field(bigint) work, add fromX constructors
mitschabaude May 24, 2022
ade01e0
add Field.toBigInt, minusOne, ORDER
mitschabaude May 25, 2022
f41d288
address pr feedback #171
mitschabaude May 25, 2022
d91cf4f
merge upstream, add more overflow tests
mitschabaude May 25, 2022
aebb032
tweak error message
mitschabaude May 25, 2022
d34744d
expose surprising overflows in skipped tests
mitschabaude May 25, 2022
9c20217
Merge branch 'main' into feature/int64
mitschabaude May 26, 2022
f59c5f5
update bindings
mitschabaude May 26, 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
2 changes: 1 addition & 1 deletion MINA_COMMIT
View file
Open in desktop
325,148 changes: 171,723 additions & 153,425 deletions src/chrome_bindings/snarky_js_chrome.bc.js
View file
Open in desktop
309 changes: 153 additions & 156 deletions src/chrome_bindings/snarky_js_chrome.bc.runtime.js
View file
Open in desktop
180 changes: 0 additions & 180 deletions src/examples/int65.ts
View file
Open in desktop

This file was deleted.

2 changes: 1 addition & 1 deletion src/examples/sudoku/sudoku-zkapp.ts
View file
Open in desktop
55 changes: 55 additions & 0 deletions src/lib/field.test.ts
View file
Open in desktop
183 changes: 115 additions & 68 deletions src/lib/int.test.ts
View file
Open in desktop
420 changes: 244 additions & 176 deletions src/lib/int.ts
View file
Open in desktop
21 changes: 6 additions & 15 deletions src/lib/party.ts
View file
Open in desktop
36 changes: 18 additions & 18 deletions src/node_bindings/plonk_wasm.d.ts
View file
Open in desktop
70 changes: 35 additions & 35 deletions src/node_bindings/plonk_wasm.js
View file
Open in desktop
Binary file modified src/node_bindings/plonk_wasm_bg.wasm
View file
Open in desktop
Binary file not shown.
164 changes: 82 additions & 82 deletions src/node_bindings/plonk_wasm_bg.wasm.d.ts
View file
Open in desktop
325,149 changes: 171,724 additions & 153,425 deletions src/node_bindings/snarky_js_node.bc.js
View file
Open in desktop
309 changes: 153 additions & 156 deletions src/node_bindings/snarky_js_node.bc.runtime.js
View file
Open in desktop
22 changes: 20 additions & 2 deletions src/snarky.d.ts
View file
Open in desktop
9 changes: 0 additions & 9 deletions src/snarky/gen/js-layout.ts
View file
Open in desktop
7 changes: 1 addition & 6 deletions src/snarky/gen/parties-json.ts
View file
Open in desktop
16 changes: 1 addition & 15 deletions src/snarky/gen/parties.ts
View file
Open in desktop
4 changes: 0 additions & 4 deletions src/snarky/parties-leaves-json.ts
View file
Open in desktop
12 changes: 0 additions & 12 deletions src/snarky/parties-leaves.ts
View file
Open in desktop
20 changes: 20 additions & 0 deletions src/snarky/snarky-class-spec.json
View file
Open in desktop
1 change: 1 addition & 0 deletions tsconfig.json
View file
Open in desktop