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 circuit asserting that points aren't at infinity and public key isn't the neg generator point #339

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

Implement circuit asserting that points aren't at infinity and public key isn't the neg generator point #339

wants to merge 40 commits into from

Commits on May 27, 2024

  1. Implement tests cases for bls12_381_components_proofs against ethereu… 

    …m verify test cases
    @NikolayKostadinov21
    NikolayKostadinov21 committed May 27, 2024
    Configuration menu
    Copy the full SHA
    211d09e View commit details
    Browse the repository at this point in the history

  2. Update bls_components and shell to run the tests in it - still wip, i… 

    …t's not building
    @NikolayKostadinov21
    NikolayKostadinov21 committed May 27, 2024
    Configuration menu
    Copy the full SHA
    88614e5 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. build(bls_components) Made little changes needed for bls_components t… 

    …o execute its tests
    @NikolayKostadinov21
    NikolayKostadinov21 committed May 28, 2024
    Configuration menu
    Copy the full SHA
    6ccdfd1 View commit details
    Browse the repository at this point in the history

  2. fix(run_bls12_381_component_proofs.sh) Fix the navigation in the root… 

    … directory
    @NikolayKostadinov21
    NikolayKostadinov21 committed May 28, 2024
    Configuration menu
    Copy the full SHA
    0f2ed35 View commit details
    Browse the repository at this point in the history

  3. fix: Use unchecked deserialization for G1 & G2

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

  4. fix: Use unchecked deserialization for G1 & G2 in bls_components.rs

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

Commits on May 31, 2024

  1. miller loop putted outside main bls12381 component proof function

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

  2. Add helper comments for verify_bls_at_infinity circuit

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

  3. Implement tests cases for bls12_381_components_proofs against ethereu… 

    …m verify test cases
    @NikolayKostadinov21
    NikolayKostadinov21 committed May 31, 2024
    Configuration menu
    Copy the full SHA
    d315a09 View commit details
    Browse the repository at this point in the history

  4. Update bls_components and shell to run the tests in it - still wip, i… 

    …t's not building
    @NikolayKostadinov21
    NikolayKostadinov21 committed May 31, 2024
    Configuration menu
    Copy the full SHA
    414d68a View commit details
    Browse the repository at this point in the history

  5. build(bls_components) Made little changes needed for bls_components t… 

    …o execute its tests
    @NikolayKostadinov21
    NikolayKostadinov21 committed May 31, 2024
    Configuration menu
    Copy the full SHA
    16bd669 View commit details
    Browse the repository at this point in the history

  6. fix(run_bls12_381_component_proofs.sh) Fix the navigation in the root… 

    … directory
    @NikolayKostadinov21
    NikolayKostadinov21 committed May 31, 2024
    Configuration menu
    Copy the full SHA
    a6818ee View commit details
    Browse the repository at this point in the history

  7. fix: Use unchecked deserialization for G1 & G2

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

  8. fix: Use unchecked deserialization for G1 & G2 in bls_components.rs

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

  9. miller loop putted outside main bls12381 component proof function

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

  10. Add helper comments for verify_bls_at_infinity circuit

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

  11. Rebase main over improve_integration_of_starky_safe

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

  12. Implement point at infinity assert after g1 and g2 points are checked

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

  13. Remove redundant file from lib.rs

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

  14. Start test implementation against points at infinity

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

Commits on Jun 3, 2024

  1. Add test for bls12_381 circuit

    @NikolayKostadinov21
    NikolayKostadinov21 committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    ee22588 View commit details
    Browse the repository at this point in the history

  2. Implement assert if g1 OR g2 point is at infinity

    @NikolayKostadinov21
    NikolayKostadinov21 committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    c3cee46 View commit details
    Browse the repository at this point in the history

  3. Implement circuit asserting g1 and g2 point aren't at infinity and pk… 

    … isn't the neg generator
    @NikolayKostadinov21
    NikolayKostadinov21 committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    006fa57 View commit details
    Browse the repository at this point in the history

  4. Rebase over main

    @NikolayKostadinov21
    NikolayKostadinov21 committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    0ade2ab View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2024

  1. Refactor bls12_381 and bls12_381_components_proofs based on changes p… 

    …erformed on bls_components
    @NikolayKostadinov21
    NikolayKostadinov21 committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    f21c2dd View commit details
    Browse the repository at this point in the history

  2. Refactor test_bls12_381_circuit in VerifyIsNotAtInfinityCircuit

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

  3. Improve test_bls12_381_circuit

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

  4. Remove verification of proofs in VerifyIsNotAtInfinityCircuit since… 

    … we will only use the public inputs of second miller loop and first pariing precompile
    @NikolayKostadinov21
    NikolayKostadinov21 committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    7dde05c View commit details
    Browse the repository at this point in the history

  5. Fix error in test_bls12_381_circuit

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

  6. Refactor VerifyIsNotAtInfinityCircuit but tests are not failling as e… 

    …xpected
    @NikolayKostadinov21
    NikolayKostadinov21 committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    a31af64 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. Refactor VerifyIsNotAtInfinityCircuit but test isn't successful

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

Commits on Jun 12, 2024

  1. Finish VerifyIsNotAtInfinityCircuit and make tests pass successfully

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

  2. Implement helper functions for tests for VerifyIsNotAtInfinityCircuit… 

    …Targets
    @NikolayKostadinov21
    NikolayKostadinov21 committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    38e716e View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. Fix path in run_bls12_381_component_proofs script

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

Commits on Jun 17, 2024

  1. Address PR comments

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

  2. Revert "Address PR comments" 

    This reverts commit 9d7f27b.
    @NikolayKostadinov21
    NikolayKostadinov21 committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    ec0c87c View commit details
    Browse the repository at this point in the history

  3. Revert circom-pairing update

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

  4. Revert circom-pairing update

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

  5. Merge branch 'improve_integration_of_starky_safe' of github.com:metac… 

    …raft-labs/DendrETH into improve_integration_of_starky_safe
    @NikolayKostadinov21
    NikolayKostadinov21 committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    23650de View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Update gitmodules

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