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

Stark continuous read-only memory example #940

Open
wants to merge 15 commits into
base: main
Choose a base branch
from
Open

Stark continuous read-only memory example #940

wants to merge 15 commits into from
+481 −0

Commits on Nov 14, 2024

  1. create file

    @ColoCarletti
    Nicole authored and ColoCarletti committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    d546080 View commit details
    Browse the repository at this point in the history

  2. continuity and single value constraint

    @ColoCarletti
    Nicole authored and ColoCarletti committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    7ff0290 View commit details
    Browse the repository at this point in the history

  3. imp air

    @ColoCarletti
    ColoCarletti committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    e992970 View commit details
    Browse the repository at this point in the history

  4. permutation constraint

    @ColoCarletti
    Nicole authored and ColoCarletti committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    821e1f6 View commit details
    Browse the repository at this point in the history

  5. evaluate function for SingleValueConstraint

    @ColoCarletti
    Nicole authored and ColoCarletti committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    56de567 View commit details
    Browse the repository at this point in the history

  6. add last element constraint

    @ColoCarletti
    ColoCarletti committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    52912f1 View commit details
    Browse the repository at this point in the history

  7. add public inputs

    @ColoCarletti
    ColoCarletti committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    0b5ac61 View commit details
    Browse the repository at this point in the history

  8. add sort function for the trace

    @jotabulacios
    jotabulacios committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    f911837 View commit details
    Browse the repository at this point in the history

  9. add integration test

    Nicole authored and Nicole committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    e25efde View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2024

  1. fix clippy

    @ColoCarletti
    ColoCarletti committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    b975d36 View commit details
    Browse the repository at this point in the history

  2. fix constraints

    @ColoCarletti
    ColoCarletti committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    ca1fe3d View commit details
    Browse the repository at this point in the history

  3. add documentation

    Nicole authored and Nicole committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    cceb719 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2024

  1. handle possible panic

    @ColoCarletti
    ColoCarletti committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    5724131 View commit details
    Browse the repository at this point in the history

  2. rename variables

    @jotabulacios
    jotabulacios committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    0fc7284 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2024

  1. fix doc

    Nicole authored and Nicole committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    59c8b26 View commit details
    Browse the repository at this point in the history