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

Error feedback on compile-prover discrepancies #1363

Draft
wants to merge 29 commits into
base: v1
Choose a base branch
from
Draft

Error feedback on compile-prover discrepancies #1363

wants to merge 29 commits into from
+760 −179

Commits on Jan 8, 2024

  1. start debugging dex example

    @mitschabaude
    mitschabaude committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    a79b0c9 View commit details
    Browse the repository at this point in the history

  2. start adding types for low level snarky intf

    @mitschabaude
    mitschabaude committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    01595e1 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2024

  1. iterate on types

    @mitschabaude
    mitschabaude committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    b26f2b2 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. iterate on api and fix type error

    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    7444829 View commit details
    Browse the repository at this point in the history

  2. runner that can compare circuit constraints against a previous run

    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    bb54d4f View commit details
    Browse the repository at this point in the history

  3. expose more flexible cs processing

    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    75a48f7 View commit details
    Browse the repository at this point in the history

  4. revert returning result

    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    cbf40cd View commit details
    Browse the repository at this point in the history

  5. don't return result from constraint system

    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    02fdbc8 View commit details
    Browse the repository at this point in the history

  6. use runCircuit in analyzeMethods

    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    08f9f72 View commit details
    Browse the repository at this point in the history

  7. move zkapp proving logic to separate file

    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    b3a3479 View commit details
    Browse the repository at this point in the history

  8. minor

    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    089e19e View commit details
    Browse the repository at this point in the history

  9. WIP: compare constraints in zkapp proof to the ones created in analyz… 

    …eMethods
    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    5121c46 View commit details
    Browse the repository at this point in the history

  10. remove debugging, fix basic constraint data

    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    7b58e97 View commit details
    Browse the repository at this point in the history

  11. add memoized witnesses to avoid failing constraints

    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    a2064f6 View commit details
    Browse the repository at this point in the history

  12. hook prover consistency check into prover when detecting a relevant p… 

    …roblem
    @mitschabaude
    mitschabaude committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    923c5ac View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. show traces to constraints in both versions

    @mitschabaude
    mitschabaude committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    ad20e1c View commit details
    Browse the repository at this point in the history

  2. seems more correct but I'm not sure

    @mitschabaude
    mitschabaude committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    b615991 View commit details
    Browse the repository at this point in the history

  3. helper to print account update layout

    @mitschabaude
    mitschabaude committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    73b17e0 View commit details
    Browse the repository at this point in the history

  4. fix the damn bug

    @mitschabaude
    mitschabaude committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    e3cfaf9 View commit details
    Browse the repository at this point in the history

  5. [dex] remove obsolete scare comments

    @mitschabaude
    mitschabaude committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    061cad0 View commit details
    Browse the repository at this point in the history

  6. minor example tweak

    @mitschabaude
    mitschabaude committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    93568b8 View commit details
    Browse the repository at this point in the history

  7. submodules

    @mitschabaude
    mitschabaude committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    9127ae6 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'fix/prover-bug-reloaded' into feature/debug-missing-wit… 

    …nesses
    @mitschabaude
    mitschabaude committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    e727822 View commit details
    Browse the repository at this point in the history

  9. changelog

    @mitschabaude
    mitschabaude committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f19076a View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2024

  1. Merge branch 'main' into feature/debug-missing-witnesses

    @mitschabaude
    mitschabaude committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    bb37bf1 View commit details
    Browse the repository at this point in the history

  2. reduce diff to main where changes weren't necessary

    @mitschabaude
    mitschabaude committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    e9979d9 View commit details
    Browse the repository at this point in the history

  3. add docs and changelog

    @mitschabaude
    mitschabaude committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    68487d7 View commit details
    Browse the repository at this point in the history

  4. more cases in which to check inconsistent constraints

    @mitschabaude
    mitschabaude committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    dff07c4 View commit details
    Browse the repository at this point in the history

  5. bindings

    @mitschabaude
    mitschabaude committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    e49b788 View commit details
    Browse the repository at this point in the history