jellyfish

jellyfish copied to clipboard

remove extra P: SWParam bound

4

## Description Major changes include: - Remove unnecessary bound of `P: SWParam` on many APIs The source of the "necessity" (afaiu) comes from conversion of `E::G1Affine` to `struct Point`, where...

alxiong

audit/improve KZG10 code

2

the main bottleneck of Jellyfish currently are: - FFT - KZG commitment And KZG dominants. It appears that arkwork's KZG implementation may not be optimized, for example: https://github.com/arkworks-rs/poly-commit/pull/98 The non-optimization...

zhenfeizhang

Need to implement public APIs for comparing to constants. E.g. `is_lt_const`, `enforce_gt_const`

mrain

Update crypto_box requirement from 0.7.1 to 0.8.0

2

Updates the requirements on [crypto_box](https://github.com/RustCrypto/nacl-compat) to permit the latest version. Commits 2f84da6 crypto_box v0.7.2 bc37945 docs: fix typos (#36) 83779b7 fix: correct links in README (#34) 95506c5 Fix building on...

dependabot[bot]

This issue aims to implement IMT and add unit tests. Blocked by specification work from https://github.com/EspressoSystems/cap-rollup/issues/19 Related to refactoring of current MT (since there are some trait definition and code...

alxiong

This issue aims to implement Non-membership proof gadget based on IMT. Blocked by #98

alxiong

This issue implements member insertion into IMT. Blocked by #98

alxiong

[Constraint] MT batch insertion

2

This issue aims to implement gadget for batch insertion for our current ternary forgettable MT. Blocked by #88

alxiong

[API] Refactor Merkle tree and its gadget

1

Current API for MT and its gadgets need some refactoring, e.g. here's the code we use in ZPrice to generate a circuit of lots of Merkle Proof verification: ```rust //...

alxiong

From @zhenfeizhang in https://github.com/EspressoSystems/jellyfish/pull/94#issuecomment-1209379869 > In general I want to advocate my "circuit ref" idea. For example > ``` rust > struct BoolVar } > ``` > > On top...

alxiong