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 BLS verification #314

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

Implement BLS verification #314

wants to merge 45 commits into from

Commits on Apr 10, 2024

  1. build(nix/shell): Upgrade rust nightly version and add cmake

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    07cab0c View commit details
    Browse the repository at this point in the history

  2. build(casper-finality-proofs): Upgrade curta to starkyx and upgra… 

    …de `curve25519-dalek`
    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    cc109e8 View commit details
    Browse the repository at this point in the history

  3. WIP

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    254e9ba View commit details
    Browse the repository at this point in the history

  4. Building version with native operations

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    558fa65 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Building version with fp and fp2

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    31d0a45 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Building version with stark impl of fields + g1 & g2 plonky2

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    b2ccd60 View commit details
    Browse the repository at this point in the history

  2. Building version with plonky2 polygon's starky

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    6bbcaf9 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. Building version with miller_loop_main stark

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    062c6a0 View commit details
    Browse the repository at this point in the history

  2. WIP, stack overflow

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    b2becd6 View commit details
    Browse the repository at this point in the history

  3. WIP generates proof for miller loop but fails with stack overflow issue

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    f9a2dd9 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. WIP verify_proofs

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    5d5db2a View commit details
    Browse the repository at this point in the history

  2. Remove main and time measurement in verify_proofs test

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    b86c767 View commit details
    Browse the repository at this point in the history

  3. WIP add recursive prooving for final exponentiation

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    b2e56cf View commit details
    Browse the repository at this point in the history

  4. WIP, Reorganize verification folder

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    7d521b8 View commit details
    Browse the repository at this point in the history

  5. Implement pubkey_to_g1_verification function

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    1209e95 View commit details
    Browse the repository at this point in the history

  6. WIP, signature verification

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    f09a243 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. WIP

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    acf0aa8 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. WIP

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    e2852fe View commit details
    Browse the repository at this point in the history

  2. WIP, hash_to_field fails

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    5461e04 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. WIP, test expand_message_xmd passes

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    dad96f0 View commit details
    Browse the repository at this point in the history

  2. WIP, test expand_message_xmd passes

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    2280ae5 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. WIP, hash_to_field's tests are passing

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    8eb1f51 View commit details
    Browse the repository at this point in the history

  2. WIP, refactor hash_to_field, all tests are passing

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    676c19f View commit details
    Browse the repository at this point in the history

  3. WIP, test hash_to_curve

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    dead2d0 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. WIP

    @NikolayKostadinov21
    NikolayKostadinov21 committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    5fab237 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. Improve architecture of verification

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 1, 2024
    Configuration menu
    Copy the full SHA
    34fc496 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. WIP, trying to understand why every limb of the result of hash to cur… 

    …ve is +1
    @NikolayKostadinov21
    NikolayKostadinov21 committed May 7, 2024
    Configuration menu
    Copy the full SHA
    ced89c9 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. WIP, map_to_curve_simple_swu_9mod16 works and test is correct

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    9279c52 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

  1. WIP

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 9, 2024
    Configuration menu
    Copy the full SHA
    af44025 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. WIP, test clear cofactor

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 10, 2024
    Configuration menu
    Copy the full SHA
    d43441b View commit details
    Browse the repository at this point in the history

  2. hash to curve test is passing

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 10, 2024
    Configuration menu
    Copy the full SHA
    0c62605 View commit details
    Browse the repository at this point in the history

  3. WIP

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 10, 2024
    Configuration menu
    Copy the full SHA
    b123156 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. Refactor fp's tests making them with plonky2x's builder

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    00dd298 View commit details
    Browse the repository at this point in the history

  2. Refactor fp2's tests making them with plonky2x's builder

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    36a9743 View commit details
    Browse the repository at this point in the history

  3. Refactor g2's tests making them compatible with plonky2x's builder

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    7c2bc28 View commit details
    Browse the repository at this point in the history

  4. Refactor hash_to_field and add test with 255 random byes

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    f77390f View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. Implement g1 curve points aggregation with stark

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    389ac2d View commit details
    Browse the repository at this point in the history

  2. Fix naming of E and N constants

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    524b010 View commit details
    Browse the repository at this point in the history

  3. Attempt to benchmark starky aggregation

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    4741db8 View commit details
    Browse the repository at this point in the history

  4. Change constants in ecc aggregate stark

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    a31691f View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. Minor fixes in hash to curve tests

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 15, 2024
    Configuration menu
    Copy the full SHA
    f388ae8 View commit details
    Browse the repository at this point in the history

  2. Attempt to make verify_bls_signatures faster

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 15, 2024
    Configuration menu
    Copy the full SHA
    bdac370 View commit details
    Browse the repository at this point in the history

  3. Refactor hash_to_curve to use ByteVariable

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 15, 2024
    Configuration menu
    Copy the full SHA
    51f43e1 View commit details
    Browse the repository at this point in the history

  4. Refactor verify_bls_signatures to work w/ plonky2x's builder. Attempt… 

    … to test message in BytesVariable
    @NikolayKostadinov21
    NikolayKostadinov21 committed May 15, 2024
    Configuration menu
    Copy the full SHA
    859d610 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. Implement generation of time for the time of prooving of hash_to_curve

    @NikolayKostadinov21
    NikolayKostadinov21 committed May 16, 2024
    Configuration menu
    Copy the full SHA
    c532f72 View commit details
    Browse the repository at this point in the history