zkFold/zkfold-base

Issues

• Allow seed payload in fold constraints

  #442 opened 4 hours ago
  0

• Migrate Symbolic codebase to the new unsized types

  #436 opened 8 days ago
  0

• Add unsized Symbolic types to `symbolic-base`

  #435 opened 8 days ago
  0

• Generalize fold constraints to use fold-in-fold

  #434 opened 8 days ago
  0

• Add IVC transformation pass to the compilation pipeline

  #433 opened 8 days ago
  0

• Implement Symbolic `List` API which uses folding

  #432 opened 8 days ago
  0

• Expose `fold` constraints via `MonadCircuit`/`Symbolic` API

  #431 opened 4 days ago
  0

• Finish `Fold` constraints & unsized types in Symbolic

  #430 opened 8 days ago
  0

• Implement new FFA algorithm prototype

  #428 opened 10 days ago
  0

• Generalize lookups to set inclusion constraints

  #427 opened 10 days ago
  2

• Remove `HaskellCore` and `RustCore` from proving protocols

  #426 opened 10 days ago
  0

• Rewrite polynomial division on FFT

  #425 opened 10 days ago
  0

• Switch to Nix in zkfold-prover

  #423 opened 10 days ago
  0

• Plonkup test failure

  #422 opened 23 days ago
  0

• Ordinal class reorg

  #420 opened 23 days ago
  0

• Logical class reorg

  #419 opened 23 days ago
  0

• Add Merkle tree to Symbolic

  #418 opened 24 days ago
  0

• Implement fast proving server

  #417 opened 24 days ago
  0

• Rewrite UInt module using new FFA

  #416 opened a month ago
  0

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

  #415 opened a month ago
  0

• Blake2b in-circuit optimization

  #412 opened a month ago
  1

• Elliptic Curve algebra hierarchy proposal

  #411 opened a month ago
  17

• Add `NFData`-related constraint to `Symbolic`

  #408 opened a month ago
  0

• Reorganize Logical/Ordinal Hierarchy

  #404 opened a month ago
  24

• Optimization of linear variable

  #403 opened a month ago
  1

• Remove redundant `ToJSONKey a` constraint on `compileIO`

  #402 opened a month ago
  0

• Fix `ListItem` definition

  #401 opened a month ago
  0

• Refactor `EllipticCurve` to make it Symbolic-friendly

  #400 opened a month ago
  0

• Test and optimize ECDSA in-circuit signature verifications using the new FFA

  #398 opened a month ago
  0

• Add Reed-Solomon encoding / decoding module

  #397 opened 7 days ago
  0

• Move `ArithmeticCircuit` modules up

  #395 opened a month ago
  0

• Optimize `Eq (Bool c) (Bool c)` instance

  #393 opened a month ago
  2

• Fix MiMC hash

  #389 opened 2 months ago
  0

• SymbolicData should imply constraints on its associated type families

  #388 opened a month ago
  7

• Refactor Plonk / PlonkUp to use structured inputs

  #386 opened a month ago
  0

• Default overridable implementation of `Eq` via `Generic`:

  #385 opened a month ago
  0

• UPLC Converter M4

  #383 opened 2 months ago
  0

• Add "fold" constraints to `ArithmeticCircuit`

  #382 opened 22 days ago
  0

• Add Symbolic `Hash` types

  #381 opened a month ago
  0

• Implement `SymbolicData` for `List`

  #379 opened a month ago
  0

• Trim functors during compilation

  #377 opened 2 months ago
  0

• Add `Payload` type family

  #375 opened 2 months ago
  0

• Default overridable implementation of `SymbolicInput` via `Generic`:

  #372 opened 2 months ago
  0

• A function that transforms (part of) inputs into extra witness

  #370 opened 2 months ago
  0

• Create a `:%:` modular newtype

  #369 opened 2 months ago
  7

• A function that transforms outputs into extra inputs

  #367 opened 2 months ago
  0

• Non-zero constraint in UInt tests

  #365 opened a month ago
  0

• Add support for extra witnesses in `ArithmeticCircuit`

  #363 opened 2 months ago
  0

• Add functions for working with circuit inputs, outputs, and extra witness

  #360 opened 2 months ago
  0

• Add tests for UPLC converter

  #358 opened 2 months ago
  1