jellyfish
jellyfish copied to clipboard
EspressoSystems
A Rust Implementation of the PLONK ZKP System and Extensions
In order to get a `&[u8]` from a `HasherNode` downstream users must do `.as_ref().as_ref()`. Example: https://github.com/EspressoSystems/HotShot/pull/2397#discussion_r1451628631 The acceptable number of `.as_ref()` to force upon downstream users is at most 1.
From https://github.com/EspressoSystems/jellyfish/pull/472#discussion_r1465342753
## Description closes: #339 ⚠️ currently paused since this is super low priority and blocked by having a production-ready SRS (in eval form) to be adopted in production. --- Before...
Current univariate KZG implementation sets `Polynomial` type to `DensePolynomial` https://github.com/EspressoSystems/jellyfish/blob/ff340418250c761c345e6aa613175ce82ebca6c1/primitives/src/pcs/univariate_kzg/mod.rs#L62 from the `ark_poly` crate, which is an owned `Vec` of coefficients https://github.com/arkworks-rs/algebra/blob/c015ea331674368461ff466bc7cbc69806f61628/poly/src/polynomial/univariate/dense.rs#L22-L25 Thus, anyone who uses KZG must first create...
Came across few typos I corrected. One of them is an error message displayed to the user, rest are comments. Hope I could help even a bit.
In `primitives/src/signatures/bls_over_bn254.rs`. Current `Eq`, `Ord` of the signature key is making some non-trivial conversion from a projective point to its affine representation. ```Rust impl Ord for VerKey { fn cmp(&self,...
In the light of more [airdrop-fishing, typo-fixing PRs](https://twitter.com/m2magician/status/1735373487055761714) surfacing in numerous repos (which we should discourage), we should simply add[ typo check action](https://github.com/crate-ci/typos) in our CI pipeline and fix them...
Based on _Originally posted by @ggutoski in https://github.com/EspressoSystems/jellyfish/pull/438#discussion_r1416298333_ ## Problem `SmallRangeProof` is strictly worse than `LargeRangeProof` if the given range is large. We should make it easy for the user...
Currently, the SRS and KZG verifier params have fields `g`, `h`, and `beta_h` that can be removed as they can be retrieved from `powers_of_g` and `powers_of_h`. https://github.com/EspressoSystems/jellyfish/blob/kzg-multiproof-binyi/primitives/src/pcs/univariate_kzg/srs.rs#L18 https://github.com/EspressoSystems/jellyfish/blob/kzg-multiproof-binyi/primitives/src/pcs/univariate_kzg/srs.rs#L49 (P.S. It's...
Metadata
Owner
Metadata
A Rust Implementation of the PLONK ZKP System and Extensions