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

Feat/rust verifier #204

Merged
merged 18 commits into from
Aug 1, 2024
Merged

Feat/rust verifier #204

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
a26d161
feat: init rust-verifier package
zkfriendly Jul 9, 2024
804d625
chore: ignore rust build artifacts
zkfriendly Jul 9, 2024
5390f34
feat: groth16 proof verification in rust with sample proof of twitter…
zkfriendly Jul 9, 2024
48677a2
refactor: verifier -> verifier_utils
zkfriendly Jul 12, 2024
2c2392f
feat: serialize public inputs
zkfriendly Jul 12, 2024
a843f4a
feat: groth16 verifier with compressed embedded `verifyingKey`
zkfriendly Jul 12, 2024
2eca1e2
fix: fix public input size
zkfriendly Jul 12, 2024
7973503
test: embedded verifier test
zkfriendly Jul 12, 2024
5544ae2
chore: check in Cargo.lock
zkfriendly Jul 12, 2024
72b03e6
fix: fix edition
zkfriendly Jul 12, 2024
7b9999b
feat: cli to generate verifier from snarkjs artifacts
zkfriendly Jul 12, 2024
f24ad3f
feat: CLI to generate verifier arguments from snarkjs proof and publi…
zkfriendly Jul 12, 2024
f40cca9
docs: usage guide
zkfriendly Jul 12, 2024
1c06cf0
feat: read number of public inputs from vkey file
zkfriendly Jul 12, 2024
8a460e5
refactor: remove unused import
zkfriendly Jul 12, 2024
3d7d2a9
refactor: return type from bool -> Result<bool, _>
zkfriendly Jul 12, 2024
aa04c2d
refactor: sample verifier
zkfriendly Jul 15, 2024
2f37198
refactor: allow non snake case for snarkjs keys
zkfriendly Jul 15, 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
13 changes: 13 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -89,3 +89,16 @@ packages/circuits/tests/compiled-test-circuits/*
**/node_modules
**/build
tsconfig.tsbuildinfo

*.rvkey

# Generated by Cargo
# will have compiled files and executables
debug/
target/

# These are backup files generated by rustfmt
**/*.rs.bk

# MSVC Windows builds of rustc generate these, which store debugging information
*.pdb
Loading