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

merged 24 commits into from
Sep 27, 2024

Commits on Sep 25, 2024

  1. remove unused scripts

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    3123486 View commit details
    Browse the repository at this point in the history

  2. split out some helper types

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    5bac6f4 View commit details
    Browse the repository at this point in the history

  3. more specific types on input to that we can filter out public inputs

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    12b0254 View commit details
    Browse the repository at this point in the history

  4. move credential api types in their own file, add type-level tuple filter

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    5a7824b View commit details
    Browse the repository at this point in the history

  5. infer proof public inputs

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    473cb42 View commit details
    Browse the repository at this point in the history

  6. attested data aren't public input

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    66c83e7 View commit details
    Browse the repository at this point in the history

  7. also infer program inputs properly, and add example of running progra… 

    …m on attestation
    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    ca2b9c6 View commit details
    Browse the repository at this point in the history

  8. minor

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    088e585 View commit details
    Browse the repository at this point in the history

  9. inputs as record type to get less confused about arguments

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    bf5cf02 View commit details
    Browse the repository at this point in the history

  10. minor

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    54dbbac View commit details
    Browse the repository at this point in the history

  11. Merge branch 'main' into feature/program-impl

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    15b8557 View commit details
    Browse the repository at this point in the history

  12. fixup

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    b7fe718 View commit details
    Browse the repository at this point in the history

  13. make all inputs to spec circuit derived from a root node

    @mitschabaude
    mitschabaude committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    d6e6d11 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. some notes / autoformat

    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    b1bcca4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'feature/program-impl' of github.com:zksecurity/mina-att… 

    …estations into feature/program-impl
    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    b21b3f4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'feature/program-impl' of github.com:zksecurity/mina-att… 

    …estations into feature/program-impl
    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    8668f53 View commit details
    Browse the repository at this point in the history

  4. evaluate output node

    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    2ca3d90 View commit details
    Browse the repository at this point in the history

  5. improve spec output inference for no data

    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    7487624 View commit details
    Browse the repository at this point in the history

  6. derive zkprogram types

    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    94d8a77 View commit details
    Browse the repository at this point in the history

  7. allow nested values where we previously needed a struct

    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    5bf3147 View commit details
    Browse the repository at this point in the history

  8. recombine program inputs into data root

    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    fc88f5e View commit details
    Browse the repository at this point in the history

  9. finish zkprogram circuit

    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    ec2ac98 View commit details
    Browse the repository at this point in the history

  10. finish zkprogram

    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    e4c7522 View commit details
    Browse the repository at this point in the history

  11. polish test and remove unused type

    @mitschabaude
    mitschabaude committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    726bfcf View commit details
    Browse the repository at this point in the history