Skip to content

Conversation

@pedrohba1
Copy link
Contributor

@pedrohba1 pedrohba1 commented Dec 10, 2024

No description provided.

@pedrohba1 pedrohba1 changed the title feat: trait for signature and NC1 impl over it feat: trait for signature and NCS impl over it Dec 12, 2024
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
if using the BN254, P::G1 is equivalent to Bn254::G1Projective

Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
use only first generator for signing and verifying messages, test with max_lanes amount of messages

Signed-off-by: pedro bufulin <pedro@semiotic.ai>
… tags as ScalarField

Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
@pedrohba1 pedrohba1 requested a review from cbehn1 December 17, 2024 13:58
Copy link

@cbehn1 cbehn1 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

See comment, important that generators are actually generators and not random group elements.

Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Copy link

@cbehn1 cbehn1 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Everything currently looks good to me.

Copy link
Collaborator

@severiano-sisneros severiano-sisneros left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. Couple changes I think would be good: update the h2s2 function signature to accept allocation_id as an input rather than calculate it and return it, and use the HashToCurve trait provided by ark-ec to when hashing messages to curve points, rather than implementing our own.

Signed-off-by: pedro bufulin <pedro@semiotic.ai>
also refactor curve and hasher types in test

Signed-off-by: pedro bufulin <pedro@semiotic.ai>
Signed-off-by: pedro bufulin <pedro@semiotic.ai>
@pedrohba1 pedrohba1 merged commit fa043c7 into main Jan 27, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants