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

Static chip preprocessed trace #142

Draft
wants to merge 26 commits into
base: main
Choose a base branch
from
Draft

Static chip preprocessed trace #142

wants to merge 26 commits into from

Commits on Apr 5, 2024

  1. wip: static data chip: using a preprocessed trace

    @morganthomas
    morganthomas committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    c2b4bfb View commit details
    Browse the repository at this point in the history

  2. Merge branch 'morgan/issue/133' of github.com:valida-xyz/valida into … 

    …morgan/issue/133
    @morganthomas
    morganthomas committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    656e2e2 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2024

  1. wip: preprocessed traces

    @morganthomas
    morganthomas committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    1d9ecf9 View commit details
    Browse the repository at this point in the history

  2. issue/143: duplicate basic crate

    @morganthomas
    morganthomas committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    f9f6bac View commit details
    Browse the repository at this point in the history

  3. issue/143: remove macros from basic machine

    @morganthomas
    morganthomas committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    7bb573f View commit details
    Browse the repository at this point in the history

  4. issue/143: wip: de-macroify run

    @morganthomas
    morganthomas committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    c13fadf View commit details
    Browse the repository at this point in the history

  5. issue/143: wip: de-macroify prove

    @morganthomas
    morganthomas committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    ac02d95 View commit details
    Browse the repository at this point in the history

  6. issue/143: wip: de-macroify verify

    @morganthomas
    morganthomas committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    5c90dd1 View commit details
    Browse the repository at this point in the history

  7. issue/143: bugfixes

    @morganthomas
    morganthomas committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    b71d2ae View commit details
    Browse the repository at this point in the history

  8. issue/143: cargo fmt

    @morganthomas
    morganthomas committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    1c51e9c View commit details
    Browse the repository at this point in the history

  9. issue/143: remove no_std from basic_macro lib (is breaking ci?)

    @morganthomas
    morganthomas committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    4e16400 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. Merge branch 'main' into morgan/issue/143

    @morganthomas
    morganthomas committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    93678d9 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. issue/143: fix merge

    @morganthomas
    morganthomas committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    8314901 View commit details
    Browse the repository at this point in the history

  2. issue/143: cargo fmt

    @morganthomas
    morganthomas committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    125b33b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'morgan/issue/143' into morgan/issue/140

    @morganthomas
    morganthomas committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    982a157 View commit details
    Browse the repository at this point in the history

  4. issue/140: fix merge of morgan/issue/143

    @morganthomas
    morganthomas committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    d61efe8 View commit details
    Browse the repository at this point in the history

  5. issue/140: wip: bugfix static data chip

    @morganthomas
    morganthomas committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    15c4c2f View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. issue/140: wip: bugfix static data chip

    @morganthomas
    morganthomas committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    28c147a View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. issue/140: more specific failures to verify

    @morganthomas
    morganthomas committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    f115fe8 View commit details
    Browse the repository at this point in the history

  2. issue/140: wip: bugfix preprocessed stuff

    @morganthomas
    morganthomas committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    77fae7b View commit details
    Browse the repository at this point in the history

  3. issue/140: wip: bugfix preprocessed stuff

    @morganthomas
    morganthomas committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    11c2bed View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. issue/140: wip: bugfix preprocessed stuff

    @morganthomas
    morganthomas committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    35ce1c0 View commit details
    Browse the repository at this point in the history

  2. issue/140: wip: bugfix preprocessed stuff

    @morganthomas
    morganthomas committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    0cadb44 View commit details
    Browse the repository at this point in the history

  3. issue/140: wip: bugfix preprocessed stuff

    @morganthomas
    morganthomas committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    c1a47a0 View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2024

  1. issue/140: add a redundant check of the preprocessed commitment (for … 

    …more helpful errors when this happens)
    @morganthomas
    morganthomas committed Apr 14, 2024
    Configuration menu
    Copy the full SHA
    6dc4511 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. issue/140: wip: un-batch the opening proofs to figure out which one i… 

    …s the problem
    @morganthomas
    morganthomas committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    c0a0abe View commit details
    Browse the repository at this point in the history