Alexander

Make some functions constant

1

It should be possible to make some functions constant, at least simple ones like an empty state. It will require to add extra constructors because runtime feature detection is obviously...

Try to optimize out `__multi3`

5

Ongoing work for an issue #4077 Most likely pattern matching for the full body of `__multi3` function is a way to go. It's still kind of fragile and will not...

Symbols not found when using cargo-fuzz on MacOS

1

I'm running a cloud instance of fuzzing with cargo-fuzz and tried to build the same fuzzer target on local MacOS 10.15.1. XCode and tools are installed. Cargo-fuzz requires nightly so...

Do not turn on LLVM intrinsic dependency by default

3

At the moment build script turns on a feature that uses LLVM instrinsics for additions. Unfortunately cranelift backend does not support those instinsics (and potentially other) yet, so can it...

https://eprint.iacr.org/2016/504.pdf

Take transparent polycommit from bellman/plonk and replace the current one. May be create a separate crate

Have all the ceremony in compressed form

4

There are two options for a ceremony: - Participant downloads `2M` of data (points are in uncompressed form) and uploads `M` of data. Hash of `2M` of data is written...

For progress tracking

Ark-ec pulls in full hashbrown without feature gate

6

That eventually pulls things like `once_cell` that require atomics on some platforms (compare-exchange), and in general HashMap is quite heavy primitive that is still not in `alloc` of Rust itself...

Implement binary EEA inversion for faster BNADD precompile

18

Single field inversion takes almost all the time of execution in case of point addition. Switching from inversion by exponentiation into `p-2` power to binary EEA inversion reduces execution time...