-
Notifications
You must be signed in to change notification settings - Fork 54
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
Frame-like M now is an associated type #1136
Frame-like M now is an associated type #1136
Conversation
src/proof/mod.rs
Outdated
pub trait Prover<'a, F: CurveCycleEquipped, M: FrameLike<Ptr, FrameIO = Vec<Ptr>>> { | ||
pub trait Prover<'a, F: CurveCycleEquipped> { | ||
/// Associated type for a frame-like datatype | ||
type M: FrameLike<Ptr, FrameIO = Vec<Ptr>>; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can we have a more distinctive name other than "M"?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Suggestions? I think M came from Multiframe, but it is outdated indeed. I guess Frame can work
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yeah, Frame
or FrameType
would work I think
src/proof/mod.rs
Outdated
pub trait Prover<'a, F: CurveCycleEquipped, M: FrameLike<Ptr, FrameIO = Vec<Ptr>>> { | ||
pub trait Prover<'a, F: CurveCycleEquipped> { | ||
/// Associated type for a frame-like datatype | ||
type M: FrameLike<Ptr, FrameIO = Vec<Ptr>>; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yep, Frame
works
Simple change to simplify the prover trait