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

Add test for system zero

Browse Source
This commit is contained in:
wborgeaud 2022-02-04 16:02:45 +01:00
parent d99cabded9
commit 1011c302ac
3 changed files with 16 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
starky/src/fibonacci_stark.rs
View File

@ -97,7 +97,7 @@ mod tests {
use crate::config::StarkConfig;
use crate::fibonacci_stark::FibonacciStark;
use crate::prover::prove;
use crate::stark_testing::test_low_degree;
use crate::stark_testing::test_stark_low_degree;
use crate::verifier::verify;
fn fibonacci(n: usize, x0: usize, x1: usize) -> usize {
@ -141,6 +141,6 @@ mod tests {
let config = StarkConfig::standard_fast_config();
let num_rows = 1 << 5;
let stark = S::new(num_rows);
test_low_degree(stark)
test_stark_low_degree(stark)
}
}

3
starky/src/lib.rs
View File

@ -12,10 +12,9 @@ mod get_challenges;
pub mod proof;
pub mod prover;
pub mod stark;
pub mod stark_testing;
pub mod vars;
pub mod verifier;
#[cfg(test)]
pub mod fibonacci_stark;
#[cfg(test)]
pub mod stark_testing;

13
system_zero/src/system_zero.rs
View File

@ -97,6 +97,7 @@ mod tests {
use starky::config::StarkConfig;
use starky::prover::prove;
use starky::stark::Stark;
use starky::stark_testing::test_stark_low_degree;
use starky::verifier::verify;
use crate::system_zero::SystemZero;
@ -118,4 +119,16 @@ mod tests {
verify(system, proof, &config)
}
#[test]
#[ignore] // TODO
fn degree() -> Result<()> {
type F = GoldilocksField;
type C = PoseidonGoldilocksConfig;
const D: usize = 2;
type S = SystemZero<F, D>;
let system = S::default();
test_stark_low_degree(system)
}
}