Closed LukePearson1 closed 5 years ago
Build is failing. I'll check the logs so you can solve the errors.
Also, it will be nice to add better titles and descriptions of the PR and what does it include or remove.
The build is failing since it was removed the following compiler instruction:
#[cfg(not(any(feature = "u64_backend")))]
found at src/backend/u64/mod.rs
.
Is there any reason why this was removed? Since this instruction forces the compiler to use the u64_backend
if no feature has been selected.
The first few at the top are just the rectifications of your comments on my last merge conflicts. The last are code additions, with what is now verified curve proofs for Doppio.