Zachary James Williamson

> I think the one optimization I still saw to do (and maybe it's in there but I missed it) is to pre-swap the PUSH constants. Heya, thanks for the...

I've pushed a temporary fix for the compiler issues on M1 Macs. Running `bootstrap.sh APPLE_M1` should work now. Multithreading is disabled, however, as there are lingering linker errors with OpenMP.

Heya, this is awesome research, thanks for this. That intel paper is really handy. Out of curiosity, are you thinking of refactoring the libff subroutines to use the ADCX/ADOX/MULX multiplication...

Hi Jerry, It looks like CMake can’t find the OpenMP libraries. If you install them via `sudo apt-get libomp-dev` it might work.If that fails, you can try and compile the...

@TomAFrench what is the correct repo to raise issues about proving times? If two circuits have the same number of constraints but different proving times, the problem won't be in...

@qbzzt I hope you don't mind me taking the liberty of implementing this. I also added a positive outcome per @smartcontracts request. Feeding a user has a 25% chance of...

> Mind? I prefer that. Life is a bit hectic. Anyway, what do you mean by one token? The equivalent of one wei? That is tiny, how about we multiply...

> Change the 25% from a minting to a transfer from the feeder. Then the abuse doesn't matter. If you're going to feed anybody shit, don't be surprised if there...

Just looking at this - would anybody have concerns about changing the method `operation_exists_at_row` to take as an input argument a reference to the full set of polynomials and a...

@fcarreiro I was hoping that changing `operation_exists_at_row` would help, even if downstream fns aren't changed, because `get_row` would only need to be called for rows where a lookup occurs. I...