jellyfish

jellyfish copied to clipboard

Currently we are only wrapping `blst`'s sign and verify, but not `aggregate`, this issue aims to add that and add respective unit test and benchmark code.

mrain

`reed_solomon_erasure_decode_rou` currently uses quadratic-time Lagrange interpolation. Switch to a quasi-linear-time interpolation such as this: [Reed-Solomon erasure code recovery in n*log^2(n) time with FFTs - Sharding - Ethereum Research](https://ethresear.ch/t/reed-solomon-erasure-code-recovery-in-n-log-2-n-time-with-ffts/3039) https://github.com/EspressoSystems/jellyfish/blob/3e8b7d6d1908345951e299eed63e656420e4e401/primitives/src/reed_solomon_code/mod.rs#L151 At...

ggutoski

Make jellyfish wasm compatibility

4

This issue aims to achieve wasm compatibility: - [ ] finish #111 - [x] document slowdown (if any) and limitations in the wasm version. - [x] add wasm compilation check...

alxiong

chore: add flamegraph instructions for profiling

1

## Description Add `cargo-flamegraph` to nix-shell and add instructions to demonstrate how to run in in README. --- Before we can merge this PR, please make sure that all the...

alxiong

Batch (non)membership proof for merkle tree

1

mrain

[meta] consistent serde strategy

1

## Status Quo Our unwritten serde strategy has been: > our preference is to support `ark_serialize` (on cryptographic objects like fields, curve points, and structs that contains them) and then...

alxiong

See comments here: https://github.com/EspressoSystems/jellyfish/pull/299#discussion_r1220149576

mrain

Referenced impl for bls12-377: https://github.com/EspressoSystems/jellyfish/blob/main/relation/src/gadgets/ecc/conversion.rs#L72 https://www.notion.so/espressosys/BLS12-377-Twisted-Edwards-parameters-47d988917fd540049ebb9e88b3b31d62

mrain

Currently `MerkleTreeScheme` can be used only when the index type parameter `I` impls `From`. See for example: https://github.com/EspressoSystems/jellyfish/blob/8d1d1c8a3e33cca7e6fff27fff7af0dee343132a/primitives/src/merkle_tree/macros.rs#L39 This restriction severely limits the choice of type. Currently it's instantiated only...

ggutoski

[circuit] solidity keccak256 hash

1

This issue tracks the task of proving keccak hash function (used in solidity/EVM) efficiently in our UltraPlonk. The work involves literature review of the latest lookup arguments and engineering planning...

alxiong