fflonk-cuda 0.156.0

CUDA implementation of the fflonk prover
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#[derive(Clone, Debug)]
pub enum CudaError {
    Error(String),
    VariableAssignmentError(String),
    MaterializePermutationsError(String),
    SetupError(String),
    NttError(String),
    BitreverseError(String),
    BatchInverseError(String),
    GrandProductErr(String),
    PolyEvaluationErr(String),
    MsmError(String),
    TransferError(String),
    AllocationError(String),
    SyncError(String),
}
pub type CudaResult<T> = Result<T, CudaError>;