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

Minor

Browse Source
This commit is contained in:
wborgeaud 2022-02-04 16:46:33 +01:00
parent f5ddf32490
commit 01f065b812
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
starky/src/stark_testing.rs
View File

@ -25,6 +25,7 @@ where
let rate_bits = log2_ceil(stark.degree() + 1);
let wire_ldes = random_low_degree_matrix::<F>(S::COLUMNS, rate_bits);
let size = wire_ldes.len();
let public_inputs = F::rand_arr::<{ S::PUBLIC_INPUTS }>();
let lagrange_first = {
@ -41,17 +42,14 @@ where
let z_h_on_coset = ZeroPolyOnCoset::<F>::new(log2_strict(WITNESS_SIZE), rate_bits);
let last = F::primitive_root_of_unity(log2_strict(WITNESS_SIZE)).inverse();
let subgroup = F::cyclic_subgroup_known_order(
F::primitive_root_of_unity(log2_strict(WITNESS_SIZE) + rate_bits),
WITNESS_SIZE << rate_bits,
);
let n = wire_ldes.len();
let subgroup =
F::cyclic_subgroup_known_order(F::primitive_root_of_unity(log2_strict(size)), size);
let alpha = F::rand();
let constraint_evals = (0..wire_ldes.len())
let constraint_evals = (0..size)
.map(|i| {
let vars = StarkEvaluationVars {
local_values: &wire_ldes[i].clone().try_into().unwrap(),
next_values: &wire_ldes[(i + (1 << rate_bits)) % n]
next_values: &wire_ldes[(i + (1 << rate_bits)) % size]
.clone()
.try_into()
.unwrap(),