jon-chuang

The improvements will soon be merged with arkworks. In the meantime, a description of these improvements, which will help setup time by 3-4x, are available in: https://github.com/celo-org/zexe/pull/17 https://github.com/arkworks-rs/snark/pull/296 https://github.com/celo-org/zexe/pull/26 https://hackmd.io/@celo/S10UeWUBD...

Implement PLONK

7

Why? Very fast. Universal setup + proof composition = dark contracts. [Original PLONK](https://eprint.iacr.org/2019/953.pdf) [SHPLONK](https://hackmd.io/@tompocock/shplonk) (non-essential): Multiple commits [TurboPLONK](https://www.youtube.com/watch?v=ty-LZf0YCK0&t=1244s): Custom gates (e.g. EC point addition gates, can make pairing computation extremely...

Optimisation passes

1

So to implement outline_lcs, one should just walk the BTreeMap once in order, and tally the counts. However, if we have highly nested lcs, given an LC upper bound of...

Thereom: Multisig == cron scheduler

1

Hi, I've shown that multisig == on-chain tx scheduler, details here: https://github.com/solana-labs/solana/issues/17218 Would be nice to expand on that and generalise the multisig framework here to the DAA (Decentralised Autonomous...

Segfault when running pippenger_bench

1

``` make run_pippenger_bench -j16 initializing executing normal fft make[3]: *** [src/aztec/plonk/pippenger_bench/CMakeFiles/run_pippenger_bench.dir/build.make:57: src/aztec/plonk/pippenger_bench/CMakeFiles/run_pippenger_bench] Segmentation fault (core dumped) make[2]: *** [CMakeFiles/Makefile2:3153: src/aztec/plonk/pippenger_bench/CMakeFiles/run_pippenger_bench.dir/all] Error 2 make[1]: *** [CMakeFiles/Makefile2:3160: src/aztec/plonk/pippenger_bench/CMakeFiles/run_pippenger_bench.dir/rule] Error 2 ``` cmake...

Are these available?

Pairing-based signature aggregation

5

Is there any interest/avenue for implementing signature aggregation?

Compat with tokio::spawn

1

It would be very cool if a Compat could be produced for consuming the Spawner in the Tokio Handler so that the non-tokio runtime can spawn Tokio tasks. The way...

Secure account close

9

### Problem Account close does not instantly relinquish account to system program. This means that an external party can hijack that account or permanently keep it in limbo by funding...