slop-basefold 6.0.0

BaseFold polynomial commitment scheme for SLOP
Documentation 
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

use derive_where::derive_where;
use slop_algebra::AbstractField;
use slop_alloc::{Backend, CpuBackend, HasBackend};
use slop_tensor::Tensor;
use std::borrow::{Borrow, BorrowMut};

#[derive(Debug, Clone)]
#[derive_where(PartialEq, Eq, Serialize, Deserialize; Tensor<F, A>)]
pub struct RsCodeWord<F, A: Backend = CpuBackend> {
    pub data: Tensor<F, A>,
}

impl<F: AbstractField, A: Backend> RsCodeWord<F, A> {
    pub const fn new(data: Tensor<F, A>) -> Self {
        Self { data }
    }
}

impl<F: AbstractField, A: Backend> Borrow<Tensor<F, A>> for RsCodeWord<F, A> {
    fn borrow(&self) -> &Tensor<F, A> {
        &self.data
    }
}

impl<F: AbstractField, A: Backend> BorrowMut<Tensor<F, A>> for RsCodeWord<F, A> {
    fn borrow_mut(&mut self) -> &mut Tensor<F, A> {
        &mut self.data
    }
}

impl<F, A: Backend> HasBackend for RsCodeWord<F, A> {
    type Backend = A;

    #[inline]
    fn backend(&self) -> &Self::Backend {
        self.data.backend()
    }
}