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

Not just quartic

Browse Source
This commit is contained in:
Daniel Lubarov 2021-05-19 23:07:24 -07:00
parent 6e83d956e9
commit d05513475c
2 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/gates/interpolation_quartic.rs → src/gates/interpolation.rs
View File

@ -17,18 +17,18 @@ use crate::witness::PartialWitness;
/// The size of the field extension, in terms of number of base elements per extension element.
const EXT_SIZE: usize = 4;
/// Evaluates the interpolant of some given elements from a quartic field extension.
/// Evaluates the interpolant of some given elements from a field extension.
///
/// In particular, this gate takes as inputs `num_points` points, `num_points` values, and the point
/// to evaluate the interpolant at. It computes the interpolant and outputs its evaluation at the
/// given point.
#[derive(Clone, Debug)]
pub(crate) struct QuarticInterpolationGate<F: Field + Extendable<D>, const D: usize> {
pub(crate) struct InterpolationGate<F: Field + Extendable<D>, const D: usize> {
num_points: usize,
_phantom: PhantomData<F>,
}
impl<F: Field + Extendable<D>, const D: usize> QuarticInterpolationGate<F, D> {
impl<F: Field + Extendable<D>, const D: usize> InterpolationGate<F, D> {
pub fn new(num_points: usize) -> GateRef<F> {
let gate = Self {
num_points,
@ -94,7 +94,7 @@ impl<F: Field + Extendable<D>, const D: usize> QuarticInterpolationGate<F, D> {
}
}
impl<F: Field + Extendable<D>, const D: usize> Gate<F> for QuarticInterpolationGate<F, D> {
impl<F: Field + Extendable<D>, const D: usize> Gate<F> for InterpolationGate<F, D> {
fn id(&self) -> String {
format!("{:?}<D={}>", self, D)
}
@ -135,7 +135,7 @@ impl<F: Field + Extendable<D>, const D: usize> Gate<F> for QuarticInterpolationG
gate_index: usize,
_local_constants: &[F],
) -> Vec<Box<dyn WitnessGenerator<F>>> {
let gen = QuarticInterpolationGenerator::<F, D> {
let gen = InterpolationGenerator::<F, D> {
gate_index,
gate: self.clone(),
_phantom: PhantomData,
@ -164,14 +164,14 @@ impl<F: Field + Extendable<D>, const D: usize> Gate<F> for QuarticInterpolationG
}
}
struct QuarticInterpolationGenerator<F: Field + Extendable<D>, const D: usize> {
struct InterpolationGenerator<F: Field + Extendable<D>, const D: usize> {
gate_index: usize,
gate: QuarticInterpolationGate<F, D>,
gate: InterpolationGate<F, D>,
_phantom: PhantomData<F>,
}
impl<F: Field + Extendable<D>, const D: usize> SimpleGenerator<F>
for QuarticInterpolationGenerator<F, D>
for InterpolationGenerator<F, D>
{
fn dependencies(&self) -> Vec<Target> {
let local_target = |input| {
@ -244,11 +244,11 @@ mod tests {
use crate::field::crandall_field::CrandallField;
use crate::gates::gate::Gate;
use crate::gates::gate_testing::test_low_degree;
use crate::gates::interpolation_quartic::QuarticInterpolationGate;
use crate::gates::interpolation::InterpolationGate;
#[test]
fn wire_indices() {
let gate = QuarticInterpolationGate::<CrandallField, 4> {
let gate = InterpolationGate::<CrandallField, 4> {
num_points: 2,
_phantom: PhantomData,
};
@ -269,7 +269,7 @@ mod tests {
#[test]
fn low_degree() {
type F = CrandallField;
let gate = QuarticInterpolationGate::<F, 4> {
let gate = InterpolationGate::<F, 4> {
num_points: 4,
_phantom: PhantomData,
};

2
src/gates/mod.rs
View File

@ -4,7 +4,7 @@ pub(crate) mod fri_consistency_gate;
pub(crate) mod gate;
pub mod gmimc;
pub(crate) mod gmimc_eval;
mod interpolation_quartic;
mod interpolation;
pub(crate) mod noop;
#[cfg(test)]