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

Jump to bottom

Implement ZkProgram #13

Merged
merged 24 commits into from
Sep 27, 2024
Merged

Implement ZkProgram #13

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
3123486
remove unused scripts
mitschabaude Sep 25, 2024
5bac6f4
split out some helper types
mitschabaude Sep 25, 2024
12b0254
more specific types on input to that we can filter out public inputs
mitschabaude Sep 25, 2024
5a7824b
move credential api types in their own file, add type-level tuple filter
mitschabaude Sep 25, 2024
473cb42
infer proof public inputs
mitschabaude Sep 25, 2024
66c83e7
attested data aren't public input
mitschabaude Sep 25, 2024
ca2b9c6
also infer program inputs properly, and add example of running progra…
mitschabaude Sep 25, 2024
088e585
minor
mitschabaude Sep 25, 2024
bf5cf02
inputs as record type to get less confused about arguments
mitschabaude Sep 25, 2024
54dbbac
minor
mitschabaude Sep 25, 2024
15b8557
Merge branch 'main' into feature/program-impl
mitschabaude Sep 25, 2024
b7fe718
fixup
mitschabaude Sep 25, 2024
d6e6d11
make all inputs to spec circuit derived from a root node
mitschabaude Sep 25, 2024
b1bcca4
some notes / autoformat
mitschabaude Sep 26, 2024
b21b3f4
Merge branch 'feature/program-impl' of github.com:zksecurity/mina-att…
mitschabaude Sep 26, 2024
8668f53
Merge branch 'feature/program-impl' of github.com:zksecurity/mina-att…
mitschabaude Sep 26, 2024
2ca3d90
evaluate output node
mitschabaude Sep 26, 2024
7487624
improve spec output inference for no data
mitschabaude Sep 26, 2024
94d8a77
derive zkprogram types
mitschabaude Sep 26, 2024
5bf3147
allow nested values where we previously needed a struct
mitschabaude Sep 26, 2024
fc88f5e
recombine program inputs into data root
mitschabaude Sep 26, 2024
ec2ac98
finish zkprogram circuit
mitschabaude Sep 26, 2024
e4c7522
finish zkprogram
mitschabaude Sep 26, 2024
726bfcf
polish test and remove unused type
mitschabaude Sep 26, 2024
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
5 changes: 1 addition & 4 deletions package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,11 +15,8 @@
"types": "build/src/index.d.ts",
"scripts": {
"build": "tsc",
"buildw": "tsc --watch",
"coverage": "node --experimental-vm-modules node_modules/jest/bin/jest.js --coverage",
"watch": "tsc --watch",
"format": "prettier --write --ignore-unknown **/*",
"test": "node --experimental-vm-modules node_modules/jest/bin/jest.js",
"testw": "node --experimental-vm-modules node_modules/jest/bin/jest.js --watch",
"extension:dev": "vite build --config browser-extension/vite.config.js --watch",
"extension:build": "vite build --config browser-extension/vite.config.js"
},
Expand Down
Loading