github/semacaulk
1
1
Fork 0
mirror of https://github.com/geometryxyz/semacaulk.git synced 2026-04-15 03:00:02 -04:00
Code Issues Packages Projects Releases Wiki Activity

offset 1 in L evals by n

Browse Source
This commit is contained in:
Koh Wei Jie
2022-11-28 17:34:30 +08:00
parent c15eac70f0
commit 7dd2f4bab2
2 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/gates/gate_sanity_checks.rs
View File

@@ -29,7 +29,7 @@ pub fn mimc<F: PrimeField>(
/*
* Checks whether the evals satisfy the gate with the following equation:
*
* L_0 * (w0_next_n1 - w0 - w0_next_n)
* L_i * (w0_next_n1 - w0 - w0_next_n)
*/
pub fn gate_4_key_sum<F: PrimeField>(
l_evals: Vec<F>,
@@ -63,7 +63,7 @@ pub fn gate_4_key_sum<F: PrimeField>(
/*
* Checks whether the evals satisfy the gate with the following equation:
*
* L_0 * (w_1_next_n1 - w_1 - w_1_next - 2 * key)
* L_i * (w_1_next_n1 - w_1 - w_1_next - 2 * key)
*/
pub fn gate_5_id_comm_final<F: PrimeField>(
l_evals: Vec<F>,
@@ -109,7 +109,7 @@ pub fn gate_6_nullifier_hash_final<F: PrimeField>(
/*
* Checks whether the evals satisfy the gate with the following equation:
*
* L_0 * (key - w0_next_n1)
* L_i * (key - w0_next_n1)
*/
pub fn gate_7_key_col<F: PrimeField>(
l_evals: Vec<F>,
@@ -133,7 +133,7 @@ pub fn gate_7_key_col<F: PrimeField>(
/*
* Checks whether the evals satisfy the gate with the following equation:
*
* L_0 * (PI - w2_next_n1)
* L_i * (PI - w2_next_n1)
*/
pub fn gate_8_nullifier_hash_col<F: PrimeField>(
l_evals: &Vec<F>,
@@ -158,7 +158,7 @@ pub fn gate_8_nullifier_hash_col<F: PrimeField>(
/*
* Checks whether the evals satisfy the gate with the following equation:
*
* L_0 * (PI - w2)
* L_i * (PI - w2)
*/
pub fn gate_9<F: PrimeField>(
l_evals: &Vec<F>,

4
src/gates/tests.rs
View File

@@ -49,8 +49,8 @@ fn prepare_mimc_gate_tests() -> MiMCGateTestVals<F> {
}
fn gen_l_evals(domain_size: usize) -> Vec<F> {
let mut l_evals = vec![F::one(); 1];
fill_zeroes(&mut l_evals, domain_size);
let mut l_evals = vec![F::zero(); domain_size];
l_evals.extend_from_slice(&[F::zero(), F::one()]);
l_evals
}