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: creating an smt checker for standard_circuit_builder #622

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

feat: creating an smt checker for standard_circuit_builder #622

wants to merge 41 commits into from

Commits on Jul 21, 2023

  1. added naming functionality to circuit_builder_base. Added export_circ… 

    …uit method to standard_circuit_builder.cpp.
    @Sarkoxed
    Sarkoxed committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    6f25f18 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into as/smt_checker

    @Sarkoxed
    Sarkoxed committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    8c340ce View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. field_t tests

    @Sarkoxed
    Sarkoxed committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    50cc781 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. feat: Add the prototype of goblin translator circuit builder (#577) 

    Co-authored-by: codygunton <[email protected]>
    @Rumata888 @codygunton
    Rumata888 and codygunton authored Jul 27, 2023
    Configuration menu
    Copy the full SHA
    fcfabfa View commit details
    Browse the repository at this point in the history

  2. fixed set_variable_name + optimized finzlize_variable_name

    @Sarkoxed
    Sarkoxed committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    e412be7 View commit details
    Browse the repository at this point in the history

  3. reorder the positions in json file + fixed witness indicies in gates

    @Sarkoxed
    Sarkoxed committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    9c8b519 View commit details
    Browse the repository at this point in the history

  4. polynomial evaluation tests

    @Sarkoxed
    Sarkoxed committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c8dc7de View commit details
    Browse the repository at this point in the history

  5. ff arithmetic + ordering

    @Sarkoxed
    Sarkoxed committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    2f846c5 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into as/smt_checker

    @Sarkoxed
    Sarkoxed committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d3ec72a View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. cvc5 checker

    @Sarkoxed
    Sarkoxed committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    b8f8050 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into as/smt_checker

    @Sarkoxed
    Sarkoxed committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    1827f64 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2023

  1. added cvc5 submodule

    @Sarkoxed
    Sarkoxed committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    cdc63cd View commit details
    Browse the repository at this point in the history

  2. msgpack circuit extraction + moved the tests

    @Sarkoxed
    Sarkoxed committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    27090d4 View commit details
    Browse the repository at this point in the history

  3. msgpack exctraction virtual function

    @Sarkoxed
    Sarkoxed committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    28cb8dd View commit details
    Browse the repository at this point in the history

  4. side tests

    @Sarkoxed
    Sarkoxed committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    6db9040 View commit details
    Browse the repository at this point in the history

  5. del

    @Sarkoxed
    Sarkoxed committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    3a6be79 View commit details
    Browse the repository at this point in the history

  6. Directory using cvc5

    @Sarkoxed
    Sarkoxed committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    9b85e43 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into as/smt_checker

    @Sarkoxed
    Sarkoxed committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    2a68cc9 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. Rename smt functions

    @Sarkoxed
    Sarkoxed committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    b012ae2 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2023

  1. minor changes

    @Sarkoxed
    Sarkoxed committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    f36cde5 View commit details
    Browse the repository at this point in the history

  2. -

    @Sarkoxed
    Sarkoxed committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    8b2d384 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2023

  1. decorating the stuff

    @Sarkoxed
    Sarkoxed committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    9c25469 View commit details
    Browse the repository at this point in the history

  2. merge gone well...

    @Sarkoxed
    Sarkoxed committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    a3f2de4 View commit details
    Browse the repository at this point in the history

  3. massive change. Circuit, Solver and FFTerm classes added. Examples an… 

    …d Tests attached
    @Sarkoxed
    Sarkoxed committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    67ddd5f View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into as/smt_checker

    @Sarkoxed
    Sarkoxed committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    059a874 View commit details
    Browse the repository at this point in the history

  5. Cleaned up a little + Fixed Circuit.init()

    @Sarkoxed
    Sarkoxed committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    c94f2ef View commit details
    Browse the repository at this point in the history

  6. Cleaned up

    @Sarkoxed
    Sarkoxed committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    97597eb View commit details
    Browse the repository at this point in the history

  7. fixing bugs

    @Sarkoxed
    Sarkoxed committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    7c56bea View commit details
    Browse the repository at this point in the history

  8. Fixed mistakes

    @Sarkoxed
    Sarkoxed committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    4e09c8a View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. Building cvc5 added to README

    @Sarkoxed
    Sarkoxed committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    b1a03d6 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2023

  1. fixed the issues stated during the call

    @Sarkoxed
    Sarkoxed committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    aeb6727 View commit details
    Browse the repository at this point in the history

  2. exctract_circuit returns a buffer now

    @Sarkoxed
    Sarkoxed committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    ded5cc5 View commit details
    Browse the repository at this point in the history

  3. finally tests work

    @Sarkoxed
    Sarkoxed committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    79ce911 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2023

  1. unique_witness in charge

    @Sarkoxed
    Sarkoxed committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    c934b46 View commit details
    Browse the repository at this point in the history

  2. batch_or improvement

    @Sarkoxed
    Sarkoxed committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    f8ffef0 View commit details
    Browse the repository at this point in the history

  3. unique_witness test

    @Sarkoxed
    Sarkoxed committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    65d7e00 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2023

  1. Documentation

    @Sarkoxed
    Sarkoxed committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    7563e53 View commit details
    Browse the repository at this point in the history

  2. Bool and FFterm separation

    @Sarkoxed
    Sarkoxed committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    17cd968 View commit details
    Browse the repository at this point in the history

  3. Unique witness function

    @Sarkoxed
    Sarkoxed committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    462c4d0 View commit details
    Browse the repository at this point in the history

  4. Few bugs out

    @Sarkoxed
    Sarkoxed committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    dc64592 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into as/smt_checker

    @Sarkoxed
    Sarkoxed committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    48f8c88 View commit details
    Browse the repository at this point in the history