o1-labs/proof-systems

Issues

• Arrabiata: implement a gadget to perform elliptic curve scaling using "next row"

  #2568 opened 2 months ago by dannywillems
  0

• Add more performant self-hosted GitHub runners and execute all tests against them.

  #2587 opened 2 months ago by shimkiv
  0

• moving berkeley specific challenge in berkely column

  #2585 opened 2 months ago by marcbeunardeau88
  0

• [o1vm] Ensure the instruction passed into the interpreter is the one pointed to by the IP

  #2573 opened 2 months ago by Fizzixnerd
  1

• Add the possibility to access the "next row"

  #2565 opened 2 months ago by dannywillems
  0

• Arrabiata: I see that in this use case we absorb PI, but this is not always the case (eg. the internal node of a merkle tree)

  #2583 opened 2 months ago by dannywillems
  0

• Re-enable updated specification CI check for `develop`.

  #2582 opened 2 months ago by shimkiv
  0

• Improve tests timing when instrumentation is enabled.

  #2581 opened 2 months ago by shimkiv
  0

• Expr: Sometimes, the joint combiner is non-existent, for instance when we do have a single column.

  #2580 opened 2 months ago by dannywillems
  0

• Arrabiata: I don't get how the on the fly computation makes the prover only pay for the activated gate

  #2579 opened 2 months ago by dannywillems
  0

• Arrabiata: doing this prevents communication from column 1 to column 5

  #2578 opened 2 months ago by dannywillems
  0

• Arrabiata: I would give the symbolic cross term (computed at setup time) as an argument, rather than the contraints

  #2577 opened 2 months ago by dannywillems
  0

• Arrabiata: is it really faster to use BigInt?

  #2575 opened 2 months ago by dannywillems
  0

• Exposing the generator to OCaml

  #2546 opened 3 months ago by marcbeunardeau88
  0

• Parallelize ledger hashing

  #2557 opened 2 months ago by georgeee
  1

• Generalized expression framework to handle more challenge terms

  #2556 opened 2 months ago by dannywillems
  0

• Finalize MVPoly tests generalization

  #2542 opened 2 months ago by shimkiv
  0

• Homogenize the version upstream of ark-bn254 and other curves

  #2555 opened 2 months ago by dannywillems
  0

• Getting rid of ark-bn254

  #2554 opened 2 months ago by dannywillems
  1

• Add Selectors

  #2543 opened 3 months ago by marcbeunardeau88
  1

• Export the verification key

  #2549 opened 3 months ago by marcbeunardeau88
  0

• Make prover generic wrt PC/Curves

  #2551 opened 3 months ago by marcbeunardeau88
  0

• RAMLookup

  #2550 opened 3 months ago by marcbeunardeau88
  0

• Keccak recursion

  #2548 opened 3 months ago by marcbeunardeau88
  0

• Vinegar

  #2547 opened 3 months ago by marcbeunardeau88
  0

• use generator style

  #2545 opened 3 months ago by marcbeunardeau88
  0

• Use IPA

  #2544 opened 3 months ago by marcbeunardeau88
  0

• Test `cargo build` in CI using nix

  #2512 opened 3 months ago by Fizzixnerd
  0

• Clean up & resurrect existing benchmarks

  #2472 opened 3 months ago by volhovm
  0

• Runtime logup tables support

  #2427 opened 3 months ago by volhovm
  0

• Selector-controlled lookups

  #2440 opened 4 months ago by volhovm
  0

• Folding Prover: also prove native statement

  #2428 opened 3 months ago by volhovm
  0

• Cache Lagrange Basis

  #2414 opened 4 months ago by martyall
  1

• Add + IVC: Add modified Prover

  #2332 opened 4 months ago by volhovm
  0

• Folding + IVC for Add Circuit

  #2313 opened 4 months ago by volhovm
  0

• Reduce ECADD degree by 1

  #2387 opened 5 months ago by volhovm
  0

• Soundness of syscall read preimage

  #2335 opened 5 months ago by dannywillems
  1

• Add challenges for individual gadgets

  #2370 opened 5 months ago by dannywillems
  0

• ECADD: Tests for correctness against native implementation

  #2330 opened 5 months ago by volhovm
  0

• Verifying register values in syscall read preimage

  #2333 opened 5 months ago by dannywillems
  0

• Bug: SRS BN254 G2 h is not in subgroup

  #2287 opened 5 months ago by volhovm
  2

• Soundness: new constraint for the updated instruction counter?

  #2322 opened 5 months ago by querolita
  1

• Investigate more the instruction counter for soundness

  #2323 opened 5 months ago by dannywillems
  0

• Use 4 byte lookups instead of 8 in `SyscallReadPreimage`

  #2312 opened 6 months ago by querolita
  0

• Cache BN254 SRS for tests

  #2286 opened 6 months ago by volhovm
  0

• Failure when calling `CompressedPubKey::from_address("B62qpyhbvLobnd4Mb52vP7LPFAasb2S6Qphq8h5VV8Sq1m7VNK1VZcW")`

  #2298 opened 6 months ago by tizoc
  1

• Rewrite some circuits with new generic FoldingConfig

  #2294 opened 6 months ago by dannywillems
  0

• Fixed selectors: should be part of a "setup phase" and integration in prover/verifier should be verified

  #2262 opened 6 months ago by dannywillems
  0

• Rework design of fixed_selectors

  #2255 opened 6 months ago by dannywillems
  0

• Simplify multi-dimensional array

  #2253 opened 6 months ago by dannywillems
  0