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

basic tests

Browse Source
This commit is contained in:
Nicholas Ward 2021-07-23 15:11:42 -07:00
parent 6d22ad6ee0
commit 40055dc45d
2 changed files with 12 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/gates/exponentiation.rs
View File

@ -176,33 +176,29 @@ mod tests {
use crate::field::field::Field; use crate::field::field::Field;
use crate::gates::gate::Gate; use crate::gates::gate::Gate;
use crate::gates::gate_testing::test_low_degree; use crate::gates::gate_testing::test_low_degree;
use crate::gates::insertion::ExponentiationGate; use crate::gates::exponentiation::ExponentiationGate;
use crate::proof::Hash; use crate::proof::Hash;
use crate::vars::EvaluationVars; use crate::vars::EvaluationVars;
#[test] #[test]
fn wire_indices() { fn wire_indices() {
let gate = ExponentiationGate::<CrandallField, 4> { let gate = ExponentiationGate::<CrandallField, 4> {
vec_size: 3, num_power_bits: 5,
_phantom: PhantomData, _phantom: PhantomData,
}; };
assert_eq!(gate.wires_insertion_index(), 0); assert_eq!(gate.wires_base(), 0);
assert_eq!(gate.wires_element_to_insert(), 1..5); assert_eq!(gate.wires_power(), 1);
assert_eq!(gate.wires_original_list_item(0), 5..9); assert_eq!(gate.wires_power_bit(0), 2);
assert_eq!(gate.wires_original_list_item(2), 13..17); assert_eq!(gate.wires_power_bit(4), 6);
assert_eq!(gate.wires_output_list_item(0), 17..21); assert_eq!(gate.wires_intermediate_value(0), 7);
assert_eq!(gate.wires_output_list_item(3), 29..33); assert_eq!(gate.wires_intermediate_value(0), 11);
assert_eq!(gate.wires_equality_dummy_for_round_r(0), 33);
assert_eq!(gate.wires_equality_dummy_for_round_r(3), 36);
assert_eq!(gate.wires_insert_here_for_round_r(0), 37);
assert_eq!(gate.wires_insert_here_for_round_r(3), 40);
} }
#[test] #[test]
fn low_degree() { fn low_degree() {
type F = CrandallField; type F = CrandallField;
test_low_degree(ExponentiationGate::<F, 4>::new(4)); test_low_degree(ExponentiationGate::<F, 4>::new(5));
} }
#[test] #[test]
@ -211,8 +207,8 @@ mod tests {
type FF = QuarticCrandallField; type FF = QuarticCrandallField;
const D: usize = 4; const D: usize = 4;
/// Returns the local wires for an insertion gate for given the original vector, element to /// Returns the local wires for an exponentiation gate given the base, power, and power bit
/// insert, and index. /// values.
fn get_wires(orig_vec: Vec<FF>, insertion_index: usize, element_to_insert: FF) -> Vec<FF> { fn get_wires(orig_vec: Vec<FF>, insertion_index: usize, element_to_insert: FF) -> Vec<FF> {
let vec_size = orig_vec.len(); let vec_size = orig_vec.len();

2
src/gates/insertion.rs
View File

@ -322,7 +322,7 @@ mod tests {
type FF = QuarticCrandallField; type FF = QuarticCrandallField;
const D: usize = 4; const D: usize = 4;
/// Returns the local wires for an insertion gate for given the original vector, element to /// Returns the local wires for an insertion gate given the original vector, element to
/// insert, and index. /// insert, and index.
fn get_wires(orig_vec: Vec<FF>, insertion_index: usize, element_to_insert: FF) -> Vec<FF> { fn get_wires(orig_vec: Vec<FF>, insertion_index: usize, element_to_insert: FF) -> Vec<FF> {
let vec_size = orig_vec.len(); let vec_size = orig_vec.len();