jellyfish

jellyfish copied to clipboard

Currently range proof is only available for table of size 2^16. We may want to use different tables (with proper domain separation #48) for customized sizes.

zhenfeizhang

audit the useage of `RngCore + CryptoRng` vs `Rng` vs `CSPRNG`

1

this triggers me to think if we should replace some `RngCore + CryptoRng` trait bound in our API to just `Rng`? 1. We are not implementing an PRNG ourselves, so...

zhenfeizhang

We may be able to reduce constraint count for MSM a bit further. https://hackmd.io/@tazAymRSQCGXTUKkbh1BAg/Sk27liTW9 https://github.com/Manta-Network/wasm-zkp-challenge/blob/optimized_pippenger/src/pippenger_msm.rs https://github.com/arkworks-rs/algebra/issues/380, https://github.com/AztecProtocol/barretenberg/blob/f45c27ecd70a3c5607cf30ad5e36bcb4b7385b6d/barretenberg/src/aztec/ecc/curves/bn254/scalar_multiplication/scalar_multiplication.cpp#L114 > Let's consider native computation. When we add a projective point with an...

zhenfeizhang

Ark-sponge compatibilty

3

Currently we have rescue-based sponge construction whereas `ark-sponge` repo supports Poseidon. But it may be beneficial to be compliant to [their trait](https://github.com/arkworks-rs/sponge/blob/master/src/lib.rs#L108).

alxiong

Poseidon hash support (optimized / non-optimized)

2

drewstone

improve merkle tree's hash logic

2

currently merkle tree hash is implemented as ``` rust /// Hash function used to compute an internal node value /// * `a` - first input value (e.g.: left child value)...

zhenfeizhang

zhenfeizhang

Tasks: - [ ] Decide on the name under which to publish - [ ] Replace all "git" dependencies with crates.io dependencies (can't publish if depending on "git", see [the...

zhenfeizhang

Refer to https://github.com/SpectrumXYZ/zk-rollup/issues/3

chancharles92

> serde_cbor is unmaintained | Details | | | ------------------- | ---------------------------------------------- | | Status | unmaintained | | Package | `serde_cbor` | | Version | `0.11.2` | | URL...

github-actions[bot]