openvm-cuda-backend 2.0.0

OpenVM CUDA prover backend for the SWIRL proof system
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123

use getset::MutGetters;
use openvm_stark_backend::{
    memory_metering::ProvingMemoryConfig, prover::Coordinator, StarkEngine, SystemParams,
};
#[cfg(feature = "baby-bear-bn254-poseidon2")]
use openvm_stark_sdk::config::baby_bear_bn254_poseidon2::BabyBearBn254Poseidon2Config;

#[cfg(feature = "baby-bear-bn254-poseidon2")]
use crate::{
    bn254_sponge::MultiFieldTranscriptGpu, gpu_backend::GenericGpuBackend,
    hash_scheme::BabyBearBn254Poseidon2HashScheme,
};
use crate::{
    hash_scheme::{DefaultHashScheme, GpuHashScheme},
    prelude::SC,
    sponge::DuplexSpongeGpu,
    GpuBackend, GpuDevice,
};

/// Generic GPU proving engine parameterised by a hash scheme.
///
/// Use the [`BabyBearPoseidon2GpuEngine`] type alias for the default Poseidon2 engine.
#[derive(MutGetters)]
pub struct GpuEngine<HS: GpuHashScheme> {
    #[getset(get_mut = "pub")]
    device: GpuDevice,
    #[getset(get_mut = "pub")]
    config: HS::SC,
}

/// Concrete GPU engine using the default BabyBear-Poseidon2 hash scheme.
pub type BabyBearPoseidon2GpuEngine = GpuEngine<DefaultHashScheme>;

/// GPU engine using the BabyBear + BN254 Poseidon2 hash scheme (Groth16-friendly).
#[cfg(feature = "baby-bear-bn254-poseidon2")]
pub type BabyBearBn254Poseidon2GpuEngine = GpuEngine<BabyBearBn254Poseidon2HashScheme>;

impl<HS: GpuHashScheme> GpuEngine<HS> {
    pub fn new(params: SystemParams) -> Self {
        let config = HS::default_config(params.clone());
        Self {
            device: GpuDevice::new(params).expect("failed to create GpuDevice"),
            config,
        }
    }
}

impl StarkEngine for GpuEngine<DefaultHashScheme> {
    type SC = SC;
    type PB = GpuBackend;
    type PD = GpuDevice;
    type TS = DuplexSpongeGpu;

    fn new(params: SystemParams) -> Self {
        GpuEngine::new(params)
    }

    fn config(&self) -> &Self::SC {
        &self.config
    }

    fn device(&self) -> &Self::PD {
        &self.device
    }

    fn proving_memory_config(&self) -> ProvingMemoryConfig {
        self.device
            .prover_config()
            .proving_memory_config(self.config())
    }

    fn initial_transcript(&self) -> Self::TS {
        DuplexSpongeGpu::default()
    }

    fn prover_from_transcript(
        &self,
        transcript: DuplexSpongeGpu,
    ) -> Coordinator<SC, Self::PB, Self::PD, Self::TS> {
        Coordinator::new(GpuBackend::default(), self.device.clone(), transcript)
    }
}

#[cfg(feature = "baby-bear-bn254-poseidon2")]
impl StarkEngine for GpuEngine<BabyBearBn254Poseidon2HashScheme> {
    type SC = BabyBearBn254Poseidon2Config;
    type PB = GenericGpuBackend<BabyBearBn254Poseidon2HashScheme>;
    type PD = GpuDevice;
    type TS = MultiFieldTranscriptGpu;

    fn new(params: SystemParams) -> Self {
        GpuEngine::new(params)
    }

    fn config(&self) -> &Self::SC {
        &self.config
    }

    fn device(&self) -> &Self::PD {
        &self.device
    }

    fn proving_memory_config(&self) -> ProvingMemoryConfig {
        self.device
            .prover_config()
            .proving_memory_config(self.config())
    }

    fn initial_transcript(&self) -> Self::TS {
        MultiFieldTranscriptGpu::default()
    }

    fn prover_from_transcript(
        &self,
        transcript: MultiFieldTranscriptGpu,
    ) -> Coordinator<BabyBearBn254Poseidon2Config, Self::PB, Self::PD, Self::TS> {
        Coordinator::new(
            GenericGpuBackend::default(),
            self.device.clone(),
            transcript,
        )
    }
}