logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-08 08:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Minor

Browse Source
This commit is contained in:
Daniel Lubarov 2021-05-17 11:47:33 -07:00
parent 0c91739b3b
commit c6fa7eb18e
1 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/gates/interpolation_quartic.rs
View File

@ -107,21 +107,26 @@ impl<QFE: QuarticFieldExtension> Gate<QFE::BaseField> for QuarticInterpolationGa
fn generators(
&self,
gate_index: usize,
local_constants: &[QFE::BaseField],
_local_constants: &[QFE::BaseField],
) -> Vec<Box<dyn WitnessGenerator<QFE::BaseField>>> {
todo!()
let gen = QuarticInterpolationGenerator::<QFE> {
gate_index,
num_points: self.num_points,
_phantom: PhantomData,
};
vec![Box::new(gen)]
}
fn num_wires(&self) -> usize {
todo!()
self.start_coeffs() + self.num_points * EXT_SIZE
}
fn num_constants(&self) -> usize {
todo!()
0
}
fn degree(&self) -> usize {
todo!()
self.num_points - 1
}
fn num_constraints(&self) -> usize {
@ -130,6 +135,8 @@ impl<QFE: QuarticFieldExtension> Gate<QFE::BaseField> for QuarticInterpolationGa
}
struct QuarticInterpolationGenerator<QFE: QuarticFieldExtension> {
gate_index: usize,
num_points: usize,
_phantom: PhantomData<QFE>,
}
@ -149,8 +156,9 @@ impl<QFE: QuarticFieldExtension> SimpleGenerator<QFE::BaseField>
mod tests {
use std::marker::PhantomData;
use crate::gates::interpolation_quartic::QuarticInterpolationGate;
use crate::field::extension_field::quartic::QuarticCrandallField;
use crate::gates::gate::Gate;
use crate::gates::interpolation_quartic::QuarticInterpolationGate;
#[test]
fn wire_indices() {
@ -165,5 +173,6 @@ mod tests {
assert_eq!(gate.wires_interpolated_value(), vec![14, 15, 16, 17]);
assert_eq!(gate.wires_coeff(0), vec![18, 19, 20, 21]);
assert_eq!(gate.wires_coeff(1), vec![22, 23, 24, 25]);
assert_eq!(gate.num_wires(), 26);
}
}