Faster drop of `steps`
arthurpaulino opened this issue · 0 comments
arthurpaulino commented
In the implementation of prove_recursively
for our Nova and SuperNova proofs, we take ownership of a vector of multiframes steps: Vec<C1LEM<'a, F, C>>
. It's consumed and then dropped.
Here, it seems that we should be able to use the following trick: https://abrams.cc/rust-dropping-things-in-another-thread (thanks @huitseeker for the tip)
Note: we actually have two logical branches. In one branch, steps
is consumed to instantiate cc
. Meaning that on that branch specifically, cc
is the thing we'd drop on a separate thread.