Skip to main content

sp1_gpu_sys/
jagged.rs

1use crate::runtime::KernelPtr;
2
3extern "C" {
4    pub fn jagged_koala_bear_extension_populate() -> KernelPtr;
5
6    pub fn jagged_koala_bear_base_ext_sum_as_poly() -> KernelPtr;
7    pub fn jagged_koala_bear_extension_virtual_fix_last_variable() -> KernelPtr;
8
9    pub fn branching_program_kernel() -> KernelPtr;
10
11    pub fn interpolateAndObserve_kernel_duplex() -> KernelPtr;
12
13    pub fn interpolateAndObserve_kernel_multi_field_32() -> KernelPtr;
14
15    pub fn transition_kernel() -> KernelPtr;
16
17    pub fn fixLastVariable_kernel() -> KernelPtr;
18}