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

Add permutation in mock STARKs for good measure

Browse Source
This commit is contained in:
wborgeaud 2022-05-13 14:20:59 +02:00
parent aa77660bfe
commit 02db6c93ec
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
starky2/src/all_stark.rs
View File

@ -7,6 +7,7 @@ use plonky2::hash::hash_types::RichField;
use crate::config::StarkConfig; use crate::config::StarkConfig;
use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer}; use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer};
use crate::cross_table_lookup::CrossTableLookup; use crate::cross_table_lookup::CrossTableLookup;
use crate::permutation::PermutationPair;
use crate::stark::Stark; use crate::stark::Stark;
use crate::vars::{StarkEvaluationTargets, StarkEvaluationVars}; use crate::vars::{StarkEvaluationTargets, StarkEvaluationVars};
@ -71,6 +72,10 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for CpuStark<F, D
fn constraint_degree(&self) -> usize { fn constraint_degree(&self) -> usize {
3 3
} }
fn permutation_pairs(&self) -> Vec<PermutationPair> {
vec![PermutationPair::singletons(8, 9)]
}
} }
impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for KeccakStark<F, D> { impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for KeccakStark<F, D> {
@ -98,6 +103,10 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for KeccakStark<F
fn constraint_degree(&self) -> usize { fn constraint_degree(&self) -> usize {
3 3
} }
fn permutation_pairs(&self) -> Vec<PermutationPair> {
vec![PermutationPair::singletons(0, 6)]
}
} }
#[cfg(test)] #[cfg(test)]