Quang Dao

arc1 way too difficult for progression

3

Hi, I'm going through the exercises, and it seems that `arc1.rs` is a bit out of place. It doesn't relate to any other exercises in `standard_library_types`, and the solver probably...

Currently, a `JoltProof` consists of an `R1CSProof`, which in turn consists of a `UniformSpartanKey` and a `UniformSpartanProof`. The former one, `UniformSpartanKey`, contains the R1CS constraints for Jolt. These constraints are...

feat: Decrease one-hot K = 256 => K = 16 for small cycles

4

Made possible by #1096 . Need to gate behind feature flag because we are changing compile-time constants Preliminary benchmark on my M4 mac: sha3 goes from 6.8s to 1.9s!

More improvements to read raf checking & better one-hot init

2

Merge #1094 first. I make the computation of some subroutines more efficient.

MLE product sum for d=32

4

There are some more playing around with precise extrapolation, use of `#[inline]`, and so on. But for now this is probably acceptable. Also added bench for this compared with naive...