Skip to content

Conversation

@srinathsetty
Copy link
Collaborator

@srinathsetty srinathsetty commented Nov 15, 2023

Includes some renames for improved clarity

Exposes asm feature of halo2curves

@srinathsetty srinathsetty merged commit bb27f98 into main Nov 15, 2023
@srinathsetty srinathsetty deleted the duplicate branch November 15, 2023 22:55
Comment on lines +982 to +994
#[cfg(feature = "asm")]
test_pp_digest_with::<bn256::Point, grumpkin::Point, _, _>(
&trivial_circuit1_grumpkin,
&trivial_circuit2_grumpkin,
"c4ecd363a6c1473de7e0d24fc1dbb660f563556e2e13fb4614acdff04cab7701",
);
#[cfg(feature = "asm")]
test_pp_digest_with::<bn256::Point, grumpkin::Point, _, _>(
&cubic_circuit1_grumpkin,
&trivial_circuit2_grumpkin,
"4853a6463b6309f6ae76442934d0a423f51f1e10abaddd0d39bf5644ed589100",
);
#[cfg(not(feature = "asm"))]
Copy link
Contributor

Choose a reason for hiding this comment

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

How come does the assembly implementation generate a different digest?

Copy link
Contributor

Choose a reason for hiding this comment

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

huitseeker added a commit to huitseeker/Nova that referenced this pull request Nov 22, 2023
* Simplify Group trait (microsoft#259)

* simplify Group trait

* fix clippy

* further simplifications

* fix Copy

* Cut duplicate code (microsoft#261)

* cut duplicate code

* bound --> bind for clarity

* expose asm feature

* test: check test_pp_digest with asm feature in CI

* expose size of the base field (microsoft#262)

* fix: add mention of halo2curves issue explaining the problem

---------

Co-authored-by: Srinath Setty <srinath@microsoft.com>
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