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

Verify a BLS signature inside the contract #205

Closed
11 tasks done
Tracked by #190
philippecamacho opened this issue Feb 8, 2023 · 4 comments · Fixed by #292
Closed
11 tasks done
Tracked by #190

Verify a BLS signature inside the contract #205

philippecamacho opened this issue Feb 8, 2023 · 4 comments · Fixed by #292
Assignees
@philippecamacho
Labels
hotshot-contract sequencer sprint3

Comments

@philippecamacho
Copy link
Contributor

philippecamacho commented Feb 8, 2023 •
edited
Loading

  • Hash to group
    • hash to field
      • expand function
      • convert uniform bytes into field element
        • split bytes in two chunks
        • field_elem_from_random_bytes
        • process extra bytes
    • hash and pray algorithm
  • bilinear check
  • Merge PR Minor changes to support BLS signature verification inside a smart contract jellyfish#242 in Jellyfish as we need to access the internal field of Signature and also slightly change the logic of the hash_to_curve function.
  • Cleanup and document code.
@philippecamacho philippecamacho mentioned this issue Feb 8, 2023
Closed
3 tasks
@philippecamacho philippecamacho self-assigned this Feb 8, 2023
@philippecamacho
Copy link
Contributor Author

philippecamacho commented Mar 16, 2023 •
edited
Loading

Documentation

@philippecamacho
Copy link
Contributor Author

We use https://datatracker.ietf.org/doc/pdf/draft-irtf-cfrg-bls-signature-05 in our Jellyfish implementation.

@sveitser sveitser mentioned this issue Mar 21, 2023
Closed
@philippecamacho
Copy link
Contributor Author

Blocked by EspressoSystems/jellyfish#218

@philippecamacho
Copy link
Contributor Author

Gas comsumption for BLS verification: https://hackmd.io/@liangcc/bls-solidity#Gas-Consumption

@philippecamacho philippecamacho mentioned this issue Apr 11, 2023
Merged
@philippecamacho philippecamacho mentioned this issue Apr 20, 2023
Merged
@alxiong alxiong mentioned this issue Sep 15, 2023
Open
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@philippecamacho philippecamacho

Labels
hotshot-contract sequencer sprint3
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Feat/t205 verify bls sig inside contract EspressoSystems/espresso-sequencer
3 participants
@sveitser @philippecamacho @LaplaceFox