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

Circuit builder initial ideas impl #303

Merged
merged 13 commits into from
Sep 21, 2020
Merged

Circuit builder initial ideas impl #303

merged 13 commits into from
Sep 21, 2020

Commits on Sep 15, 2020

  1. Implement basic Circuit trait idea 

    We need a way to treat the circuits on a generic way
which allows us to serialize the preprocessed circuits
as well as operate with them as gadgets to fill composers.

This is a first a approach with some ideas on how to do it.
    CPerezz committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    cf44e34 View commit details
    Browse the repository at this point in the history

  2. Add CircuitInputs struct & finnish test impl

    CPerezz committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    87783d2 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2020

  1. Impl Clone for ProverKey

    CPerezz committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    c2a7646 View commit details
    Browse the repository at this point in the history

  2. Fix Circuit Trait example errors

    CPerezz committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    9528b87 View commit details
    Browse the repository at this point in the history

  3. Refactor module structure

    CPerezz committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    a6f31f6 View commit details
    Browse the repository at this point in the history

  4. Get ref to Prover & Verifier keys.

    CPerezz committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    c0f210c View commit details
    Browse the repository at this point in the history

  5. Implement Copy & Clone for VerifierKey

    CPerezz committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    03be818 View commit details
    Browse the repository at this point in the history

  6. Add prove & verify functions for Circuit

    CPerezz committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    7b20f7b View commit details
    Browse the repository at this point in the history

  7. Add PublicInput structure

    CPerezz committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    f0d1269 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2020

  1. Add circuit_size attribute

    CPerezz committed Sep 18, 2020
    Configuration menu
    Copy the full SHA
    5ffa9a9 View commit details
    Browse the repository at this point in the history

  2. Remove the Option from transcript init

    CPerezz committed Sep 18, 2020
    Configuration menu
    Copy the full SHA
    16f0c4e View commit details
    Browse the repository at this point in the history

  3. Allow unknown clippy lints

    CPerezz committed Sep 18, 2020
    Configuration menu
    Copy the full SHA
    6b57d70 View commit details
    Browse the repository at this point in the history

  4. Remove redundant 1into1 methods

    CPerezz committed Sep 18, 2020
    Configuration menu
    Copy the full SHA
    748a98f View commit details
    Browse the repository at this point in the history