Sorry I missed the meeting earlier today. Its a tough time for me to make.

For those who are interested, I have a first draft paper formally describing the Gray code improvements I have been working on:
https://github.com/cargodog/papers/blob/master/efficient-one-out-of-many-proofs-using-gray-codes/rendered.pdf

My progress will be slower this week, but now that the paper is "stable", I am switching focus back to code optimization and benchmarking. My hope is to conjur some impressive benchmarks that can draw more attention to Arcturus.