Chengyu Lin
Chengyu Lin
Need to implement public APIs for comparing to constants. E.g. `is_lt_const`, `enforce_gt_const`
## Description closes: #88 - [x] Generic merkle tree traits - [x] Generic merkle tree implementation [WIP] - [x] Merkle tree - [x] Updatable / Appendable Merkle tree - [x]...
Reference: https://eprint.iacr.org/2020/1536.pdf (Appendix C) Reference implementation: [EspressoSystems/hyperplonk#53](https://github.com/EspressoSystems/hyperplonk/pull/53) - single poly, multiple points - single point, multiple poly - multi poly, multi points (possible ref: https://dankradfeist.de/ethereum/2021/06/18/pcs-multiproofs.html, https://eprint.iacr.org/2023/033.pdf)
## Description This PR avoids a memory copy in `load_poly_to_gpu`. However it contains unsafe rust code. Before: ``` Start: KZG10::Setup with prover degree 4194304 and verifier degree 1 ... Start:...
See discussion thread here: https://github.com/EspressoSystems/jellyfish/pull/498#discussion_r1504952218 The current type conversion is taking quite a long time for large chunk of data. We should find a way to optimize that. The ICICLE...
This is taking a long time when committing 10 degree 2^20 polys. We should consider having an issue for a faster implementation (and maybe interfaces) _Originally posted by @mrain in...
After GPU accelerated MSM/KZG commitment After #498
Current implementation will break non-membership proofs. We should have a better design. Previous discussion here: https://github.com/EspressoSystems/jellyfish/pull/489#discussion_r1498202847 https://github.com/EspressoSystems/jellyfish/pull/489#discussion_r1499602626
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,...
```bash $ cargo bench --bench plonk-benches [11:15:56] Finished bench [optimized] target(s) in 0.13s Running benches/bench.rs (/Users/chengyu/espressosys/jellyfish/target/release/deps/plonk_benches-792a473dc5636b5b) thread 'main' panicked at /Users/chengyu/espressosys/jellyfish/plonk/src/proof_system/mod.rs:55:9: not implemented: Should load from files in practice. note:...