Alex Xiong

[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...

[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...

Currently, there are some util functions that we only want conditionally compile for tests and benches across different crates. (specifically `gen_srs_for_testing` [here](https://github.com/EspressoSystems/jellyfish/pull/231/commits/094fd51e2e83f3068fc82874482e58935a2fdbef)) We currently directly copy the code from `jf-primitives`...

@sveitser has pointed out that downstream libraries that use `jellyfish` usually compile with `--release` for faster runtime jellyfish which slows down the dev process and many dev tools (also work...

Compare against JMT

1

We should compare our SMT with [Jellyfish MT](https://developers.diem.com/papers/jellyfish-merkle-tree/2021-01-14.pdf) (JMT 😢 name collision) by Diem, used by Aptos for their key-value map.

[CI] Add cargo-hack into CI pipeline

2

[`cargo-hack`](https://github.com/taiki-e/cargo-hack) is super useful for testing code with different selection/combination of feature flags and rust version etc, which is important to ensure that the feature flags we defined are not...

Currently, our customized gate formula is: @zhenfeizhang has suggested that since currently the gadgets we use either use linear combination selectors `q_lc := (q1~q4)` or hash (degree 5) selectors `q_hash:=(qH1~qH4)`,...

This is the parent tracking issue for all tasks related to making CAPE's wallet runnable inside WASM (and browser). Here are some dependencies we need to work on (basically directly...

feat: IntegerMatrix should supports mpz

5

I was reading [`assign_mpz`](https://github.com/fplll/fpylll/blob/master/src/fpylll/io.pyx#L40-L60) and see that even if internally the IntegerMatrix uses mpz, it doesn't accept value passed in as type `mpz`. ideally I want to do: ```python from...

Currently, you cannot use the common slicing to access (read/write) rows/cols of `IntegerMatrix`, this issue aims to add support for it. namely: ```python from fpylll import IntegerMatrix A = IntegerMatrix.random(10,...