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

merged 18 commits into from
Aug 1, 2024

Commits on Jul 15, 2024

  1. feat: init rust-verifier package

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    a26d161 View commit details
    Browse the repository at this point in the history

  2. chore: ignore rust build artifacts

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    804d625 View commit details
    Browse the repository at this point in the history

  3. feat: groth16 proof verification in rust with sample proof of twitter… 

    … test
    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    5390f34 View commit details
    Browse the repository at this point in the history

  4. refactor: verifier -> verifier_utils

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    48677a2 View commit details
    Browse the repository at this point in the history

  5. feat: serialize public inputs

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    2c2392f View commit details
    Browse the repository at this point in the history

  6. feat: groth16 verifier with compressed embedded verifyingKey

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    a843f4a View commit details
    Browse the repository at this point in the history

  7. fix: fix public input size

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    2eca1e2 View commit details
    Browse the repository at this point in the history

  8. test: embedded verifier test

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    7973503 View commit details
    Browse the repository at this point in the history

  9. chore: check in Cargo.lock

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    5544ae2 View commit details
    Browse the repository at this point in the history

  10. fix: fix edition

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    72b03e6 View commit details
    Browse the repository at this point in the history

  11. feat: cli to generate verifier from snarkjs artifacts

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    7b9999b View commit details
    Browse the repository at this point in the history

  12. feat: CLI to generate verifier arguments from snarkjs proof and publi… 

    …c inputs
    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    f24ad3f View commit details
    Browse the repository at this point in the history

  13. docs: usage guide

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    f40cca9 View commit details
    Browse the repository at this point in the history

  14. feat: read number of public inputs from vkey file

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    1c06cf0 View commit details
    Browse the repository at this point in the history

  15. refactor: remove unused import

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    8a460e5 View commit details
    Browse the repository at this point in the history

  16. refactor: return type from bool -> Result<bool, _>

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    3d7d2a9 View commit details
    Browse the repository at this point in the history

  17. refactor: sample verifier

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    aa04c2d View commit details
    Browse the repository at this point in the history

  18. refactor: allow non snake case for snarkjs keys

    @zkfriendly
    zkfriendly committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    2f37198 View commit details
    Browse the repository at this point in the history