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

Super IVC: based on a variant of SuperNova #2426

Draft
wants to merge 20 commits into
base: master
Choose a base branch
from
Draft

Super IVC: based on a variant of SuperNova #2426

wants to merge 20 commits into from

Commits on Jul 13, 2024

  1. Starting superivc

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    44cd41c View commit details
    Browse the repository at this point in the history

  2. Define environments

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    bac1b0f View commit details
    Browse the repository at this point in the history

  3. SuperIVC columns and constraints env

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    a6abbb9 View commit details
    Browse the repository at this point in the history

  4. Adding columns for the block - will be public values

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    4dfbb73 View commit details
    Browse the repository at this point in the history

  5. Adding a constructor for the public columns, used by Poseidon

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    e6ba88d View commit details
    Browse the repository at this point in the history

  6. SuperIVC: add some comments regarding the logic

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    208ec03 View commit details
    Browse the repository at this point in the history

  7. Split the witness environment into IVC and App accumulators

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    d8fffee View commit details
    Browse the repository at this point in the history

  8. Add the current application instance in the environment

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    dade17b View commit details
    Browse the repository at this point in the history

  9. Allow to modify the current app instance

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    256bc2f View commit details
    Browse the repository at this point in the history

  10. Add some FIXME regarding type cosntraints

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    6248613 View commit details
    Browse the repository at this point in the history

  11. SuperIVC: comment about the block computing the hash commitments

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    fd5652b View commit details
    Browse the repository at this point in the history

  12. Env: add some type constraints between folding configurations

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    07e030e View commit details
    Browse the repository at this point in the history

  13. Add a helper to get the application output

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    a47bc00 View commit details
    Browse the repository at this point in the history

  14. Env: sponges must be parametrized with an ArithmeticSponge, not Spong… 

    …eState
    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    1266d38 View commit details
    Browse the repository at this point in the history

  15. Define get_application_output

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    a9b869f View commit details
    Browse the repository at this point in the history

  16. SuperIVC: add fixme regarding the index type of the btreemap

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    e2ea7dd View commit details
    Browse the repository at this point in the history

  17. SuperIVC: remove useless import

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    8cf2b0a View commit details
    Browse the repository at this point in the history

  18. Implement InterpreterEnv for Witness and Constraints

    @dannywillems
    dannywillems committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    a89c72d View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2024

  1. SuperIVC: description and encoding of the function phi

    @dannywillems
    dannywillems committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    0526a50 View commit details
    Browse the repository at this point in the history

  2. Continue doc

    @dannywillems
    dannywillems committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    00b6f0e View commit details
    Browse the repository at this point in the history