o1-labs / proof-systems

The proof systems used by Mina

https://o1-labs.github.io/proof-systems/

o1-labs/proof-systems Issues

Reduce ECADD degree by 1
Closed a month ago
Soundness of syscall read preimage
Updated a month ago1
Add challenges for individual gadgets
Updated a month ago
Fix MIPS failing constraints
Updated a month ago6
ECADD: Tests for correctness against native implementation
Closed a month ago
Verifying register values in syscall read preimage
Updated a month ago
Add + IVC: Add modified Prover
Updated a month ago
Bug: SRS BN254 G2 h is not in subgroup
Closed 2 months ago2
Soundness: new constraint for the updated instruction counter?
Updated 2 months ago1
Investigate more the instruction counter for soundness
Closed 2 months ago
Folding + IVC for Add Circuit
Updated 2 months ago
Use 4 byte lookups instead of 8 in `SyscallReadPreimage`
Updated 2 months ago
Cache BN254 SRS for tests
Closed 2 months ago
Failure when calling `CompressedPubKey::from_address("B62qpyhbvLobnd4Mb52vP7LPFAasb2S6Qphq8h5VV8Sq1m7VNK1VZcW")`
Closed 2 months ago1
Rewrite some circuits with new generic FoldingConfig
Updated 2 months ago
Integrating MSM in IVC
Closed 2 months ago1
IVC Selector columns
Closed 2 months ago
Fixed selectors: should be part of a "setup phase" and integration in prover/verifier should be verified
Updated 2 months ago
Rework design of fixed_selectors
Updated 2 months ago
Simplify multi-dimensional array
Updated 2 months ago
Optimise memory footprint in IVC circuit
Updated 2 months ago
MSM / Generic prover: Support for fixed selectors
Updated 2 months ago
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?
Updated 3 months ago2
MSM: Integrate range lookups into serialization/FFEC circuits
Closed 3 months ago
Make Interpreter-based gadgets composable
Closed 3 months ago
hcopy: use unsafe instead of `hcopy` + suggest using monad
Updated 3 months ago
Decomposable folding with one instruction of MIPS
Closed 3 months ago
Decomposable folding with one instruction of MIPS
Updated 3 months ago
Fix Keccak failing constraints
Closed 3 months ago
Use domain size in type of Trace in folding to check concatenation is correct
Updated 3 months ago
MSM Serialization: Use lookups for multi-row communication
Updated 3 months ago
Uniformize `Circuit` vs `WitnessBuilderEnv` for folding
Updated 4 months ago
Opaque return types inside `mina-signer` crate.
Updated 4 months ago
Folding selector optimization
Updated 4 months ago
allow special constants in folding expressions
Closed 4 months ago
MSM: Add public input
Closed 4 months ago
Move old simple add+mul circuits into test/ directory
Closed 4 months ago
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
Updated 4 months ago
Not sure but, wouldn't this be `self.coefficients[i-witness_length]` then?
Updated 5 months ago
perhaps add an assert of what's the expected index at this point
Updated 5 months ago
Expand the specs in folding
Closed 5 months ago1
MSM: prover - use map instead of inperative traits
Closed 5 months ago
MSM: Add ProverError to prover.rs
Closed 5 months ago1
MSM/Serialization: use fold or loop for constraints
Closed 5 months ago
Rename `LIMBS_NUM` into `N_LIMBS`?
Closed 5 months ago
Move into interpreter.rs the main function decomposition limbs
Closed 5 months ago
MSM/Serialization: improve bitmask_be function for cross-limbs masking
Updated 5 months ago
Better name for number of columns in MSM
Closed 5 months ago
MSM/serialization: assert limbs are 88 bits
Closed 5 months ago
MSM: check that the last 8 bits is zero in serialization circuit
Updated 5 months ago