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
feat: derive MachineAir
, chip and machine cleanup
#278
Conversation
a1bba8b
to
2eeefa6
Compare
MachineAir
, chip and machine cleanup
Blake3Compress(Blake3CompressInnerChip), | ||
} | ||
|
||
impl<F: PrimeField32> RiscvAir<F> { |
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.
I feel like if you are going to go the derive
route, then included
should also be derived?
core/src/stark/machine.rs
Outdated
if !shard.program_memory_record.is_empty() { | ||
chips.push(self.program_memory_init.as_ref()); | ||
} | ||
pub fn dyn_chips(&self) -> Vec<ChipRef<SC>> { |
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.
I feel like there def. should be a comment that this is used for non critical functions (e.g. debug_interactions).
Or maybe just do away with it? Like go all in with derive?
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.
LGTM
No description provided.