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

Plonk: Add solidity verifier #1249

Open
wants to merge 25 commits into
base: add-bellman-plonk-backend
Choose a base branch
from
Open

Plonk: Add solidity verifier #1249

wants to merge 25 commits into from

Commits on Nov 23, 2022

  1. Add matter-labs Plonk solidity verifier

    @georgwiese
    georgwiese committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    9de7966 View commit details
    Browse the repository at this point in the history

  2. Write basic code to return static verifier

    @georgwiese
    georgwiese committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    7c27642 View commit details
    Browse the repository at this point in the history

  3. Update solidity version, format, add dummy verifyTx()

    @georgwiese
    georgwiese committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    b95f98e View commit details
    Browse the repository at this point in the history

  4. Get dummy proof working

    @georgwiese
    georgwiese committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    d7adaf7 View commit details
    Browse the repository at this point in the history

  5. Move inputs outside of proof struct, run actual verification

    @georgwiese
    georgwiese committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    f351605 View commit details
    Browse the repository at this point in the history

  6. Pass correct proof

    @georgwiese
    georgwiese committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    98d432b View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2022

  1. Replace plonk verifier template with one from solidity_plonk_verifier… 

    … repo
    @georgwiese
    georgwiese committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    037ec0a View commit details
    Browse the repository at this point in the history

  2. Update solidity version

    @georgwiese
    georgwiese committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    ff999c5 View commit details
    Browse the repository at this point in the history

  3. Rename verifier

    @georgwiese
    georgwiese committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    d8df138 View commit details
    Browse the repository at this point in the history

  4. Plonk solidity verifier: Move inputs outside prove, add verifyTx() fu… 

    …nction
    @georgwiese
    georgwiese committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    f44ff73 View commit details
    Browse the repository at this point in the history

  5. Add solidity renderer

    @georgwiese
    georgwiese committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    c06a21c View commit details
    Browse the repository at this point in the history

  6. Beginn moving plonk proving scheme

    @georgwiese
    georgwiese committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    ff4736d View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2022

  1. Implement Plonk proving scheme in zokrates_bellamn, fix verifier temp… 

    …late
    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    35fcbe7 View commit details
    Browse the repository at this point in the history

  2. Enable more tests

    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    77afc6d View commit details
    Browse the repository at this point in the history

  3. Clean up integration test

    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    8517c29 View commit details
    Browse the repository at this point in the history

  4. Clean up

    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    944429e View commit details
    Browse the repository at this point in the history

  5. Clean up

    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    28c0029 View commit details
    Browse the repository at this point in the history

  6. Clean up

    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    fdf2132 View commit details
    Browse the repository at this point in the history

  7. Refactor solidity renderer to not depend on bellman

    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    9dfd51c View commit details
    Browse the repository at this point in the history

  8. Move Plonk proving system to zokrates_proof_systems

    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    195f9af View commit details
    Browse the repository at this point in the history

  9. Add zokrates_proof_system files

    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    58e248a View commit details
    Browse the repository at this point in the history

  10. Remove unused imports

    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    254dbf6 View commit details
    Browse the repository at this point in the history

  11. Cleanup

    @georgwiese
    georgwiese committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    d09d5db View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2022

  1. Review feedback

    @georgwiese
    georgwiese committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    092b4e3 View commit details
    Browse the repository at this point in the history

  2. Add universal setup for marlin

    @georgwiese
    georgwiese committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    759a4a0 View commit details
    Browse the repository at this point in the history