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

86 Open 527 Closed
86 Open 527 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Add challenges for individual gadgets
#2370 opened Jun 24, 2024 by dannywillems
Soundness of syscall read preimage
#2335 opened Jun 17, 2024 by dannywillems
1 task
@dannywillems @querolita
1
Verifying register values in syscall read preimage
#2333 opened Jun 17, 2024 by dannywillems
Add + IVC: Add modified Prover
#2332 opened Jun 17, 2024 by volhovm
@volhovm @dannywillems
Soundness: new constraint for the updated instruction counter?
#2322 opened Jun 13, 2024 by querolita
1
Folding + IVC for Add Circuit
#2313 opened Jun 12, 2024 by volhovm
@volhovm @dannywillems
Use 4 byte lookups instead of 8 in SyscallReadPreimage
#2312 opened Jun 11, 2024 by querolita
@querolita
Rewrite some circuits with new generic FoldingConfig
#2294 opened Jun 5, 2024 by dannywillems
Fixed selectors: should be part of a "setup phase" and integration in prover/verifier should be verified
#2262 opened May 29, 2024 by dannywillems
Rework design of fixed_selectors
#2255 opened May 28, 2024 by dannywillems
Simplify multi-dimensional array
#2253 opened May 28, 2024 by dannywillems
Optimise memory footprint in IVC circuit
#2252 opened May 28, 2024 by dannywillems
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 fixed selectors
#2088 opened Apr 18, 2024 by volhovm
@volhovm
Fix MIPS failing constraints
#2075 opened Apr 15, 2024 by querolita
@querolita
6
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
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
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.