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.

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

migrate field from in-house goldilocks to plonky3 #805

Open
wants to merge 12 commits into
base: feat/plonky3_migration
Choose a base branch
from

Conversation

hero78119
Copy link
Collaborator

@hero78119 hero78119 commented Jan 6, 2025

Related to #806

Changes highlights

  • compiles on base crates except for mpcs, poseidon. We will remove crate poseidon in the future, as right now only mpcs depends on it.
  • migrate transcripts to p3::poseidon. We can upgrade to poseidon2 later.
  • use p3::Field instead of ff:Field, and adjust respective api: E::from -> from_canonical_u64. E::from -> from_base

sumcheck/mle both all unittest passed.

@hero78119 hero78119 marked this pull request as draft January 6, 2025 07:21
@hero78119 hero78119 changed the base branch from master to feat/plonky3_migration January 7, 2025 03:48
@hero78119 hero78119 requested a review from yczhangsjtu January 7, 2025 04:09
@hero78119 hero78119 marked this pull request as ready for review January 7, 2025 04:09
@matthiasgoergens matthiasgoergens changed the title migrate field from in-housed goldilock to plonky3 migrate field from in-house goldilocks to plonky3 Jan 11, 2025
@matthiasgoergens
Copy link
Collaborator

How close is this to passing our CI?

@hero78119
Copy link
Collaborator Author

How close is this to passing our CI?

This PR only migrate poseidon and transcript, sumckeck, mle crates. There will be subsequent & incremental PRs for ceno_zkvm and mpcs then it will pass all ci.

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.

2 participants