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: infrastructure for proof shape merkle proofs #1428

Merged
merged 13 commits into from
Aug 29, 2024
Merged

feat: infrastructure for proof shape merkle proofs #1428

merged 13 commits into from
Aug 29, 2024

Commits on Aug 28, 2024

  1. sp1 vkey merkle proof infra

    @erabinov
    erabinov committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    58fc62b View commit details
    Browse the repository at this point in the history

  2. wip

    @erabinov
    erabinov committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    0f856e7 View commit details
    Browse the repository at this point in the history

  3. types work

    @erabinov
    erabinov committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    9e7ef9a View commit details
    Browse the repository at this point in the history

  4. Merge branch 'john/v1.3.0-rc1' into erabinov/vkey_proof

    @erabinov
    erabinov committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    eff73ad View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. type-checking prover/src/lib.rs

    @erabinov
    erabinov committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    5ae9601 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'john/v1.3.0-rc1' into erabinov/vkey_proof

    @erabinov
    erabinov committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    96f5a9f View commit details
    Browse the repository at this point in the history

  3. small change

    @erabinov
    erabinov committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    928c86e View commit details
    Browse the repository at this point in the history

  4. imports

    @erabinov
    erabinov committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    18b8a40 View commit details
    Browse the repository at this point in the history

  5. removed caches

    @erabinov
    erabinov committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    1167788 View commit details
    Browse the repository at this point in the history

  6. refactor merkle proof integration into prover

    @erabinov
    erabinov committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    2dd2faf View commit details
    Browse the repository at this point in the history

  7. dummy merkle vkey verifications

    @erabinov
    erabinov committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    c81f0ee View commit details
    Browse the repository at this point in the history

  8. responses to Tamir's review

    @erabinov
    erabinov committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    bd34abf View commit details
    Browse the repository at this point in the history

  9. small changes

    @erabinov
    erabinov committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    92534f6 View commit details
    Browse the repository at this point in the history