logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-05-03 16:53:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Minor

Browse Source
This commit is contained in:
wborgeaud 2022-02-14 10:23:26 +01:00
parent 1686cb021f
commit 7820ba965c
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
starky/src/fibonacci_stark.rs
View File

@ -191,13 +191,13 @@ mod tests {
)?; )?;
verify(stark, proof.clone(), &config)?; verify(stark, proof.clone(), &config)?;
recursive_proof::<F, C, S, C, D>(stark, proof, &config, true, true) recursive_proof::<F, C, S, C, D>(stark, proof, &config, true)
} }
fn recursive_proof< fn recursive_proof<
F: RichField + Extendable<D>, F: RichField + Extendable<D>,
C: GenericConfig<D, F = F>, C: GenericConfig<D, F = F>,
S: Stark<F, D>, S: Stark<F, D> + Copy,
InnerC: GenericConfig<D, F = F>, InnerC: GenericConfig<D, F = F>,
const D: usize, const D: usize,
>( >(

2
starky/src/stark.rs
View File

@ -14,7 +14,7 @@ use crate::vars::StarkEvaluationVars;
/// Represents a STARK system. /// Represents a STARK system.
// TODO: Add a `constraint_degree` fn that returns the maximum constraint degree. // TODO: Add a `constraint_degree` fn that returns the maximum constraint degree.
pub trait Stark<F: RichField + Extendable<D>, const D: usize>: Sync + Copy { pub trait Stark<F: RichField + Extendable<D>, const D: usize>: Sync {
/// The total number of columns in the trace. /// The total number of columns in the trace.
const COLUMNS: usize; const COLUMNS: usize;
/// The number of public inputs. /// The number of public inputs.