Integrate proof v10.0.0

[jennijuju]

No description provided.

[cryptonemo]

FFI PR is up here: filecoin-project/filecoin-ffi#204

CI should be green except for the 2 blst/pairing tests (which no longer exist and should be removed by someone with FFI settings powers).

CUDA Doc link is here: https://github.com/filecoin-project/filecoin-ffi/tree/update-proofs-v10-0-0#experimental-cuda-build-support

In short, if people want to try out CUDA support (instead of opencl), they can use FFI_USE_CUDA=1

[jennijuju]

removed by someone with FFI settings powers

who is this someone?

[cryptonemo]

removed by someone with FFI settings powers

who is this someone?

Honestly, I'm not sure (but it's not me). Maybe Magick, or Dig?

[magik6k]

^ Updated the CI rules

[cryptonemo]

^ Updated the CI rules

Thank you!

[magik6k]

#7420

[cryptonemo]

Some feedback applied: filecoin-project/filecoin-ffi#205

[cryptonemo]

Some feedback applied: filecoin-project/filecoin-ffi#205

I don't know that this is blocking, FYI, but would be nice to get in if/when working