4 Pull requests merged by 4 people

• IVC update 1

  #410 merged Dec 20, 2024

• fix ListItem definition

  #406 merged Dec 20, 2024

• Linear optimization

  #399 merged Dec 18, 2024

• Add to PlonkupProverSecret ToJSON/FromJSON instance

  #409 merged Dec 17, 2024

2 Pull requests opened by 2 people

• Secp256k1

  #413 opened Dec 18, 2024

• Reed-Solomon encoding / decoding module

  #414 opened Dec 20, 2024

2 Issues closed by 2 people

• Fix `ListItem` definition

  #401 closed Dec 20, 2024

• Linear optimization

  #272 closed Dec 18, 2024

8 Issues opened by 5 people

• Ordinal class reorg

  #420 opened Dec 23, 2024

• Logical class reorg

  #419 opened Dec 23, 2024

• Add Merkle tree to Symbolic

  #418 opened Dec 23, 2024

• Implement fast proving server

  #417 opened Dec 23, 2024

• Rewrite UInt module using new FFA

  #416 opened Dec 20, 2024

• Remove context parameter from Symbolic `Maybe` and `List`

  #415 opened Dec 20, 2024

• Blake2b in-circuit optimization

  #412 opened Dec 18, 2024

• Elliptic Curve algebra hierarchy proposal

  #411 opened Dec 17, 2024

7 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Custom `UInt` layout

  #407 commented on Dec 23, 2024 • 1 new comment

• Compiler optimization

  #350 commented on Dec 18, 2024 • 0 new comments

• Add golden tests to CI

  #335 commented on Dec 18, 2024 • 0 new comments

• Optimization of linear variable

  #403 commented on Dec 20, 2024 • 0 new comments

• A smart-constructed wrapper around `ArithmeticCircuit` to restrict allowed types of constraints during Haskell compile-time

  #252 commented on Dec 23, 2024 • 0 new comments

• Reorganize Logical/Ordinal Hierarchy

  #404 commented on Dec 23, 2024 • 0 new comments

• + `acFold` field in `ArithmeticCircuit`

  #405 commented on Dec 23, 2024 • 0 new comments