Skip to content

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.

Sign up for GitHub

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

77 Open 518 Closed
77 Open 518 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

hcopy: use unsafe instead of hcopy + suggest using monad
#2131 opened Apr 29, 2024 by dannywillems
Decomposable folding with one instruction of MIPS
#2110 opened Apr 23, 2024 by querolita
@querolita
Use domain size in type of Trace in folding to check concatenation is correct
#2096 opened Apr 22, 2024 by querolita
MSM Serialization: Use lookups for multi-row communication
#2089 opened Apr 18, 2024 by volhovm
@volhovm
MSM / Generic prover: Support for constants
#2088 opened Apr 18, 2024 by volhovm
@volhovm
Fix MIPS failing constraints
#2075 opened Apr 15, 2024 by querolita
@querolita
3
Uniformize Circuit vs WitnessBuilderEnv for folding
#2073 opened Apr 15, 2024 by querolita
@querolita
Opaque return types inside mina-signer crate.
#2072 opened Apr 15, 2024 by berzanorg
Integrating MSM in IVC
#2062 opened Apr 8, 2024 by fabrizio-m
@volhovm @fabrizio-m
Folding selector optimization
#2061 opened Apr 8, 2024 by fabrizio-m
@fabrizio-m
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
1
2
I think all these tests for different constant degree (2,3,6,7) have a lot of commonly shared boilerplate and can be probably made much more concise later on
#2005 opened Mar 18, 2024 by dannywillems
@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
@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
Use into_par_iter: mvlookup
#1833 opened Feb 20, 2024 by dannywillems
Would be nice to have a comment that numerator is multiplicity.
#1832 opened Feb 20, 2024 by dannywillems
1
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
Potential suggestion for the future: if possible let's make it generic, e.g. instead of enum implement a trait and then pass concretely used separately defined tables into the prover.
#1824 opened Feb 16, 2024 by dannywillems
Write into memory in the constraint side for the syscall
#1814 opened Feb 13, 2024 by querolita
Implement a toy version of the sub-MSM protocol
#1794 opened Feb 5, 2024 by volhovm
@volhovm
Large MSMs Phase 1 Epic
#1789 opened Feb 5, 2024 by volhovm
6 of 9 tasks
@volhovm
Improve ec scaling section of the book
#1785 opened Jan 31, 2024 by fabrizio-m
@fabrizio-m
Optimize preimage syscalls lookups to use 5 instead of 136 using PadSuffix
#1772 opened Jan 29, 2024 by querolita
@querolita
ProTip! no:milestone will show everything without a milestone.