sp1-gpu-sys 6.1.0

FFI bindings and CUDA build system for SP1-GPU
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use crate::runtime::KernelPtr;

extern "C" {
    pub fn partial_lagrange_koala_bear() -> KernelPtr;
    pub fn partial_lagrange_koala_bear_extension() -> KernelPtr;

    pub fn mle_fold_koala_bear_base_base() -> KernelPtr;
    pub fn mle_fold_koala_bear_base_extension() -> KernelPtr;
    pub fn mle_fold_koala_bear_ext_ext() -> KernelPtr;

    pub fn mle_fix_last_variable_in_place_koala_bear_base() -> KernelPtr;
    pub fn mle_fix_last_variable_in_place_koala_bear_extension() -> KernelPtr;

    pub fn partial_geq_koala_bear() -> KernelPtr;
}