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

Implement Protostar without IVC #23

Merged
merged 21 commits into from
Jul 28, 2023
Merged

Implement Protostar without IVC #23

merged 21 commits into from
Jul 28, 2023

Commits on Jun 12, 2023

  1. feat: duplicate sangria into protostar

    @han0110
    han0110 committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    b5d82ff View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. feat: implement Protostar in the way Appendix A describes

    @han0110
    han0110 committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    9b06118 View commit details
    Browse the repository at this point in the history

  2. fix: just compute powers of challenge on verifier side and track them

    @han0110
    han0110 committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    23d3120 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2023

  1. refactor: simplify sangria structures and refactor HadamardEvaluator

    @han0110
    han0110 committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    6be81f8 View commit details
    Browse the repository at this point in the history

  2. refactor: use same HadamardEvaluator from sangria

    @han0110
    han0110 committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    828277a View commit details
    Browse the repository at this point in the history

  3. feat: hardcoded power_of_zeta cross term computation (1x faster due… 

    … to sparsity)
    @han0110
    han0110 committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    1d75def View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2023

  1. tmp: protostar folding verifier circuit proof of concept

    @han0110
    han0110 committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    73d8c8c View commit details
    Browse the repository at this point in the history

  2. refactor: simplify PlonkishBackend api

    @han0110
    han0110 committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    1fe5e17 View commit details
    Browse the repository at this point in the history

  3. feat: introduce FoldingScheme and unify sangria and protostar

    @han0110
    han0110 committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    55d89b4 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. feat: update module ivc with skeleton

    @han0110
    han0110 committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    fe863d2 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. feat: allow generic AssignedCell

    @han0110
    han0110 committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    ca97c55 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. feat: add a strawman impl of Chips

    @han0110
    han0110 committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    473306c View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2023

  1. chore: add timer

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

Commits on Jul 23, 2023

  1. refactor: Replace CurveCycle with TwoChainCurve

    @han0110
    han0110 committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    9a0034e View commit details
    Browse the repository at this point in the history

  2. chore: rename mod folding to accumulation

    @han0110
    han0110 committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    49ecfc0 View commit details
    Browse the repository at this point in the history

  3. feat: rename to Gemini and take optimization from Aztec

    @han0110
    han0110 committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    8332aa4 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. feat: refactor MultilinearKzg and implement Zeromorph without zer… 

    …o-knowledge
    @han0110
    han0110 committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    5a4888b View commit details
    Browse the repository at this point in the history

  2. chore: remove extra field of kzg param and rename fn

    @han0110
    han0110 committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    80a8320 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. refactor

    @han0110
    han0110 committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    182e6ef View commit details
    Browse the repository at this point in the history

  2. chore: staged for later PR

    @han0110
    han0110 committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    abbe05a View commit details
    Browse the repository at this point in the history

  3. doc: add source of Gemini

    @han0110
    han0110 committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    2180ac7 View commit details
    Browse the repository at this point in the history