Issues: o1-labs/proof-systems
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Use domain size in type of Trace in folding to check concatenation is correct
#2096
opened Apr 22, 2024 by
querolita
I think it'd be nice to have a separate
struct WitnessColumn(usize)
for many purposes where we don't actually care about lookup columns (like writing witness values in the interpreter), and this X
then should be definitely renamed into something ... meaningful. What do you think?
#2039
opened Mar 26, 2024 by
dannywillems
Not sure but, wouldn't this be
self.coefficients[i-witness_length]
then?
#1988
opened Mar 14, 2024 by
dannywillems
perhaps add an assert of what's the expected index at this point
#1987
opened Mar 14, 2024 by
dannywillems
MSM/Serialization: improve bitmask_be function for cross-limbs masking
#1900
opened Mar 4, 2024 by
dannywillems
MSM: check that the last 8 bits is zero in serialization circuit
#1856
opened Feb 27, 2024 by
dannywillems
Would be nice to have a comment that
numerator
is multiplicity.
#1832
opened Feb 20, 2024 by
dannywillems
Agree, good to have it though. Maybe could be a
Random
instance instead of just an impl
method.
#1825
opened Feb 16, 2024 by
dannywillems
Optimize preimage syscalls lookups to use 5 instead of 136 using PadSuffix
#1772
opened Jan 29, 2024 by
querolita
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-04-08.